Hacker News new | ask | show | jobs
by fallingmeat 481 days ago
fun fact, the same guy (G Holzman) also made the Spin model checker