Hillel Wayne
Software, technology and mathematics
Recent posts
- A Crash Course in Predicate Logic
- Logic for Programmers is Now Available
- Chicago vs New York Pizza is the Wrong Argument
- Some Silly Z3 Scripts I Wrote
- A Very Early History of Algebraic Data Types
- Gamer Games for Non-Gamers
- A Perplexing Javascript Parsing Puzzle
- The Hierarchy of Controls (or how to stop devs from dropping prod)
- Hiatus
- Toolbox languages