hillelwayne.com

Revisión web de hillelwayne.com

Hillel Wayne

 Generado el 17 Marzo 2026 02:46 AM

Resultados antiguos? ACTUALIZAR !

La puntuación es 57/100

Contenido SEO

Título

Hillel Wayne

Longitud : 12

Perfecto, tu título contiene entre 10 y 70 caracteres.

Descripción

Longitud : 0

Muy mal. No hemos encontrado descripción meta en tu página. Usa este generador online gratuito para crear la descripción.

Palabras Claves (Keywords)

Muy mal. No hemos encontrado palabras clave (meta keywords) en tu página. Usa este generador de meta tags gratuito para crear tus palabras clave.

Propiedades Meta Og

Bien. Tu página usa propiedades Og (etiquetas og).

Propiedad Contenido
title Hillel Wayne
url https://www.hillelwayne.com/
site_name Hillel Wayne
type website
updated_time 2026-02-23T00:00:00Z

Titulos

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

Imagenes

Hemos encontrado 0 imágenes en esta web.

Bien, la mayoría de tus imágenes tienen atributo alt.

Ratio Texto/HTML

Ratio : 48%

Ideal! El ratio entre texto y código HTML de esta página está entre 25 y 70 por ciento.

Flash

Perfecto, no se ha detectado contenido Flash en la página.

Iframe

Genial, no se han detectado Iframes en la página.

Reescritura URL

Bien. Tus enlaces parecen amigables

Guiones bajos en las URLs

Perfecto! No hemos detectado guiones bajos en tus URLs

Enlaces en página

Hemos encontrado un total de 119 enlaces incluyendo 0 enlace(s) a ficheros

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

Palabras Clave SEO

Nube de Palabras Clave

mar aug tla apr jul sep oct feb jan posted

Consistencia de las Palabras Clave

Palabra Clave (Keyword) Contenido Título Palabras Claves (Keywords) Descripción Titulos
posted 109
apr 13
jul 12
jan 12
mar 11

Usabilidad

Url

Dominio : hillelwayne.com

Longitud : 15

Favicon

Genial, tu web tiene un favicon.

Imprimibilidad

No hemos encontrado una hoja de estilos CSS para impresión.

Idioma

Genial. Has declarado el idioma en.

Dublin Core

Esta página no usa Dublin Core.

Documento

Tipo de documento (Doctype)

HTML 5

Codificación

Perfecto. Has declarado como codificación UTF-8.

Validez W3C

Errores : 0

Avisos : 0

Privacidad de los Emails

Atención! Hemos encontrado por lo menos una dirección de correo electrónico en texto plano. Usa este protector antispam gratuito para ocultarla de los spammers.

HTML obsoleto

Etiquetas obsoletas Ocurrencias
<u> 1

Hemos detectado etiquetas HTML obsoletas que ya no se usa. Es recomendable que cambies esas etiquetas por otras similares.

Consejos de Velocidad

Excelente, esta web no usa tablas.
Perfecto. No se han declaro estilos embenidos (inline CSS) en tus etiquetas HTML!
Genial, tu página web usa muy pocos ficheros CSS.
Perfecto, tu web usa pocos ficheros JavaScript.
Su sitio web se beneficia del tipo de compresión gzip. ¡Perfecto!

Movil

Optimización Móvil

Icono para Apple
Etiqueta Meta Viewport
Contenido Flash

Optimización

Mapa del sitio XML

¡Perfecto! Su sitio tiene un mapa del sitio en XML.

https://hillelwayne.com/sitemap.xml

Robots.txt

https://hillelwayne.com/robots.txt

¡Estupendo! Su sitio web tiene un archivo robots.txt.

Herramientas de Analítica

No disponible

No hemos encontrado ninguna herramienta de analítica en esta web.

La analítica Web le permite medir la actividad de los visitantes de su sitio web. Debería tener instalada al menos una herramienta de analítica y se recomienda instalar otra más para obtener una confirmación de los resultados.

PageSpeed Insights

Dispositivo
Categorias

Free SEO Testing Tool

Free SEO Testing Tool es una herramienta seo gratuita que te ayuda a analizar tu web