Proving Liveness with TLA(roscidus.com)
28 points by ibobev | 1 comments
roscidus.com on Hacker News
3 stories on the front page, newest first. Scroll down to watch the site change over time.
3 stories on the front page, newest first. Scroll down to watch the site change over time.
28 points by ibobev | 1 comments
50 points by matt_d | 6 comments