News for hackers. Stuff that matters.

A comment on Distributed Systems Programming Has Stalled. Parent comment

Re:Distributed Systems Programming Has Stalled by cmrdporcupine on Thursday February 27, 2025 @02:40PM (#43197684)
What we need is for formal verification tools (for linearizability, etc.) to be far more understood and common.
[ Parent | on HN ]

There are no comments on this comment yet.