Hacker News new | comments | show | ask | jobs | submit | from login
Decision Tables (hillelwayne.com)
2 points by kevintb 7 days ago | past | web | discuss
Decision Tables (hillelwayne.com)
3 points by dailymorn 8 days ago | past | web | discuss
Let's Prove Random Games Are Winnable (with Formal Methods) (hillelwayne.com)
2 points by DanielRibeiro 16 days ago | past | web
Formally Specifying UIs (hillelwayne.com)
7 points by bkudria 36 days ago | past | web
The Great Theorem Prover Showdown (hillelwayne.com)
150 points by panic 83 days ago | past | web | 22 comments
The great theorem prover showdown (hillelwayne.com)
4 points by msangi 84 days ago | past | web
Why Does “=” Mean Assignment? (hillelwayne.com)
674 points by panic 3 months ago | past | web | 354 comments
A Bunch of Tests (hillelwayne.com)
2 points by zwischenzug 3 months ago | past | web
Modeling Redux with TLA+ (hillelwayne.com)
132 points by hellerve 4 months ago | past | web | 33 comments
How is a Class like a Microservice? (hillelwayne.com)
2 points by hellerve 4 months ago | past | web
Monad Tutorials for Other Topics (hillelwayne.com)
2 points by hwayne 4 months ago | past | web
The problem with APLs (hillelwayne.com)
3 points by quazar 4 months ago | past | web
Intro to Contract Programming (hillelwayne.com)
4 points by jxub 5 months ago | past | web
It’s hard to reason about system (hillelwayne.com)
1 point by adamnemecek 5 months ago | past | web
We've Already Thought the Unthinkable (hillelwayne.com)
4 points by mpweiher 5 months ago | past | web
How is a Class like a Microservice? (hillelwayne.com)
1 point by mpweiher 5 months ago | past | web
Let's Prove Random Games Are Winnable (with Formal Methods) (hillelwayne.com)
2 points by petercooper 5 months ago | past | web
The Best Software Engineering Paper You Haven't Read (hillelwayne.com)
3 points by hyperpape 6 months ago | past | web
Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Names (hillelwayne.com)
3 points by mjb 6 months ago | past | web
Property Tests and Contracts = Integration Tests (hillelwayne.com)
4 points by X4lldux 7 months ago | past | web
Calculating Burn Rates in J (hillelwayne.com)
74 points by sndean 7 months ago | past | web | 12 comments
How is a Class like a Microservice? (hillelwayne.com)
3 points by ingve 7 months ago | past | web
How is a class like a microservice? (hillelwayne.com)
5 points by zeveb 7 months ago | past | web
Introduction to Contract Programmming (hillelwayne.com)
4 points by carlchenet 7 months ago | past | web
Introduction to Contract Programming (hillelwayne.com)
3 points by arunc 7 months ago | past | web
Unit Tests Aren't Tests (hillelwayne.com)
3 points by telotortium 8 months ago | past | web
Why TDD isn't crap (hillelwayne.com)
159 points by mzl 8 months ago | past | web | 161 comments
Handwriting Programs in J (hillelwayne.com)
100 points by qznc 9 months ago | past | web | 29 comments
Handwriting Programs in J (hillelwayne.com)
3 points by ah- 9 months ago | past | web
Uncle Bob and Silver Bullets (hillelwayne.com)
277 points by henrik_w 9 months ago | past | web | 218 comments
More

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

Search: