Hacker News new | ask | show | jobs
by lmm 143 days ago
Probably not, not without formal verification which is usually lacking.

Everyone's computers hang or get slow some of the time. Probably all of our locks have bugs in them, but good luck getting to the bottom of that, right now the industry is barely capable of picking a sorting algorithm that actually works.