hillelwayne.com

Website beoordeling hillelwayne.com

Hillel Wayne

 Gegenereerd op Maart 17 2026 02:46 AM

Oude statistieken? UPDATE !

De score is 57/100

SEO Content

Title

Hillel Wayne

Lengte : 12

Perfect, uw title tag bevat tussen de 10 en 70 karakters.

Description

Lengte : 0

Erg slecht.we hebben geen meta description gevonden in uw website. Gebruik deze gratis online meta tags generator om een beschrijving te genereren.

Keywords

Erg slecht. We hebben geen meta keywords gevonden in uw website. Gebruik deze gratis online meta tags generator om keywords te genereren.

Og Meta Properties

Goed, uw page maakt gebruik van 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

Afbeeldingen

We vonden 0 afbeeldingen in de pagina.

Goed, de meeste of alle afbeeldingen hebben een alt tekst

Text/HTML Ratio

Ratio : 48%

Ideaal! De ratio van text tot HTML code is tussen de 25 en 70 procent.

Flash

Perfect, geen Flash content gevonden in uw website.

Iframe

Perfect, er zijn geen Iframes in uw website aangetroffen.

Herschreven URL

Perfect. Uw links zien er vriendelijk uit!

Underscores in de URLs

Perfect! Geen underscores gevonden in uw URLs.

In-page links

We vonden een totaal van 119 links inclusie 0 link(s) naar bestanden

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

SEO Keywords

Keywords Cloud

jan sep mar aug apr oct feb jul posted tla

Keywords Consistentie

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

Bruikbaarheid

Url

Domein : hillelwayne.com

Lengte : 15

Favicon

Goed, uw website heeft een favicon.

Printbaarheid

Jammer. We vonden geen Print-Vriendelijke CSS.

Taal

Goed. Uw ingestelde taal is en.

Dublin Core

Deze pagina maakt geen gebruik van Dublin Core.

Document

Doctype

HTML 5

Encoding

Perfect. Uw ingestelde Charset is UTF-8.

W3C Validiteit

Fouten : 0

Waarschuwingen : 0

E-mail Privacy

Waarschuwing! Er is op zijn minst 1 e-mailadres gevonden als platte tekst. (voorkom spam!). Gebruik deze gratis antispam protector om e-mailadressen te verbergen voor spammers.

Niet ondersteunde HTML

Niet ondersteunde tags Voorkomende
<u> 1

We hebben niet meer ondersteunde HTML tags gevonden in uw HTML, we adviseren u deze te verwijderen.

Speed Tips

Geweldig, uw website heeft geen tabellen in een tabel.
Perfect. Er zijn geen inline CSS style gevonden in uw HTML!
Geweldig, uw website heeft een correct aantal CSS bestanden.
Perfect, uw website heeft een correct aantal JavaScript bestanden.
Perfect, uw website haalt voordeel uit gzip.

Mobile

Mobile Optimization

Apple Icon
Meta Viewport Tag
Flash content

Optimalisatie

XML Sitemap

Geweldig, uw website heeft een XML sitemap.

https://hillelwayne.com/sitemap.xml

Robots.txt

https://hillelwayne.com/robots.txt

Geweldig uw website heeft een robots.txt bestand.

Analytics

Ontbrekend

We hadden niet op te sporen van een analytics tool op deze website geplaatst.

Web Analytics laat u toe de bezoekersactiviteit op uw website te meten. U zou minstens 1 Analytics tool geïnstalleerd moeten hebben en een extra tool voor de bevestiging van de resultaten.

PageSpeed Insights

Device
Categorieën

Free SEO Testing Tool

Website review is een gratis tool waarmee u eenvoudig uw website kunt analyseren