Hillel Wayne
- 2026-09-01: A Crash Course in Predicate Logic
- 2026-07-29: Logic for Programmers is Now Available
- 2026-04-01: Chicago vs New York Pizza is the Wrong Argument
- 2026-02-23: Some Silly Z3 Scripts I Wrote
- 2025-09-25: A Very Early History of Algebraic Data Types
- 2025-04-01: Gamer Games for Non-Gamers
- 2025-03-12: A Perplexing Javascript Parsing Puzzle
- 2025-03-04: The Hierarchy of Controls (or how to stop devs from dropping prod)
- 2024-09-11: Hiatus
- 2024-07-15: Toolbox languages
- 2024-06-17: Composing TLA+ Specifications with State Machines
- 2024-05-29: What We Know We Don't Know: Empirical Software Engineering
- 2024-05-14: Comment Section: Software Friction
- 2024-05-01: Software Friction
- 2024-04-10: Don't let Alloy facts make your specs a fiction
- 2024-04-01: How old is the name 'Daniel'?
- 2024-03-18: Comment Section: The Hunt For The Missing Data Type
End of feed.