Обзор веб-сайта hillelwayne.com
Hillel Wayne
Сгенерирован 17 Марта 2026 02:46
Устаревшие данные? ОБНОВИТЬ !
Набрано баллов: 57/100
СЕО Контент
Заголовок страницы
Hillel Wayne
Длина : 12
Замечательно, Ваш заголовок страницы содержит от 10 до 70 символов.
Описание страницы
Длина : 0
Очень плохо. Мы не нашли описание страницы у Вас на веб-сайте. Используйте бесплатный генератор мета-тэгов, чтобы сгенерировать описание для страницы.
Ключевые слова
Очень плохо. Мы не нашли ключевых слов на Вашем веб-сайте. Используйте бесплатный генератор мета-тэгов, чтобы сгенерировать ключевые слова.
Og Meta Properties
Замечательно, Вы используете преимущества Og Properties.
| Свойство | Контент |
|---|---|
| title | Hillel Wayne |
| url | https://www.hillelwayne.com/ |
| site_name | Hillel Wayne |
| type | website |
| updated_time | 2026-02-23T00:00:00Z |
Заголовки
| H1 | H2 | H3 | H4 | H5 | H6 |
| 1 | 1 | 109 | 0 | 0 | 0 |
- [H1] Hillel Wayne
- [H2] Blog Posts
- [H3] Some Silly Z3 Scripts I Wrote
- [H3] A Very Early History of Algebraic Data Types
- [H3] Gamer Games for Non-Gamers
- [H3] A Perplexing Javascript Parsing Puzzle
- [H3] The Hierarchy of Controls (or how to stop devs from dropping prod)
- [H3] Hiatus
- [H3] Toolbox languages
- [H3] Composing TLA+ Specifications with State Machines
- [H3] Software Friction
- [H3] Don't let Alloy facts make your specs a fiction
- [H3] How old is the name 'Daniel'?
- [H3] The Hunt for the Missing Data Type
- [H3] Planner programming blows my mind
- [H3] An RNG that runs in your brain
- [H3] The World and the Machine
- [H3] Notes on Every Strangeloop 2023 Talk I Attended
- [H3] A better explanation of the Liskov Substitution Principle
- [H3] Learn AutoHotKey by stealing my scripts
- [H3] My Problem With the Four-Document Model
- [H3] Somehow AutoHotKey is kinda good now
- [H3] Breaking the limits of TLA+ model checking
- [H3] Ten weird things you can buy online (and why you would)
- [H3] That Time Indiana Almost Made π 3.2
- [H3] A Neovim Task Runner in 30 lines of Lua
- [H3] NP-Complete isn't (always) Hard
- [H3] Sources of Complexity: Constraints
- [H3] Let's Prove Leftpad
- [H3] Notes on Every Strangeloop 2022 Talk I Attended
- [H3] Safety and Liveness Properties
- [H3] Software Mimicry
- [H3] Crimes with Python's Pattern Matching
- [H3] Announcing: Learn TLA+
- [H3] I ❤️ Microscopes
- [H3] Hiatus
- [H3] Using Abstract Data Types in TLA+
- [H3] Alloy 6: it's about Time
- [H3] How to Solve the Sudoku Puzzle with programming
- [H3] Specification Refinement
- [H3] Cross-Branch Testing
- [H3] Clever vs Insightful Code
- [H3] Why Specifications Don't Compose
- [H3] Why Do Interviewers Ask Linked List Questions?
- [H3] TLA+ Action Properties
- [H3] What engineering can teach (and learn from) us
- [H3] We Are Not Special
- [H3] Are We Really Engineers?
- [H3] There's Always More History
- [H3] Two workers are quadratically better than one
- [H3] Software correctness is a lot like flossing
- [H3] Finding Goroutine Bugs with TLA+
- [H3] Decision Table Patterns
- [H3] J Notation as a Tool of Thought
- [H3] A Better Cheatsheet
- [H3] The Frink is Good, the Unit is Evil
- [H3] Weak and Strong Fairness
- [H3] Property Testing with Complex Inputs
- [H3] Constructive vs Predicative Data
- [H3] In Praise of AutoHotKey
- [H3] The Hard Part of Learning a Language
- [H3] Announcing: Alloydocs
- [H3] 10 Most(ly dead) Influential Programming Languages
- [H3] This is How Science Happens
- [H3] Feature Interaction Bugs
- [H3] The Business Case for Formal Methods
- [H3] Hypermodeling Hyperproperties
- [H3] How fast do I talk?
- [H3] Formally Modeling Database Migrations
- [H3] Python Negatypes
- [H3] Performance Matters
- [H3] Modeling Missing Requirements
- [H3] Probabilistic Modeling with PRISM
- [H3] At least one Vim trick you might not know
- [H3] Alan Kay Did Not Invent Objects
- [H3] Modeling Adversaries with TLA+
- [H3] Finding Property Tests
- [H3] Metamorphic Testing
- [H3] Using Formal Methods at Work
- [H3] Solving Knights and Knaves with Alloy
- [H3] Why Don't People Use Formal Methods?
- [H3] STAMPing on event-stream
- [H3] A Better Interview
- [H3] Modeling Message Queues in TLA+
- [H3] Practical TLA+ Now Available
- [H3] Optimizing MiniZinc
- [H3] Constraint Solving with Minizinc
- [H3] 1/0 = 0
- [H3] Augmenting Agile with Formal Methods
- [H3] Decision Tables
- [H3] Formally Specifying UIs
- [H3] The Great Theorem Prover Showdown
- [H3] Why Does "=" Mean Assignment?
- [H3] Just a Whole Bunch of Different Tests
- [H3] Formally Specifying a Package Manager
- [H3] The Problem With APLs
- [H3] Important Women in CS Who Aren't Grace Hopper
- [H3] Proving Games are Winnable with Alloy
- [H3] Vim Macro Trickz
- [H3] Property Tests + Contracts = Integration Tests
- [H3] What's the Right Tool for the Job?
- [H3] Introduction to Contract Programming
- [H3] Calculating Burn Rates in J
- [H3] Why TDD Isn't Crap
- [H3] Handwriting Programs in J
- [H3] Uncle Bob and Silver Bullets
- [H3] Instructive and Persuasive Examples
- [H3] How Do We Trust Our Science Code?
- [H3] Hypothesis Testing with Oracle Functions
- [H3] Modeling Zero-Downtime Deployments with TLA+
- [H3] Falsehoods Programmers Believe About Dogs
Картинки
Мы нашли 0 картинок на этом веб-сайте.
Хорошо. Все (или почти все) картинки на вашем сайте имеют alt атрибут.
Соотношение Контент/HTML
Соотношение : 48%
Идеально! Соотношение текста в коде HTML между 25 и 70 процентов.
Flash
Замечательно, мы не нашли Flash контента на странице.
Iframe
Замечательно, мы не зафиксировали Iframe'ов на Вашей странице.
СЕО ссылки
ЧПУ ссылки
Отлично, все Ваши ссылки являются ЧПУ!
Нижнее подчеркивание в ссылках
Прекрасно! Мы не нашли "нижнее подчеркивание" в Ваших ссылках.
Внутренние ссылки
Мы нашли 119 ссылок(-и), включая 0 ссылок ссылок(-и) на файл(-ы).
Ключевые слова
Облако ключевых слов
oct sep tla jan posted jul mar apr aug feb
Содержание ключевых слов
| Ключевое слово | Контент | Заголовок страницы | Ключевые слова | Описание страницы | Заголовки |
|---|---|---|---|---|---|
| posted | 109 |  |
|
|
|
| apr | 13 | |
|
|
|
| jul | 12 | |
|
|
|
| jan | 12 | |
|
|
|
| mar | 11 | |
|
|
|
Юзабилити
Домен
Домен : hillelwayne.com
Длина : 15
Favicon
Отлично, Ваш сайт имеет favicon.
Пригодность для печати
Плохо. Мы не нашли CSS файл, отвечающий за печать веб-сайта.
Язык
Хорошо, Ваш установленный язык веб-сайта: en.
Dublin Core
Ваш веб-сайт не использует преимущества Dublin Core.
Документ
Doctype
HTML 5
Кодировка
Замечательно. Кодировка веб-сайта: UTF-8.
W3C Validity
Ошибок : 0
Предупреждений : 0
Приватность эл. почты
Внимание! Как минимум 1 адрес эл. почты был найден в контенте. Воспользуйтесь бесплатной защитой от спама, чтобы скрыть адрес от спамеров.
Устаревший HTML
| Устаревшие тэги | Найдено |
|---|---|
| <u> | 1 |
Устаревшие HTML теги - это теги, которые никогда больше не будут используются. Рекомендуется удалить, либо заменить их на CSS правила.
Скорость загрузки
 |
