ahelwer

Karma: 9,212
Created: 14 years ago

About

ahelwer.ca

Recent Submissions

1. ▲ Can we have reachability properties in TLA⁺? (ahelwer.ca) 2 points · 1 month ago · 0 comments
2. ▲ Book review: Is parallel programming hard, and, if so, what can you do about it? (ahelwer.ca) 149 points · 1 month ago · 66 comments
3. ▲ The changing role of finite-state model checking (ahelwer.ca) 4 points · 2 months ago · 0 comments

All submissions on HN · View profile on HN