Анализ сайта smolka.st
Основное Готовность: 100%
Домен
smolka.st
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Домен второго уровня идеален для продвижения.
Отличный запоминающийся домен.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Цепочка редиректов:
http://smolka.st
301 MovedPermanently
https://smolka.st/
200 OK
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 24.09.2026 19:43:17.
HTTP автоматически перенаправляется на HTTPS.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,56сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,56сек оптимальна.
Объем документа
34Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 34Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 3
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 3 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | css/style.css | |
| stylesheet | https://cdn.jsdelivr.net/gh/jpswalsh/academicons@1/css/academicons.min.css | |
| stylesheet | https://use.fontawesome.com/releases/v5.8.1/css/all.css |
Серверные заголовки
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 17шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| ETag | "69a557ed-8d03" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | D5B8:2E3FDC:598DC3:610FF3:6A8B855F |
| x-github-edge-region | swedencentral |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Sun, 23 Aug 2026 23:42:30 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-bma-essb1270053-BMA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787528550.989419,VS0,VE111 |
| Vary | Accept-Encoding |
| x-fastly-request-id | 85e049df69a4e1dcf31b33f613c06e07c8be264a |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 50%
Title
Steffen Smolka — Staff Software Engineer, Google
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо уменьшить число символов в title (текущее значение: 48, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Steffen Smolka is a Staff Software Engineer at Google, where he founded and leads ARCNET — applying formal methods and AI to network infrastructure at hyperscale. PhD in Computer Science from Cornell University.
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Необходимо уменьшить число символов в description (текущее значение: 211, оптимально: от 120 до 130)
Keywords
Steffen Smolka, programming languages, formal methods, network verification, ARCNET, AI infrastructure, Google, NetKAT, compilers
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Keywords установлены.
Канонический Url
https://smolka.st
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Канонический Url прописан корректно.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Кол-во: 5
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph задана. Страница оптимизирована под социальные сети.
Показать полный список og мета-тегов
| Тип | Значение |
|---|---|
| og:type | profile |
| og:url | https://smolka.st |
| og:title | Steffen Smolka — Staff Software Engineer, Google |
| og:description | Steffen Smolka is a Staff Software Engineer at Google, where he founded and leads ARCNET — applying formal methods and AI to network infrastructure at hyperscale. PhD in Computer Science from Cornell University. |
| og:image | https://smolka.st/img/steffen-18.jpg |
Все мета-теги
Кол-во: 15
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 15шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | viewport | width=device-width, initial-scale=1 |
| name | author | Steffen Smolka |
| name | description | Steffen Smolka is a Staff Software Engineer at Google, where he founded and leads ARCNET — applying formal methods and AI to network infrastructure at hyperscale. PhD in Computer Science from Cornell University. |
| name | keywords | Steffen Smolka, programming languages, formal methods, network verification, ARCNET, AI infrastructure, Google, NetKAT, compilers |
| name | twitter:card | summary |
| name | twitter:title | Steffen Smolka — Staff Software Engineer, Google |
| name | twitter:description | Steffen Smolka is a Staff Software Engineer at Google, where he founded and leads ARCNET — applying formal methods and AI to network infrastructure at hyperscale. |
| name | twitter:image | https://smolka.st/img/steffen-18.jpg |
| property | og:type | profile |
| property | og:url | https://smolka.st |
| property | og:title | Steffen Smolka — Staff Software Engineer, Google |
| property | og:description | Steffen Smolka is a Staff Software Engineer at Google, where he founded and leads ARCNET — applying formal methods and AI to network infrastructure at hyperscale. PhD in Computer Science from Cornell University. |
| property | og:image | https://smolka.st/img/steffen-18.jpg |
| property | profile:first_name | Steffen |
| property | profile:last_name | Smolka |
Оптимизация Готовность: 87%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют в одном экземпляре).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Абзацев с текстом 4 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Слова из title 6 встречаются в тексте достаточно.
Среднее число слов в абзаце 96 достаточно.
Кол-во знаков контента 6992 на странице оптимально.
Кол-во слов 1016 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h2> 8. Это хорошо.
На странице присутствуют заголовки <h3> 1.
Тошнота
4
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 3. Измените текст страницы!
Академич. тошнота
9,84%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота страницы в пределах нормы.
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| steffen | 16 | 1,57% |
| smolka | 16 | 1,57% |
| university | 12 | 1,18% |
| network | 11 | 1,08% |
| cornell | 11 | 1,08% |
| foster | 11 | 1,08% |
| programming | 9 | 0,89% |
| proofs | 8 | 0,79% |
| computer | 7 | 0,69% |
| verification | 7 | 0,69% |
| 6 | 0,59% | |
| networks | 6 | 0,59% |
| science | 5 | 0,49% |
| teaching | 5 | 0,49% |
| languages | 5 | 0,49% |
| research | 5 | 0,49% |
| alexandra | 5 | 0,49% |
| slides | 5 | 0,49% |
| sigplan | 5 | 0,49% |
| infrastructure | 4 | 0,39% |
Индексация Готовность: 60%
Индексирование
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 85 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 63 байт. Загружен за: 1сек.
Проверяемая страница не запрещена в robots.txt.
Robots.txt доступен по постоянному адресу
Цепочка редиректов для файла robots.txt:
http://smolka.st/robots.txt
301 MovedPermanently
https://smolka.st/robots.txt
200 OK
Показать содержимое robots.txt
User-agent: *
Allow: /
Sitemap: https://smolka.st/sitemap.xml
Sitemap
Кол-во: 1
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt содержит карту сайта. Это прекрасно!
Robots.txt не содержит ошибок в карте сайта.
Показать карту сайта
| Url | Статус |
|---|---|
| https://smolka.st/sitemap.xml |
|
Внутренние ссылки
Кол-во: 26
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 26 оптимально.
Внутренние ссылки не запрещены к индексации в robots.txt.
Показать внутренние ссылки
| Url | Анкор | Состояние | Анализировать |
|---|---|---|---|
| /papers/phd-thesis.pdf |
PhD, Computer Science
|
|
|
| /papers/netkat-compiler.pdf |
NetKAT
|
|
|
| /papers/scottnetkat.pdf |
ProbNetKAT
|
|
|
| /papers/gkat.pdf |
GKAT
|
|
|
| /papers/switchv.pdf |
paper
|
|
|
| /papers/gkat.pdf |
conference paper
|
|
|
| /papers/ccs19.pdf |
paper
|
|
|
| /papers/mcnetkat.pdf |
conference paper
|
|
|
| /papers/mcnetkat-full.pdf |
full paper
|
|
|
| /talks/2019-06-mcnetkat-pldi.pdf |
slides
|
|
|
| /artifacts/mcnetkat/ |
code
|
|
Анализировать url |
| /papers/scottnetkat.pdf |
conference version
|
|
|
| /papers/scottnetkat-notes.pdf |
technical notes
|
|
|
| /talks/2017-01-POPL.pdf |
slides
|
|
|
| /papers/netkat-compiler.pdf |
paper
|
|
|
| /talks/2015-09-icfp-steffen.pdf |
slides
|
|
|
| /papers/isar_jar.pdf |
paper
|
|
|
| /papers/isar_pxtp.pdf |
paper
|
|
|
| /talks/isar_slides_static.pdf |
slides
|
|
|
| /papers/phd-thesis.pdf |
thesis
|
|
|
| /papers/bsc-thesis.pdf |
thesis
|
|
|
| /talks/bsc-thesis.pdf |
slides
|
|
|
| /papers/gkat.pdf |
Guarded Kleene Algebra with Tests
|
|
|
| /papers/netkat-compiler.pdf |
A Fast Compiler for NetKAT
|
|
|
| /papers/phd-thesis.pdf |
<em>A (Co)algebraic Approach to Programming and Verifying Computer Networks</em>
|
|
|
| /papers/bsc-thesis.pdf |
<em>Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs</em>
|
|
Внешние ссылки
Кол-во: 47
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 47 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать внешние ссылки
| Url | Анкор | Анализировать |
|---|---|---|
| research.google |
Network Infrastructure
|
Анализировать url |
| github.com |
<i class="fab fa-github"></i>
|
Анализировать url |
| scholar.google.com |
<i class="ai ai-google-scholar"></i>
|
Анализировать url |
| linkedin.com |
<i class="fab fa-linkedin-in"></i>
|
Анализировать url |
| research.google |
<i class="fab fa-google"></i>
|
Анализировать url |
| research.google |
Google
|
Анализировать url |
| youtube.com |
this recent talk
|
Анализировать url |
| cornell.edu |
Cornell
|
Анализировать url |
| cs.cornell.edu |
Nate Foster
|
Анализировать url |
| research.google |
Google
|
Анализировать url |
| research.google |
ARCNET
|
Анализировать url |
| p4.org |
P4 Language Consortium (P4.org)
|
Анализировать url |
| p4.org |
Technical Steering Committee
|
Анализировать url |
| p4.org |
P4 API Working Group
|
Анализировать url |
| research.google.com |
Google
|
Анализировать url |
| cloud.google.com |
Network Intelligence Center
|
Анализировать url |
| cs.ucl.ac.uk |
University College London
|
Анализировать url |
| alexandrasilva.org |
Alexandra Silva
|
Анализировать url |
| barefootnetworks.com |
Barefoot Networks
|
Анализировать url |
| microsoft.com |
Microsoft Research
|
Анализировать url |
| dimitriv.github.io |
Dimitrios Vytiniotis
|
Анализировать url |
| doi.org |
paper
|
Анализировать url |
| github.com |
code
|
Анализировать url |
| youtube.com |
talk
|
Анализировать url |
| arxiv.org |
full paper
|
Анализировать url |
| popl20.sigplan.org |
<i class="fa fa-trophy" aria-hidden="true"></i> Distinguished Paper
|
Анализировать url |
| youtube.com |
video
|
Анализировать url |
| usenix.org |
paper
|
Анализировать url |
| arxiv.org |
full paper
|
Анализировать url |
| cs.cornell.edu |
code
|
Анализировать url |
| youtube.com |
video
|
Анализировать url |
| github.com |
code
|
Анализировать url |
| sigplan.org |
<i class="fa fa-trophy" aria-hidden="true"></i> SIGPLAN Research Highlight
|
Анализировать url |
| patents.google.com |
US20240259292A1
|
Анализировать url |
| cloud.google.com |
launched as Google product
|
Анализировать url |
| patents.google.com |
US11720373B2
|
Анализировать url |
| youtube.com |
<span class="icon">
<svg viewbox="0 0 24 24" fill="currentColor" xmlns="http://www.w3.org/2000/svg">
<path d="M8 5v14l11-7z"></path>
</svg>
</span>
More talks on YouTube
|
Анализировать url |
| cs.cornell.edu |
CS 6110: Advanced Programming Languages
|
Анализировать url |
| cs.cornell.edu |
CS 4120/5120: Compilers
|
Анализировать url |
| cornell-pl.github.io |
CS 6114: Network Programming Languages
|
Анализировать url |
| piazza.com |
CS 6861: Introduction to Kleene Algebra
|
Анализировать url |
| cs.cornell.edu |
CS 3110: Data Structures and Functional Programming
|
Анализировать url |
| www7.in.tum.de |
Introduction to Computer Science 2
|
Анализировать url |
| cornell.edu |
Cornell University
|
Анализировать url |
| cs.cornell.edu |
Nate Foster
|
Анализировать url |
| stanford.edu |
Stanford University
|
Анализировать url |
| tum.de |
Technische Universität München
|
Анализировать url |
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Сайт smolka.st проверен - готовность высокая и составляет 74%.
Исправьте ошибки в мета-тегах.
Исправьте ошибки индексации.
Поделитесь с друзьями: