Hacker News new | comments | show | ask | jobs | submit | from login
Modeling Message Queues in TLA+ (hillelwayne.com)
195 points by panic 18 days ago | past | web | 46 comments
Modeling Message Queues in TLA+ (hillelwayne.com)
2 points by Jtsummers 19 days ago | past | web
Practical TLA+ (hillelwayne.com)
46 points by spooneybarger 32 days ago | past | web | 6 comments
Decision Tables (hillelwayne.com)
166 points by dailymorn 34 days ago | past | web | 49 comments
Constraint Solving with MiniZinc (hillelwayne.com)
118 points by mzl 44 days ago | past | web | 38 comments
Optimizing MiniZinc (hillelwayne.com)
2 points by homarp 49 days ago | past | web
The Problem With APLs (hillelwayne.com)
82 points by mr_golyadkin 55 days ago | past | web | 51 comments
Constraint Solving with Minizinc (hillelwayne.com)
3 points by homarp 56 days ago | past | web
Constraint Solving with MiniZinc (hillelwayne.com)
3 points by mzl 56 days ago | past | web
Property Tests and Contracts = Integration Tests (hillelwayne.com)
1 point by hyperpape 3 months ago | past | web
1/0 = 0 (hillelwayne.com)
650 points by ingve 3 months ago | past | web | 570 comments
Augmenting Agile with Formal Methods (hillelwayne.com)
112 points by joshuacc 3 months ago | past | web | 15 comments
Decision Tables (hillelwayne.com)
2 points by kevintb 4 months ago | past | web
Decision Tables (hillelwayne.com)
3 points by dailymorn 4 months ago | past | web
Let's Prove Random Games Are Winnable (with Formal Methods) (hillelwayne.com)
2 points by DanielRibeiro 4 months ago | past | web
Formally Specifying UIs (hillelwayne.com)
7 points by bkudria 5 months ago | past | web
The Great Theorem Prover Showdown (hillelwayne.com)
150 points by panic 6 months ago | past | web | 22 comments
The great theorem prover showdown (hillelwayne.com)
4 points by msangi 6 months ago | past | web
Why Does “=” Mean Assignment? (hillelwayne.com)
674 points by panic 7 months ago | past | web | 354 comments
A Bunch of Tests (hillelwayne.com)
2 points by zwischenzug 7 months ago | past | web
Modeling Redux with TLA+ (hillelwayne.com)
132 points by hellerve 8 months ago | past | web | 33 comments
How is a Class like a Microservice? (hillelwayne.com)
2 points by hellerve 8 months ago | past | web
Monad Tutorials for Other Topics (hillelwayne.com)
2 points by hwayne 8 months ago | past | web
The problem with APLs (hillelwayne.com)
3 points by quazar 9 months ago | past | web
Intro to Contract Programming (hillelwayne.com)
4 points by jxub 9 months ago | past | web
It’s hard to reason about system (hillelwayne.com)
1 point by adamnemecek 9 months ago | past | web
We've Already Thought the Unthinkable (hillelwayne.com)
4 points by mpweiher 9 months ago | past | web
How is a Class like a Microservice? (hillelwayne.com)
1 point by mpweiher 9 months ago | past | web
Let's Prove Random Games Are Winnable (with Formal Methods) (hillelwayne.com)
2 points by petercooper 9 months ago | past | web
The Best Software Engineering Paper You Haven't Read (hillelwayne.com)
3 points by hyperpape 10 months ago | past | web
More

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

Search: