hillelwayne.com

Webseiten-Bericht für hillelwayne.com

Hillel Wayne

 Generiert am 17 März 2026 02:46 AM

Aktuelle Statistiken? UPDATE !

Der Wert ist 57/100

SEO Inhalte

Seitentitel

Hillel Wayne

Länge : 12

Perfekt, denn Ihr Seitentitel enthält zwischen 10 und 70 Anzahl Zeichen.

Seitenbeschreibung

Länge : 0

Schlecht. Wir konnten keine Seitenbeschreibung auf Ihrer Webseite finden. Benutzen Sie dieses kostenlose Werkzeug um eine Seitenbeschreibung zu erzeugen.

Suchbegriffe

Nicht so gut. Wir konnten keine META-Suchbegriffe auf Ihrer Webseite finden. Benutzen Sie dieses kostenlose Werkzeug um META-Suchbegriffe zu erzeugen.

Og META Eigenschaften

Sehr gut, denn diese Webseite nutzt die Vorteile aus den Og Properties.

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

Überschriften

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

Bilder

Es konnten 0 Bilder auf dieser Webseite gefunden werden.

Gut, denn die meisten Ihrer Bilder verwenden das ALT-Attribut.

Text/HTML Verhältnis

Anteil : 48%

Ideal! Das Text zu HTML Code Verhältnis dieser Webseite ist zwischen 25 und 70 Prozent.

Flash

Perfekt, denn es wurde kein Flash auf Ihrer Webseite gefunden.

IFrame

Großartig, denn Sie verwenden keine IFrames auf Ihrer Webseite.

URL Rewrite

Gut. Ihre Links sind für Suchmaschinen gut lesbar (sprechende Links)!

Underscores in the URLs

Perfekt! Wir haben keine Unterstriche in Ihren Links entdeckt.

In-page links

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

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

SEO Suchbegriffe

Suchbegriffswolke

sep tla oct mar jan jul posted aug apr feb

Keywords Consistency

Suchbegriff Inhalt Seitentitel Suchbegriffe Seitenbeschreibung Überschriften
posted 109
apr 13
jul 12
jan 12
mar 11

Benutzerfreundlichkeit

URL

Domain : hillelwayne.com

Länge : 15

Favoriten Icon

Gut. Die Webseite hat ein Favicon.

Druckeigenschaften

Es konnten keine druckfreundlichen CSS-Angaben gefunden werden.

Sprache

Gut, denn Sie haben in den META-Elementen eine Sprache deklariert: en.

Dublin Core

Diese Webseite nutzt nicht die Vorteile der Dublin Core Elemente.

Dokument

Doctype

HTML 5

Verschlüsselung

Perfekt, denn Ihre Webseite deklariert einen Zeichensatz: UTF-8.

W3C Validität

Fehler : 0

Warnungen : 0

E-Mail Datenschutz

Achtung! Es wurde mindestens eine E-Mail Adresse im Klartext auf Ihrer Webseite gefunden. Benutzen Sie dieses kostenlose Werkzeug um E-Mail Adressen vor SPAM zu schützen.

Veraltetes HTML

Veraltete Tags Vorkommen
<u> 1

Überholte (deprecated) HTML Tags sind HTML Tags, die zwar aktuell funktionieren, aber bald nicht mehr von jedem Browser unterstützt werden. Wir empfehlen Ihnen diese überholten HTML Tags durch aktuelle HTML Tags zu ersetzen.

Tipps zur Webseitengeschwindigkeit

Sehr gut, denn Ihre Webseite benutzt keine verschachtelten Tabellen.
Perfekt. Es wurden keine CSS-Angaben in HTML-Elementen entdeckt!
Gut, denn Ihre Webseite enthält nur wenig CSS-Dateien.
Perfekt, denn Ihre Webseite enthät nur wenig Javascript-Dateien.
Gut! Sie nutzen die Vorteile von gzip.

Mobile

Mobile Optimierung

Apple Icon
META Viewport Tag
Flash Inhalt

Optimierung

XML-Sitemap

Perfekt! Ihre Seite hat eine XML-Sitemap.

https://hillelwayne.com/sitemap.xml

Robots.txt

https://hillelwayne.com/robots.txt

Sehr gut! Ihre Webseite enthält eine robots.txt-Datei.

Analytics

Fehlt

Wir haben nicht ein Analyse-Tool auf dieser Website installiert zu erkennen.

Webanalyse erlaubt die Quantifizierung der Besucherinteraktionen mit Ihrer Seite. Insofern sollte zumindest ein Analysetool installiert werden. Um die Befunde abzusichern, empfiehlt sich das parallele Verwenden eines zweiten Tools.

PageSpeed Insights

Gerät
Kategorien

Free SEO Testing Tool

Free SEO Testing Tool ist ein kostenloses SEO Werkzeug zur Analyse Ihrer Webseite