hillelwayne.com

Evaluation du site hillelwayne.com

Hillel Wayne

 Généré le 17 Mars 2026 02:46

Vieilles statistiques? UPDATE !

Le score est de 57/100

Optimisation du contenu

Titre

Hillel Wayne

Longueur : 12

Parfait, votre titre contient entre 10 et 70 caractères.

Description

Longueur : 0

Très mauvais. Nous n'avons pas trouvé de balise META description sur votre page. Utilisez ce générateur gratuit de balises META en ligne pour créer une description.

Mots-clefs

Très mauvais. Nous n'avons pas trouvé de balise META keywords sur votre page. Utilisez ce générateur gratuit de balises META en ligne pour créer des mots-clés.

Propriétés Open Graph

Bien, cette page profite des balises META Open Graph.

Propriété Contenu
title Hillel Wayne
url https://www.hillelwayne.com/
site_name Hillel Wayne
type website
updated_time 2026-02-23T00:00:00Z

Niveaux de titre

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

Images

Nous avons trouvé 0 image(s) sur cette page Web.

Bien, la plupart ou la totalité de vos images possèdent un attribut alt

Ratio texte/HTML

Ratio : 48%

Idéal! le ratio de cette page texte/HTML est entre 25 et 70 pour cent.

Flash

Parfait, aucun contenu FLASH n'a été détecté sur cette page.

Iframe

Génial, il n'y a pas d'Iframes détectés sur cette page.

Réécriture d'URLs

Bien. Vos liens sont optimisés!

Tiret bas dans les URLs

Parfait! Aucuns soulignements détectés dans vos URLs.

Liens dans la page

Nous avons trouvé un total de 119 lien(s) dont 0 lien(s) vers des fichiers

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

Mots-clefs

Nuage de mots-clefs

posted jan jul aug mar apr feb tla sep oct

Cohérence des mots-clefs

Mot-clef Contenu Titre Mots-clefs Description Niveaux de titre
posted 109
apr 13
jul 12
jan 12
mar 11

Ergonomie

Url

Domaine : hillelwayne.com

Longueur : 15

Favicon

Génial, votre site web dispose d'un favicon.

Imprimabilité

Aucun style CSS pour optimiser l'impression n'a pu être trouvé.

Langue

Bien. Votre langue est : en.

Dublin Core

Cette page ne profite pas des métadonnées Dublin Core.

Document

Doctype

HTML 5

Encodage

Parfait. Votre charset est UTF-8.

Validité W3C

Erreurs : 0

Avertissements : 0

E-mail confidentialité

Attention! Au moins une adresse e-mail a été trouvée en texte clair. Utilisez une protection anti-spam gratuite pour cacher vos e-mails aux spammeurs.

HTML obsolètes

Tags obsolètes Occurrences
<u> 1

Les balises HTML obsolètes sont des balises qui ne sont plus utilisés. Il est recommandé de supprimer ou de remplacer ces balises HTML, car elles sont désormais obsolètes.

Astuces vitesse

Excellent, votre site n'utilise pas de tableaux imbriqués.
Parfait. Aucun style css inline n'a été trouvé dans vos tags HTML!
Génial, votre site web contient peu de fichiers CSS.
Parfait, votre site web contient peu de fichiers javascript.
Parfait : votre site tire parti de gzip.

Mobile

Optimisation mobile

Icône Apple
Méta tags viewport
Contenu FLASH

Optimisation

Sitemap XML

Votre site web dispose d’une sitemap XML, ce qui est optimal.

https://hillelwayne.com/sitemap.xml

Robots.txt

https://hillelwayne.com/robots.txt

Votre site dispose d’un fichier robots.txt, ce qui est optimal.

Mesures d'audience

Manquant

Nous n'avons trouvé aucun outil d'analytics sur ce site.

Un outil de mesure d'audience vous permet d'analyser l’activité des visiteurs sur votre site. Vous devriez installer au moins un outil Analytics. Il est souvent utile d’en rajouter un second, afin de confirmer les résultats du premier.

PageSpeed Insights

Dispositif
Les catégories

Free SEO Testing Tool

Free SEO Testing Tool est un outil gratuit de référencement qui vous aidera à analyser vos pages web