Hacker News new | ask | show | jobs
by cmrdporcupine 478 days ago
What we need is for formal verification tools (for linearizability, etc.) to be far more understood and common.