pirlea.net
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Домен второго уровня идеален для продвижения.
Отличный запоминающийся домен.
Ответ сервера
star
star
star
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Цепочка редиректов:
http://pirlea.net
301 MovedPermanently
https://pirlea.net/
200 OK
Безопасность
star
star
star
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 31.10.2026 11:15:23.
Сервер поддерживает HTTP/3 (QUIC) — новейший протокол.
HTTP автоматически перенаправляется на HTTPS.
Поздравляем! Сайт не содержится в реестре РКН.
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык страницы не указан. Рекомендуется явно указать язык документа!
Скорость загрузки
star
star
~0,25сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,25сек оптимальна.
Объем документа
star
star
9Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 9Кб оптимален.
Структура html-документа корректна.
Ресурсы: 3
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 3 достаточно.
Показать полный список ресурсов
| Тип |
Название |
Значение |
|
stylesheet
|
|
/css/main.css
|
|
js
|
|
/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js
|
|
js
|
module
|
https://static.cloudflareinsights.com/beacon.min.js/v4513226cdae34746b4dedf0b4dfa099e1781791509496
|
Кол-во: 9
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
полный список серверных заголовков
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Cloudflare
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
Сайт работает на веб-сервере Cloudflare.
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют в единственном экземпляре).
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 8 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Кол-во слов 728 не очень много. Добавьте побольше текста (хотя бы 800 слов)!
Среднее число слов в абзаце 17 достаточно.
Кол-во знаков контента 4920 на странице оптимально.
Индексирование
star
star
star
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 51 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
star
star
star
Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 21 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Цепочка редиректов для файла robots.txt:
http://pirlea.net/robots.txt
301 MovedPermanently
https://pirlea.net/robots.txt
200 OK
Показать содержимое robots.txt
Sitemap: /sitemap.xml
Кол-во: 1
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt содержит ошибку в карте сайта. Рекомендуем исправить ссылку на карту сайта и проверить ее содержимое.
Robots.txt содержит карту сайта. Это прекрасно!
Показать карту сайта
| Url |
Статус |
|
/sitemap.xml
|
Относительный путь
|
Внутренние ссылки
star
star
star
Кол-во: 27
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 27 оптимально.
Внутренние ссылки не запрещены к индексации в robots.txt.
На странице присутствуют изображения 1.
Показать внутренние ссылки
| Url |
Анкор |
Состояние |
Анализировать |
|
/
|
George Pîrlea
|
|
Анализировать url
|
|
/bio
|
Bio
|
|
Анализировать url
|
|
/blog
|
Blog
|
|
Анализировать url
|
|
/teaching
|
Teaching
|
|
Анализировать url
|
|
/cv.pdf
|
CV
|
|
|
|
/papers/veil-dafny26.pdf
|
Lessons from Building an Auto-Active Verifier in Lean
|
|
|
|
/papers/veil-cav25.pdf
|
paper
|
|
|
|
/papers/loom-popl26.pdf
|
Foundational Multi-Modal Program Verifiers
|
|
|
|
/papers/force-iclp25.pdf
|
Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
|
|
|
|
/papers/veil-cav25.pdf
|
Veil: A Framework for Automated and Interactive Verification of Transition Systems
|
|
|
|
/papers/bythos-ccs24.pdf
|
Compositional Verification of Composite Byzantine Protocols
|
|
|
|
/papers/arboreta-cpp24.pdf
|
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
|
|
|
|
/papers/mallory-ccs23.pdf
|
Greybox Fuzzing of Distributed Systems
|
|
|
|
/papers/certisuslik-icfp21.pdf
|
Certifying the Synthesis of Heap-Manipulating Programs
|
|
|
|
/papers/cosplit-pldi21.pdf
|
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
|
|
|
|
/papers/toychain-cpp18.pdf
|
Mechanising Blockchain Consensus
|
|
|
|
/papers/veil-dafny26.pdf
|
Lessons from Building an Auto-Active Verifier in Lean
|
|
|
|
/papers/velvet-dafny26.pdf
|
Velvet: A Multi-Modal Verifier for Effectful Programs
|
|
|
|
/papers/leanssr-draft.pdf
|
Small Scale Reflection for the Working Lean User
|
|
|
|
/teaching
|
CS3243 Introduction to Artificial Intelligence (AY 2020/21 Sem 2)
|
|
Анализировать url
|
|
/papers/toychain-thesis.pdf
|
Toychain: Formally Verified Blockchain Consensus
|
|
|
|
/talks/sc-sharding.pdf
|
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
|
|
|
|
/talks/pinning.pdf
|
A Formal Model of Rust's Pinning
|
|
|
|
/talks/toychain.pdf
|
Formally Verified Blockchain Consensus
|
|
|
|
/talks/verifying-coco.pdf
|
Formally Verifying Coco
|
|
|
|
/talks/mbc.pdf
|
Mechanising Blockchain Consensus
|
|
|
|
/
|
<strong>George Pîrlea</strong>
|
|
Анализировать url
|
Конкуренты в Яндексе
star
star
star
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
star
star
star
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
