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