hillelwayne.com

Website review hillelwayne.com

Hillel Wayne

 Generated on March 17 2026 02:46 AM

Old data? UPDATE !

The score is 57/100

SEO Content

Title

Hillel Wayne

Length : 12

Perfect, your title contains between 10 and 70 characters.

Description

Length : 0

Very bad. We haven't found meta description on your page. Use this free online meta tags generator to create description.

Keywords

Very bad. We haven't found meta keywords on your page. Use this free online meta tags generator to create keywords.

Og Meta Properties

Good, your page take advantage of Og Properties.

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

Headings

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

We found 0 images on this web page.

Good, most or all of your images have alt attributes.

Text/HTML Ratio

Ratio : 48%

Ideal! This page's ratio of text to HTML code is between 25 and 70 percent.

Flash

Perfect, no Flash content has been detected on this page.

Iframe

Great, there are no Iframes detected on this page.

URL Rewrite

Good. Your links looks friendly!

Underscores in the URLs

Perfect! No underscores detected in your URLs.

In-page links

We found a total of 119 links including 0 link(s) to files

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

SEO Keywords

Keywords Cloud

aug mar posted oct jul feb sep apr tla jan

Keywords Consistency

Keyword Content Title Keywords Description Headings
posted 109
apr 13
jul 12
jan 12
mar 11

Usability

Url

Domain : hillelwayne.com

Length : 15

Favicon

Great, your website has a favicon.

Printability

We could not find a Print-Friendly CSS.

Language

Good. Your declared language is en.

Dublin Core

This page does not take advantage of Dublin Core.

Document

Doctype

HTML 5

Encoding

Perfect. Your declared charset is UTF-8.

W3C Validity

Errors : 0

Warnings : 0

Email Privacy

Warning! At least one email address has been found in the plain text. Use free antispam protector to hide email from spammers.

Deprecated HTML

Deprecated tags Occurrences
<u> 1

Deprecated HTML tags are HTML tags that are no longer used. It is recommended that you remove or replace these HTML tags because they are now obsolete.

Speed Tips

Excellent, your website doesn't use nested tables.
Perfect. No inline css has been found in HTML tags!
Great, your website has few CSS files.
Perfect, your website has few JavaScript files.
Perfect, your website takes advantage of gzip.

Mobile

Mobile Optimization

Apple Icon
Meta Viewport Tag
Flash content

Optimization

XML Sitemap

Great, your website has an XML sitemap.

https://hillelwayne.com/sitemap.xml

Robots.txt

https://hillelwayne.com/robots.txt

Great, your website has a robots.txt file.

Analytics

Missing

We didn't detect an analytics tool installed on this website.

Web analytics let you measure visitor activity on your website. You should have at least one analytics tool installed, but It can also be good to install a second in order to cross-check the data.

PageSpeed Insights

Device
Categories

Free SEO Testing Tool

Free SEO Testing Tool is a free SEO tool which provides you content analysis of the website.