Blog on Hillel Wayne hillelwayne.com

A Very Early History of Algebraic Data Types

hillelwayne.com·20w·

Discuss: Lobsters, Hacker News, Hacker News, r/programming

Gamer Games for Non-Gamers

hillelwayne.com·45w·

Discuss: Hacker News

A Perplexing Javascript Parsing Puzzle

hillelwayne.com·48w·

Discuss: Lobsters, Hacker News, r/javascript

The Hierarchy of Hazard Controls

hillelwayne.com·49w·

Discuss: Lobsters, Hacker News, Hacker News

Hiatus

hillelwayne.com·74w

Toolbox languages

hillelwayne.com·82w

Composing TLA+ Specifications with State Machines

hillelwayne.com·86w

Software Friction

hillelwayne.com·93w

Don't let Alloy facts make your specs a fiction

hillelwayne.com·96w

The Tale of Daniel

hillelwayne.com·97w

The Hunt for the Missing Data Type

hillelwayne.com·102w

Planner programming blows my mind

hillelwayne.com·103w

An RNG that runs in your brain

hillelwayne.com·107w

The World and the Machine

hillelwayne.com·110w

Notes on Every Strangeloop 2023 Talk I Attended

hillelwayne.com·114w

A better explanation of the Liskov Substitution Principle

hillelwayne.com·118w

Learn AutoHotKey by stealing my scripts

hillelwayne.com·129w

My Problem With the Four-Document Model

hillelwayne.com·136w

Somehow AutoHotKey is kinda good now

hillelwayne.com·145w

Breaking the limits of TLA+ model checking

hillelwayne.com·147w

Loading...Loading more...