Hillel Wayne

Blog Posts

Posted on 2025, Apr 01

Gamer Games for Non-Gamers
Posted on 2025, Mar 12

A Perplexing Javascript Parsing Puzzle
Posted on 2025, Mar 04

The Hierarchy of Controls (or how to stop devs from dropping prod)
Posted on 2024, Sep 11

Hiatus
Posted on 2024, Jul 15

Toolbox languages
Posted on 2024, Jun 17

Composing TLA+ Specifications with State Machines
Posted on 2024, May 01

Software Friction
Posted on 2024, Apr 10

Don't let Alloy facts make your specs a fiction
Posted on 2024, Apr 01

The Tale of Daniel
Posted on 2024, Mar 02

The Hunt for the Missing Data Type
Posted on 2024, Feb 20

Planner programming blows my mind
Posted on 2024, Jan 22

An RNG that runs in your brain
Posted on 2024, Jan 04

The World and the Machine
Posted on 2023, Dec 05

Notes on Every Strangeloop 2023 Talk I Attended
Posted on 2023, Nov 07

A better explanation of the Liskov Substitution Principle
Posted on 2023, Aug 21

Learn AutoHotKey by stealing my scripts
Posted on 2023, Jul 05

My Problem With the Four-Document Model
Posted on 2023, May 03

Somehow AutoHotKey is kinda good now
Posted on 2023, Apr 17

Breaking the limits of TLA+ model checking
Posted on 2023, Apr 01

Ten weird things you can buy online (and why you would)
Posted on 2023, Mar 14

That Time Indiana Almost Made π 3.2
Posted on 2023, Mar 13

A Neovim Task Runner in 30 lines of Lua
Posted on 2023, Feb 20

NP-Complete isn't (always) Hard
Posted on 2023, Jan 23

Sources of Complexity: Constraints
Posted on 2022, Nov 16

Let's Prove Leftpad
Posted on 2022, Nov 02

Notes on Every Strangeloop 2022 Talk I Attended
Posted on 2022, Sep 06

Safety and Liveness Properties
Posted on 2022, Aug 29

Software Mimicry
Posted on 2022, Jul 31

Crimes with Python's Pattern Matching
Posted on 2022, Jul 01

Announcing: Learn TLA+
Posted on 2022, Apr 01

I ❤️ Microscopes
Posted on 2022, Feb 13

Hiatus
Posted on 2021, Dec 13

Using Abstract Data Types in TLA+
Posted on 2021, Nov 29

Alloy 6: it's about Time
Posted on 2021, Oct 10

How to Solve the Sudoku Puzzle with programming
Posted on 2021, Jul 13

Specification Refinement
Posted on 2021, Jun 28

Cross-Branch Testing
Posted on 2021, Jun 06

Clever vs Insightful Code
Posted on 2021, Apr 18

Why Specifications Don't Compose
Posted on 2021, Mar 28

Why Do Interviewers Ask Linked List Questions?
Posted on 2021, Feb 25

TLA+ Action Properties
Posted on 2021, Jan 22

What engineering can teach (and learn from) us
Posted on 2021, Jan 20

We Are Not Special
Posted on 2021, Jan 18

Are We Really Engineers?
Posted on 2020, Dec 08

There's Always More History
Posted on 2020, Nov 02

Two workers are quadratically better than one
Posted on 2020, Oct 28

Software correctness is a lot like flossing
Posted on 2020, Sep 25

Finding Goroutine Bugs with TLA+
Posted on 2020, Sep 09

Decision Table Patterns
Posted on 2020, Aug 14

J Notation as a Tool of Thought
Posted on 2020, Jul 24

A Better Cheatsheet
Posted on 2020, Jul 10

The Frink is Good, the Unit is Evil
Posted on 2020, Jul 03

Weak and Strong Fairness
Posted on 2020, Jun 19

Property Testing with Complex Inputs
Posted on 2020, May 18

Constructive vs Predicative Data
Posted on 2020, May 12

In Praise of AutoHotKey
Posted on 2020, Apr 27

The Hard Part of Learning a Language
Posted on 2020, Apr 13

Announcing: Alloydocs
Posted on 2020, Mar 25

10 Most(ly dead) Influential Programming Languages
Posted on 2020, Mar 09

This is How Science Happens
Posted on 2020, Feb 05

Feature Interaction Bugs
Posted on 2020, Jan 22

The Business Case for Formal Methods
Posted on 2020, Jan 13

Hypermodeling Hyperproperties
Posted on 2019, Oct 28

How fast do I talk?
Posted on 2019, Oct 09

Formally Modeling Database Migrations
Posted on 2019, Sep 26

Python Negatypes
Posted on 2019, Aug 07

Performance Matters
Posted on 2019, Jul 15

Modeling Missing Requirements
Posted on 2019, Jun 17

Probabilistic Modeling with PRISM
Posted on 2019, May 31

At least one Vim trick you might not know
Posted on 2019, May 22

Alan Kay Did Not Invent Objects
Posted on 2019, May 05

Modeling Adversaries with TLA+
Posted on 2019, Apr 08

Finding Property Tests
Posted on 2019, Mar 25

Metamorphic Testing
Posted on 2019, Mar 11

Using Formal Methods at Work
Posted on 2019, Feb 11

Solving Knights and Knaves with Alloy
Posted on 2019, Jan 21

Why Don't People Use Formal Methods?
Posted on 2019, Jan 02

STAMPing on event-stream
Posted on 2018, Dec 08

A Better Interview
Posted on 2018, Oct 31

Modeling Message Queues in TLA+
Posted on 2018, Oct 18

Practical TLA+ Now Available
Posted on 2018, Sep 30

Optimizing MiniZinc
Posted on 2018, Sep 24

Constraint Solving with Minizinc
Posted on 2018, Aug 10

1/0 = 0
Posted on 2018, Jul 30

Augmenting Agile with Formal Methods
Posted on 2018, Jul 09

Decision Tables
Posted on 2018, Jun 11

Formally Specifying UIs
Posted on 2018, Apr 25

The Great Theorem Prover Showdown
Posted on 2018, Apr 10

Why Does "=" Mean Assignment?
Posted on 2018, Apr 02

Just a Whole Bunch of Different Tests
Posted on 2018, Mar 16

Formally Specifying a Package Manager
Posted on 2018, Feb 19

The Problem With APLs
Posted on 2018, Jan 26

Important Women in CS Who Aren't Grace Hopper
Posted on 2018, Jan 15

Proving Games are Winnable with Alloy
Posted on 2017, Dec 26

Vim Macro Trickz
Posted on 2017, Dec 17

Property Tests + Contracts = Integration Tests
Posted on 2017, Dec 10

What's the Right Tool for the Job?
Posted on 2017, Nov 27

Introduction to Contract Programming
Posted on 2017, Nov 21

Calculating Burn Rates in J
Posted on 2017, Oct 30

Why TDD Isn't Crap
Posted on 2017, Oct 10

Handwriting Programs in J
Posted on 2017, Oct 05

Uncle Bob and Silver Bullets
Posted on 2017, Aug 29

Instructive and Persuasive Examples
Posted on 2017, Aug 14

How Do We Trust Our Science Code?
Posted on 2017, Jul 21

Hypothesis Testing with Oracle Functions
Posted on 2017, May 30

Modeling Zero-Downtime Deployments with TLA+
Posted on 2017, Feb 01

Falsehoods Programmers Believe About Dogs