Отлично, Ваш веб-сайт не содержит вложенных таблиц. |
|
Отлично. Мы не нашли встроенных CSS правил в HTML тэгах! |
|
Замечательно. Ваш веб-сайт имеет мало CSS файлов. |
|
Замечательно. Ваш веб-сайт имеет мало JavaScript файлов. |
|
Замечательно, ваш сайт использует возможность gzip сжатия. |
Мобильный телефон
Оптимизация под моб. телефон
|
Apple иконки |
|
Meta Viewport Тэг |
|
Flash контент |
Оптимизация
XML карта сайта
Отлично, ваш сайт имеет XML карту сайта.
| https://hillelwayne.com/sitemap.xml |
Robots.txt
https://hillelwayne.com/robots.txt
Отлично, ваш веб-сайт содержит файл robots.txt.
Аналитика
Отсутствует
Мы не нашли ни одной аналитической программы на вашем сайте.
Веб аналитика позволяет следить за активностью пользователей на вашем веб-сайте. Вы должны установить как минимум один инструмент, но также хорошо иметь несколько, чтобы сравнивать показания между собой.
PageSpeed Insights
Устройство
Категории
Free SEO Testing Tool
Free SEO Testing Tool - это бесплатный СЕО инструмент, который поможет вам проанализировать Ваш веб-сайт.