Hillel Wayne

June 17, 2024 Composing TLA+ Specifications with State Machines
May 29, 2024 What We Know We Don't Know: Empirical Software Engineering
May 14, 2024 Comment Section: Software Friction
May 01, 2024 Software Friction
April 10, 2024 Don't let Alloy facts make your specs a fiction
April 01, 2024 The Tale of Daniel
March 18, 2024 Comment Section: The Hunt For The Missing Data Type
March 02, 2024 The Hunt for the Missing Data Type
February 20, 2024 Planner programming blows my mind
January 22, 2024 An RNG that runs in your brain
January 04, 2024 The World and the Machine
December 05, 2023 Notes on Every Strangeloop 2023 Talk I Attended
November 07, 2023 A better explanation of the Liskov Substitution Principle
August 21, 2023 Learn AutoHotKey by stealing my scripts
July 05, 2023 My Problem With the Four-Document Model
May 24, 2023 Is Software Engineering Real Engineering?
May 03, 2023 Somehow AutoHotKey is kinda good now
April 17, 2023 Breaking the limits of TLA+ model checking
April 15, 2023 OCR Everywhere
April 01, 2023 Ten weird things you can buy online (and why you would)