https://hillelwayne.com

Hillel WayneHillel Wayne Skip to Content Blog Projects Talks Consulting About Newsletter Learn TLA+ New: Logic for Programmers is now content-complete and in the hands of the copy editor! Get the current beta for 20% off here. Hillel Wayne Blog Posts Posted on 2026, Feb 23 Some Silly Z3 Scripts I Wrote Posted on 2025, Sep 25 A Very Early History of Algebraic Data Types 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 How old is the name '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 Contact via Email Open Github account in new tab Newsletter (Article updates & weekly+ essays) Powered by Buttondown. © 2026 Hillel Wayneenen1773194535https://hillelwayne.com