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

Applications are open for YC Winter 2019

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

Search: