hillelwayne.com

Avaliação do site hillelwayne.com

Hillel Wayne

 Gerado a 17 de Março de 2026 02:46 AM

Estatísticas desatualizadas? ATUALIZE !

O resultado é de 57/100

Conteúdo SEO

Título

Hillel Wayne

Cumprimento : 12

Perfeito, o Título contém entre 10 e 70 caracteres.

Descrição

Cumprimento : 0

Mau. Não encontrámos nenhuma Descrição META na sua página.

Palavras-chave

Mau. Não detetámos palavras-chave META na sua página.

Propriedades Og Meta

Boa! Esta página tira vantagens das propriedades Og.

Propriedade Conteúdo
title Hillel Wayne
url https://www.hillelwayne.com/
site_name Hillel Wayne
type website
updated_time 2026-02-23T00:00:00Z

Cabeçalhos

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

Imagens

Encontrámos 0 imagens nesta página.

Bom, a maioria das imagens têm o atributo ALT definidos.

Rácio Texto/HTML

Rácio : 48%

Ideal! O rácio de texto para código HTML desta página está entre 25 e 70 porcento.

Flash

Perfeito, não foi encontrado conteúdo Flash nesta página.

Iframe

Excelente, não foram detetadas Iframes nesta página.

Reescrita de URL

Perfeito. As ligações aparentam ser limpas!

Underscores (traços inferiores) nas URLs

Perfeito. Não foram encontrados 'underscores' (traços inferiores) nas suas URLs.

Ligações para a própria página

Encontrámos um total de 119 ligações incluindo 0 ligações a ficheiros

Âncoras Tipo Sumo
Skip to Content Internas Passa sumo
Blog Internas Passa sumo
Projects Internas Passa sumo
Talks Internas Passa sumo
Consulting Internas Passa sumo
About Internas Passa sumo
Newsletter Externas Passa sumo
Learn TLA+ Externas Passa sumo
here Externas Passa sumo
Some Silly Z3 Scripts I Wrote Internas Passa sumo
A Very Early History of Algebraic Data Types Internas Passa sumo
Gamer Games for Non-Gamers Internas Passa sumo
A Perplexing Javascript Parsing Puzzle Internas Passa sumo
The Hierarchy of Controls (or how to stop devs from dropping prod) Internas Passa sumo
Hiatus Internas Passa sumo
Toolbox languages Internas Passa sumo
Composing TLA+ Specifications with State Machines Internas Passa sumo
Software Friction Internas Passa sumo
Don't let Alloy facts make your specs a fiction Internas Passa sumo
How old is the name 'Daniel'? Internas Passa sumo
The Hunt for the Missing Data Type Internas Passa sumo
Planner programming blows my mind Internas Passa sumo
An RNG that runs in your brain Internas Passa sumo
The World and the Machine Internas Passa sumo
Notes on Every Strangeloop 2023 Talk I Attended Internas Passa sumo
A better explanation of the Liskov Substitution Principle Internas Passa sumo
Learn AutoHotKey by stealing my scripts Internas Passa sumo
My Problem With the Four-Document Model Internas Passa sumo
Somehow AutoHotKey is kinda good now Internas Passa sumo
Breaking the limits of TLA+ model checking Internas Passa sumo
Ten weird things you can buy online (and why you would) Internas Passa sumo
That Time Indiana Almost Made π 3.2 Internas Passa sumo
A Neovim Task Runner in 30 lines of Lua Internas Passa sumo
NP-Complete isn't (always) Hard Internas Passa sumo
Sources of Complexity: Constraints Internas Passa sumo
Let's Prove Leftpad Internas Passa sumo
Notes on Every Strangeloop 2022 Talk I Attended Internas Passa sumo
Safety and Liveness Properties Internas Passa sumo
Software Mimicry Internas Passa sumo
Crimes with Python's Pattern Matching Internas Passa sumo
Announcing: Learn TLA+ Internas Passa sumo
I ❤️ Microscopes Internas Passa sumo
Hiatus Internas Passa sumo
Using Abstract Data Types in TLA+ Internas Passa sumo
Alloy 6: it's about Time Internas Passa sumo
How to Solve the Sudoku Puzzle with programming Internas Passa sumo
Specification Refinement Internas Passa sumo
Cross-Branch Testing Internas Passa sumo
Clever vs Insightful Code Internas Passa sumo
Why Specifications Don't Compose Internas Passa sumo
Why Do Interviewers Ask Linked List Questions? Internas Passa sumo
TLA+ Action Properties Internas Passa sumo
What engineering can teach (and learn from) us Internas Passa sumo
We Are Not Special Internas Passa sumo
Are We Really Engineers? Internas Passa sumo
There's Always More History Internas Passa sumo
Two workers are quadratically better than one Internas Passa sumo
Software correctness is a lot like flossing Internas Passa sumo
Finding Goroutine Bugs with TLA+ Internas Passa sumo
Decision Table Patterns Internas Passa sumo
J Notation as a Tool of Thought Internas Passa sumo
A Better Cheatsheet Internas Passa sumo
The Frink is Good, the Unit is Evil Internas Passa sumo
Weak and Strong Fairness Internas Passa sumo
Property Testing with Complex Inputs Internas Passa sumo
Constructive vs Predicative Data Internas Passa sumo
In Praise of AutoHotKey Internas Passa sumo
The Hard Part of Learning a Language Internas Passa sumo
Announcing: Alloydocs Internas Passa sumo
10 Most(ly dead) Influential Programming Languages Internas Passa sumo
This is How Science Happens Internas Passa sumo
Feature Interaction Bugs Internas Passa sumo
The Business Case for Formal Methods Internas Passa sumo
Hypermodeling Hyperproperties Internas Passa sumo
How fast do I talk? Internas Passa sumo
Formally Modeling Database Migrations Internas Passa sumo
Python Negatypes Internas Passa sumo
Performance Matters Internas Passa sumo
Modeling Missing Requirements Internas Passa sumo
Probabilistic Modeling with PRISM Internas Passa sumo
At least one Vim trick you might not know Internas Passa sumo
Alan Kay Did Not Invent Objects Internas Passa sumo
Modeling Adversaries with TLA+ Internas Passa sumo
Finding Property Tests Internas Passa sumo
Metamorphic Testing Internas Passa sumo
Using Formal Methods at Work Internas Passa sumo
Solving Knights and Knaves with Alloy Internas Passa sumo
Why Don't People Use Formal Methods? Internas Passa sumo
STAMPing on event-stream Internas Passa sumo
A Better Interview Internas Passa sumo
Modeling Message Queues in TLA+ Internas Passa sumo
Practical TLA+ Now Available Internas Passa sumo
Optimizing MiniZinc Internas Passa sumo
Constraint Solving with Minizinc Internas Passa sumo
1/0 = 0 Internas Passa sumo
Augmenting Agile with Formal Methods Internas Passa sumo
Decision Tables Internas Passa sumo
Formally Specifying UIs Internas Passa sumo
The Great Theorem Prover Showdown Internas Passa sumo
Why Does "=" Mean Assignment? Internas Passa sumo
Just a Whole Bunch of Different Tests Internas Passa sumo
Formally Specifying a Package Manager Internas Passa sumo
The Problem With APLs Internas Passa sumo
Important Women in CS Who Aren't Grace Hopper Internas Passa sumo
Proving Games are Winnable with Alloy Internas Passa sumo
Vim Macro Trickz Internas Passa sumo
Property Tests + Contracts = Integration Tests Internas Passa sumo
What's the Right Tool for the Job? Internas Passa sumo
Introduction to Contract Programming Internas Passa sumo
Calculating Burn Rates in J Internas Passa sumo
Why TDD Isn't Crap Internas Passa sumo
Handwriting Programs in J Internas Passa sumo
Uncle Bob and Silver Bullets Internas Passa sumo
Instructive and Persuasive Examples Internas Passa sumo
How Do We Trust Our Science Code? Internas Passa sumo
Hypothesis Testing with Oracle Functions Internas Passa sumo
Modeling Zero-Downtime Deployments with TLA+ Internas Passa sumo
Falsehoods Programmers Believe About Dogs Internas Passa sumo
Powered by Buttondown. Externas Passa sumo

Palavras-chave SEO

Núvem de palavras-chave

aug mar jan jul sep posted feb oct tla apr

Consistência das Palavras-chave

Palavra-chave Conteúdo Título Palavras-chave Descrição Cabeçalhos
posted 109
apr 13
jul 12
jan 12
mar 11

Usabilidade

Url

Domínio : hillelwayne.com

Cumprimento : 15

Favicon

Ótimo, o site tem um favicon.

Facilidade de Impressão

Não encontrámos CSS apropriado para impressão.

Língua

Otimo! A língua declarada deste site é en.

Dublin Core

Esta página não tira vantagens do Dublin Core.

Documento

Tipo de Documento

HTML 5

Codificação

Perfeito. O conjunto de caracteres UTF-8 está declarado.

Validação W3C

Erros : 0

Avisos : 0

Privacidade do Email

Aviso! No mínimo, foi encontrado um endereço de email sob a forma de texto. Isto é um convite para que spammers entupam a caixa de correio deste endereço.

HTML obsoleto

Etiquetas obsoletas Ocorrências
<u> 1

Etiquetas HTML obsoletas são etiquetas que já não são usadas segundo as normas mais recentes. É recomendado que sejam removidas ou substituídas por outras etiquetas atualizadas.

Dicas de Velocidade

Excelente, este site não usa tablelas dentro de tabelas.
Perfeito. Não foram detetados estilos CSS nas etiquetas HTML!
Boa, o site usa poucos ficheiros CSS.
Perfeito, o site usa poucos ficheiros JavaScript.
Perfeito, o site tira vantagens da compressão gzip.

Dispositivos Móveis

Otimização para dispositivos móveis

Icon Apple
Meta Viewport Tag
Conteúdo Flash

Otimização

XML Sitemap

Perfeito, o site tem um mapa XML do site (sitemap).

https://hillelwayne.com/sitemap.xml

Robots.txt

https://hillelwayne.com/robots.txt

Perfeito, o seu site tem um ficheiro robots.txt.

Analytics

Em falta

Não detetámos nenhuma ferramenta analítica de análise de atividade.

Este tipo de ferramentas (como por exemplo o Google Analytics) permite perceber o comportamento dos visitantes e o tipo de atividade que fazem. No mínimo, uma ferramenta deve estar instalada, sendo que em algumas situações mais do que uma pode ser útil.

PageSpeed Insights

Dispositivo
Categorias

Free SEO Testing Tool

Free SEO Testing Tool é uma ferramenta gratuita que o ajuda a avaliar o seu site