Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

A Crash Course in Predicate Logic (hillelwayne.com) 21 points by surprisetalk 3 days ago | past | discuss A crash course in predicate logic (hillelwayne.com) 3 points by rayhaanj 11 days ago | past | discuss A Crash Course in Predicate Logic (hillelwayne.com) 3 points by tmseidman 12 days ago | past | discuss Why don't people use formal methods? (2019) (hillelwayne.com) 128 points by Thom2503 45 days ago | past | 117 comments Logic for Programmers Is Now Available (hillelwayne.com) 6 points by mdup 46 days ago | past We Are Not Special (2021) (hillelwayne.com) 6 points by birdculture 49 days ago | past The Frink is good, the unit is evil (2020) (hillelwayne.com) 1 point by pramodbiligiri 57 days ago | past What We Know We Don't Know: Empirical Software Engineering (hillelwayne.com) 3 points by andsoitis 62 days ago | past Composing TLA+ Specifications with State Machines (hillelwayne.com) 12 points by Jimmc414 67 days ago | past Chicago vs. New York Pizza Is the Wrong Argument (hillelwayne.com) 2 points by ethanhawksley 3 months ago | past | 1 comment Are We Engineers? (hillelwayne.com) 1 point by alpaylan 6 months ago | past Some silly Z3 scripts I wrote (hillelwayne.com) 46 points by azhenley 6 months ago | past | 9 comments Gamer Games for Non-Gamers (hillelwayne.com) 4 points by bschne 7 months ago | past Maybe comments should explain 'what' (2017) (hillelwayne.com) 205 points by zahrevsky 8 months ago | past | 202 comments Formally Specifying a Package Manager (hillelwayne.com) 1 point by ryangibb 9 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 10 months ago | past Handwriting Programs in J (2017) (hillelwayne.com) 27 points by Bogdanp 10 months ago | past | 9 comments Two workers are quadratically better than one: modelling a queue with PRISM (hillelwayne.com) 2 points by fanf2 10 months ago | past | 1 comment A Early History of Algebraic Data Types (hillelwayne.com) 72 points by surprisetalk 11 months ago | past | 14 comments A Early History of Algebraic Data Types (hillelwayne.com) 4 points by yehoshuapw 11 months ago | past | 1 comment A Early History of Algebraic Data Types (hillelwayne.com) 2 points by matt_d 11 months ago | past | 1 comment A early history of algebraic data types (hillelwayne.com) 2 points by fanf2 11 months ago | past | 2 comments A Very Early History of Algebraic Data Types (hillelwayne.com) 6 points by signa11 11 months ago | past | 2 comments A Early History of Algebraic Data Types (hillelwayne.com) 4 points by todsacerdoti 11 months ago | 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 Gamer Games for Non-Gamers (hillelwayne.com) 3 points by MaXtreeM on May 29, 2025 | past More

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: