Hacker News new | past | comments | ask | show | jobs | submit | from login
Using Formal Methods at Work (hillelwayne.com)
5 points by Jtsummers 11 days ago | past | web | discuss
Formally Specifying UIs (2018) (hillelwayne.com)
307 points by meistro 24 days ago | past | web | 45 comments
STAMPing on event-stream (hillelwayne.com)
3 points by Jtsummers 39 days ago | past | web
Solving Knights and Knaves with Alloy (hillelwayne.com)
3 points by mcguire 39 days ago | past | web
Uncle Bob Is Ruining Software (hillelwayne.com)
6 points by mcguire 40 days ago | past | web
Why Don't People Use Formal Methods? (hillelwayne.com)
420 points by pplonski86 61 days ago | past | web | 225 comments
STAMPing on event-stream (hillelwayne.com)
2 points by kiyanwang 76 days ago | past | web
STAMPing on the NPM event-stream compromise (hillelwayne.com)
3 points by fanf2 79 days ago | past | web
STAMPing on event-stream (hillelwayne.com)
6 points by grzm 80 days ago | past | web
A Better Interview (hillelwayne.com)
1 point by signa11 3 months ago | past | web
A Better Interview (hillelwayne.com)
2 points by pplonski86 3 months ago | past | web
A Better Interview (hillelwayne.com)
3 points by octosphere 3 months ago | past | web
Modeling Message Queues in TLA+ (hillelwayne.com)
195 points by panic 4 months ago | past | web | 46 comments
Modeling Message Queues in TLA+ (hillelwayne.com)
2 points by Jtsummers 4 months ago | past | web
Practical TLA+ (hillelwayne.com)
46 points by spooneybarger 5 months ago | past | web | 6 comments
Decision Tables (hillelwayne.com)
166 points by dailymorn 5 months ago | past | web | 49 comments
Constraint Solving with MiniZinc (hillelwayne.com)
118 points by mzl 5 months ago | past | web | 38 comments
Optimizing MiniZinc (hillelwayne.com)
2 points by homarp 5 months ago | past | web
The Problem With APLs (hillelwayne.com)
82 points by mr_golyadkin 5 months ago | past | web | 51 comments
Constraint Solving with Minizinc (hillelwayne.com)
3 points by homarp 5 months ago | past | web
Constraint Solving with MiniZinc (hillelwayne.com)
3 points by mzl 6 months ago | past | web
Property Tests and Contracts = Integration Tests (hillelwayne.com)
1 point by hyperpape 7 months ago | past | web
1/0 = 0 (hillelwayne.com)
650 points by ingve 7 months ago | past | web | 570 comments
Augmenting Agile with Formal Methods (hillelwayne.com)
112 points by joshuacc 7 months ago | past | web | 15 comments
Decision Tables (hillelwayne.com)
2 points by kevintb 8 months ago | past | web
Decision Tables (hillelwayne.com)
3 points by dailymorn 8 months ago | past | web
Let's Prove Random Games Are Winnable (with Formal Methods) (hillelwayne.com)
2 points by DanielRibeiro 8 months ago | past | web
Formally Specifying UIs (hillelwayne.com)
7 points by bkudria 9 months ago | past | web
The Great Theorem Prover Showdown (hillelwayne.com)
150 points by panic 11 months ago | past | web | 22 comments
The great theorem prover showdown (hillelwayne.com)
4 points by msangi 11 months ago | past | web

Applications are open for YC Summer 2019

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

Search: