Clang/LLVM static analyzer that detects microarchitectural hazardsabokhalill.github.io·5 pts·yousef06·2
Show HN: Cuttlefish – 40ns causal consistency using algebra instead of consensusgithub.com·2 pts·yousef06·0