Hacker News new | past | comments | ask | show | jobs | submit | from login
1/0 = 0 (2018) (hillelwayne.com)
135 points by revskill 59 days ago | past | 231 comments
1 / 0 = 0 (2018) (hillelwayne.com)
8 points by Aaronmacaron 73 days ago | past | 8 comments
Constructive vs. Predicative Data (hillelwayne.com)
3 points by wumeow 3 months ago | past
Toolbox Languages (hillelwayne.com)
1 point by goranmoomin 6 months ago | past
Toolbox Languages (hillelwayne.com)
4 points by librasteve 6 months ago | past | 1 comment
Toolbox Languages (hillelwayne.com)
3 points by surprisetalk 6 months ago | past
Toolbox Languages (hillelwayne.com)
1 point by JNRowe 6 months ago | past
Toolbox Languages (hillelwayne.com)
14 points by todsacerdoti 6 months ago | past | 1 comment
Composing TLA+ Specifications with State Machines (hillelwayne.com)
3 points by todsacerdoti 7 months ago | past
Software Friction (hillelwayne.com)
141 points by saikatsg 7 months ago | past | 79 comments
Software Friction (hillelwayne.com)
2 points by nalgeon 9 months ago | past
Software Friction (hillelwayne.com)
7 points by todsacerdoti 9 months ago | past | 1 comment
What is the best answer to divide by 0 (hillelwayne.com)
2 points by systems 9 months ago | past | 3 comments
Why Don't People Use Formal Methods? (hillelwayne.com)
4 points by rramadass 9 months ago | past
Don't let Alloy facts make your specs a fiction (hillelwayne.com)
1 point by todsacerdoti 9 months ago | past
The Tale of Daniel (hillelwayne.com)
192 points by hwayne 10 months ago | past | 60 comments
Metamorphic Testing (hillelwayne.com)
1 point by gHeadphone 10 months ago | past
The hunt for the missing data type (hillelwayne.com)
690 points by todsacerdoti 11 months ago | past | 254 comments
Planner programming blows my mind (hillelwayne.com)
412 points by todsacerdoti 11 months ago | 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

Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: