Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Toolbox Languages (hillelwayne.com)
1 point by JNRowe on July 16, 2024 | past
Toolbox Languages (hillelwayne.com)
14 points by todsacerdoti on July 15, 2024 | past | 1 comment
Composing TLA+ Specifications with State Machines (hillelwayne.com)
3 points by todsacerdoti on June 17, 2024 | past
Software Friction (hillelwayne.com)
141 points by saikatsg on June 17, 2024 | past | 79 comments
Software Friction (hillelwayne.com)
2 points by nalgeon on May 3, 2024 | past
Software Friction (hillelwayne.com)
7 points by todsacerdoti on May 1, 2024 | past | 1 comment
What is the best answer to divide by 0 (hillelwayne.com)
2 points by systems on April 30, 2024 | past | 3 comments
Why Don't People Use Formal Methods? (hillelwayne.com)
4 points by rramadass on April 13, 2024 | past
Don't let Alloy facts make your specs a fiction (hillelwayne.com)
1 point by todsacerdoti on April 10, 2024 | past
The Tale of Daniel (hillelwayne.com)
192 points by hwayne on April 1, 2024 | past | 60 comments
Metamorphic Testing (hillelwayne.com)
1 point by gHeadphone on March 15, 2024 | past
The hunt for the missing data type (hillelwayne.com)
690 points by todsacerdoti on March 4, 2024 | past | 254 comments
Planner programming blows my mind (hillelwayne.com)
412 points by todsacerdoti on Feb 20, 2024 | past | 72 comments
An RNG that runs in your brain (hillelwayne.com)
259 points by nalgeon on Jan 22, 2024 | past | 63 comments
The World and the Machine (hillelwayne.com)
1 point by todsacerdoti on Jan 5, 2024 | past
Decision Table Patterns (2020) (hillelwayne.com)
73 points by rramadass on Dec 31, 2023 | past | 11 comments
What We Know We Don't Know: Empirical Software Engineering (hillelwayne.com)
3 points by sebg on Dec 28, 2023 | past
Indiana Almost Made π 3.2 (hillelwayne.com)
2 points by weird_user on Nov 21, 2023 | past
Why Do Interviewers Ask Linked List Questions? (hillelwayne.com)
1 point by weird_user on Nov 14, 2023 | past | 1 comment
A better explanation of the Liskov Substitution Principle (hillelwayne.com)
4 points by chriskrycho on Nov 10, 2023 | past
A better explanation of the Liskov Substitution Principle (hillelwayne.com)
6 points by todsacerdoti on Nov 7, 2023 | past | 1 comment
Is Software Engineering Real Engineering? (hillelwayne.com)
59 points by signa11 on Oct 5, 2023 | past | 102 comments
Is Software Engineering Real Engineering? (hillelwayne.com)
1 point by todsacerdoti on Oct 4, 2023 | past
Weird things you can buy online (hillelwayne.com)
127 points by marvinborner on Sept 29, 2023 | past | 51 comments
Are We Really Engineers? (2021) (hillelwayne.com)
4 points by lolinder on Sept 17, 2023 | past
Let's Prove Leftpad (hillelwayne.com)
2 points by pkkm on Sept 2, 2023 | past
Learn AutoHotKey by stealing my scripts (hillelwayne.com)
333 points by Tomte on Aug 22, 2023 | past | 195 comments
There's always more history (2020) (hillelwayne.com)
68 points by isp on July 10, 2023 | past | 9 comments
A Brief Introduction to Esoteric Languages (hillelwayne.com)
3 points by throwoutway on July 7, 2023 | past
My Problem with the Four-Document Model (hillelwayne.com)
204 points by zdw on July 6, 2023 | past | 61 comments

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

Search: