Hacker News new | ask | show | jobs
Linearizability Refinement Prophecy (surfingcomplexity.blog)
29 points by mrtz 634 days ago