| | Formally Specifying UIs (hillelwayne.com) |
| 2 points by vhawk19 4 days ago | past | 1 comment |
|
| | A Crash Course in Predicate Logic (hillelwayne.com) |
| 21 points by surprisetalk 24 days ago | past |
|
| | A crash course in predicate logic (hillelwayne.com) |
| 3 points by rayhaanj 32 days ago | past |
|
| | A Crash Course in Predicate Logic (hillelwayne.com) |
| 3 points by tmseidman 32 days ago | past |
|
| | Why don't people use formal methods? (2019) (hillelwayne.com) |
| 128 points by Thom2503 66 days ago | past | 117 comments |
|
| | Logic for Programmers Is Now Available (hillelwayne.com) |
| 6 points by mdup 67 days ago | past |
|
| | We Are Not Special (2021) (hillelwayne.com) |
| 6 points by birdculture 70 days ago | past |
|
| | The Frink is good, the unit is evil (2020) (hillelwayne.com) |
| 1 point by pramodbiligiri 78 days ago | past |
|
| | What We Know We Don't Know: Empirical Software Engineering (hillelwayne.com) |
| 3 points by andsoitis 83 days ago | past |
|
| | Composing TLA+ Specifications with State Machines (hillelwayne.com) |
| 12 points by Jimmc414 88 days ago | past |
|
| | Chicago vs. New York Pizza Is the Wrong Argument (hillelwayne.com) |
| 2 points by ethanhawksley 4 months ago | past | 1 comment |
|
| | Are We Engineers? (hillelwayne.com) |
| 1 point by alpaylan 7 months ago | past |
|
| | Some silly Z3 scripts I wrote (hillelwayne.com) |
| 46 points by azhenley 7 months ago | past | 9 comments |
|
| | Gamer Games for Non-Gamers (hillelwayne.com) |
| 4 points by bschne 8 months ago | past |
|
| | Maybe comments should explain 'what' (2017) (hillelwayne.com) |
| 205 points by zahrevsky 9 months ago | past | 202 comments |
|
| | Formally Specifying a Package Manager (hillelwayne.com) |
| 1 point by ryangibb 10 months ago | past |
|
| | What engineering can teach (and learn from) us (2021) (hillelwayne.com) |
| 2 points by smj-edison 10 months ago | past |
|
| | This is How Science Happens (2020) (hillelwayne.com) |
| 1 point by heijmans 11 months ago | past |
|
| | Handwriting Programs in J (2017) (hillelwayne.com) |
| 27 points by Bogdanp 11 months ago | past | 9 comments |
|
| | Two workers are quadratically better than one: modelling a queue with PRISM (hillelwayne.com) |
| 2 points by fanf2 11 months ago | past | 1 comment |
|
| | A Early History of Algebraic Data Types (hillelwayne.com) |
| 72 points by surprisetalk 12 months ago | past | 14 comments |
|
| | A Early History of Algebraic Data Types (hillelwayne.com) |
| 4 points by yehoshuapw on Oct 3, 2025 | past | 1 comment |
|
| | A Early History of Algebraic Data Types (hillelwayne.com) |
| 2 points by matt_d on Sept 30, 2025 | past | 1 comment |
|
| | A early history of algebraic data types (hillelwayne.com) |
| 2 points by fanf2 on Sept 28, 2025 | past | 2 comments |
|
| | A Very Early History of Algebraic Data Types (hillelwayne.com) |
| 6 points by signa11 on Sept 26, 2025 | past | 2 comments |
|
| | A Early History of Algebraic Data Types (hillelwayne.com) |
| 4 points by todsacerdoti on Sept 25, 2025 | past | 1 comment |
|
| | Crimes with Python's Pattern Matching (2022) (hillelwayne.com) |
| 255 points by agluszak on Aug 21, 2025 | past | 113 comments |
|
| | Are We Engineers? (2021) (hillelwayne.com) |
| 2 points by walterbell on Aug 21, 2025 | past | 1 comment |
|
| | Mostly dead influential programming languages (2020) (hillelwayne.com) |
| 243 points by azhenley on July 12, 2025 | past | 162 comments |
|
| | Gamer Games for Non-Gamers (hillelwayne.com) |
| 1 point by azhenley on June 25, 2025 | past |
|
|
| More |
