Hacker News new | ask | show | jobs
by lmm 4728 days ago
It's basically impossible to reason about the correctness of any nontrivial multithreaded program.
1 comments
Nursie 4727 days ago
This is true of all programs not written in Z notation...
link