sinhp.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Отличный запоминающийся домен.
Ответ сервера
star
star
star
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
star
star
star
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 01.11.2026 2:38:01.
Поздравляем! Сайт не содержится в реестре РКН.
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
star
star
~0,24сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,24сек оптимальна.
Объем документа
star
star
15Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 15Кб оптимален.
Структура html-документа корректна.
Ресурсы: 3
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 3 достаточно.
Показать полный список ресурсов
| Тип |
Название |
Значение |
|
stylesheet
|
|
https://sinhp.github.io/assets/css/main.css
|
|
stylesheet
|
|
https://sinhp.github.io/assets/css/academicons.css
|
|
js
|
|
https://sinhp.github.io/assets/js/main.min.js
|
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
полный список серверных заголовков
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют в одном экземпляре).
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Абзацев с текстом 1 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Кол-во слов 363 слишком мало. Добавьте больше текста (минимум 400 слов)!
Слова из title 6 встречаются в тексте достаточно.
Среднее число слов в абзаце 54 достаточно.
Кол-во знаков контента 2516 на странице оптимально.
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h2> 6. Это хорошо.
На странице присутствуют заголовки <h3> 11.
Индексирование
star
star
star
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 49 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
star
star
star
Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 45 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Показать содержимое robots.txt
Sitemap: https://sinhp.github.io/sitemap.xml
Кол-во: 1
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt содержит карту сайта. Это прекрасно!
Robots.txt не содержит ошибок в карте сайта.
Показать карту сайта
| Url |
Статус |
|
https://sinhp.github.io/sitemap.xml
|
|
Внутренние ссылки
star
star
star
Кол-во: 22
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 22 оптимально.
Внутренние ссылки не запрещены к индексации в robots.txt.
Показать внутренние ссылки
| Url |
Анкор |
Состояние |
|
/
|
Sina Hazratpour
|
|
|
/publications/
|
Publications
|
|
|
/teaching/
|
Teaching
|
|
|
/lean/
|
Lean
|
|
|
/talks/
|
Talks
|
|
|
/notes/
|
Notes
|
|
|
/meetings/
|
Meetings
|
|
|
/blog/
|
Thoughts
|
|
|
/links/
|
Misc
|
|
|
/lean-tutorials/2025-10-13-CatsInLean
|
A User’s Guide to Category Theory in Lean
|
|
|
/lean-projects/2025-06-10-HoTTLean
|
HoTTLean
|
|
|
/lean-projects/2024-06-14-HoTTinLean
|
The Groupoid Model of Homotopy Type Theory in Lean4
|
|
|
/lean-projects/2024-05-13-Poly
|
A Lean4 Formalization of Polynomial Functors
|
|
|
/lean-projects/2023-11-01-FibredCats
|
Displayed and Fibred Categories in Lean4
|
|
|
/lean-projects/2024-09-01-QuillenModelCats
|
Quillen Model Structures in Lean4
|
|
|
/lean-projects/2023-06-01-Condensed
|
Condensed Mathematics in Lean 4
|
|
|
/lean-projects/2023-03-15-AWFS
|
Algebraic Weak Factorization System & Small Object Argument (Lean 4 and UniMath-Coq)
|
|
|
/lean/SLUG
|
SLUG (Stockholm Lean User Group)
|
|
|
/teaching/2025-logic2-stockholm/
|
<em>Computability and Incompleteness</em>, Stockholm University, Fall 2025 <i class="fa fa-external-link" aria-hidden="true"></i>
|
|
|
/teaching/2022-introduction-to-proofs-with-Lean
|
<em>Introduction to Proofs</em>, Johns Hopkins University, Fall 2022 <i class="fa fa-external-link" aria-hidden="true"></i>
|
|
|
/sitemap/
|
Sitemap
|
|
|
/feed.xml
|
<i class="fa fa-fw fa-rss-square" aria-hidden="true"></i> Feed
|
|
Кол-во: 26
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 26 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
На странице ссылки с атрибутом rel='nofollow' 2.
Показать внешние ссылки
| Url |
Анкор |
|
linkedin.com
|
<i class="fa fa-fw fa-linkedin-square" aria-hidden="true"></i> LinkedIn
|
|
scholar.google.com
|
<i class="ai ai-google-scholar-square ai-fw"></i> Google Scholar
|
|
orcid.org
|
<i class="ai ai-orcid-square ai-fw"></i> ORCID
|
|
instagram.com
|
<i class="fa fa-fw fa-instagram" aria-hidden="true"></i> Instagram
|
|
adam.math.hhu.de
|
<font color="#800020">Linear Algebra Game</font>
|
|
adam.math.hhu.de
|
<font color="#800020">Lean Game Server</font>
|
|
github.com
|
<font color="#800020">Game Skeleton</font>
|
|
github.com
|
Locally Cartesian Closed Categories
|
|
github.com
|
Monoidal and Cartesian Distributive Categories
|
|
github.com
|
Grothendieck construction for category-valued functors
|
|
github.com
|
Cartesian closedness of sheaf categories, coauthored with Dagur Asgeirsson, Jon Eugster
|
|
github.com
|
Finite products for the preorder category of a meet-semilattice with a top element
|
|
github.com
|
Stonean is precoherent,coauthored with Dagur Asgeirsson, Jon Eugster, Boris Bolvig Kjær, Nima Rasekh
|
|
github.com
|
Grothendieck construction for type-valued functors
|
|
github.com
|
ExtrDisc is precoherent, coauthored with Dagur Asgeirsson, Jon Eugster, Boris Bolvig Kjær, Nima Rasekh
|
|
github.com
|
Profinite is precoherent
|
|
github.com
|
Various basic API lemmas in set theory
|
|
github.com
|
Triple adjunctions of slice cateogries
|
|
github.com
|
Wide subcategories
|
|
github.com
|
<em>Introduction to Proofs</em>, Johns Hopkins University, Spring 2024 <i class="fa fa-external-link" aria-hidden="true"></i>
|
|
github.com
|
<em>Introduction to Proofs</em>, Johns Hopkins University, Fall 2023 <i class="fa fa-external-link" aria-hidden="true"></i>
|
|
introproofs.github.io
|
<em>Introduction to Proofs</em>, Johns Hopkins University, Spring 2022 <i class="fa fa-external-link" aria-hidden="true"></i>
|
|
statcounter.com
|
<img class="statcounter" src="//c.statcounter.com/11670804/0/f1158054/0/" alt="Web Analytics Made Easy - StatCounter">
|
|
jekyllrb.com
|
Jekyll
|
|
github.com
|
AcademicPages
|
|
mademistakes.com
|
Minimal Mistakes
|
Конкуренты в Яндексе
star
star
star
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
star
star
star
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
