20happ.fluentsubs.comShow HN: Duolingo-style exercises but with real-world content like the news430162ph4evers
3hjangafx.comThe atrocious state of binary compatibility on Linux and how to address it6046generichuman
10hqueue.acm.orgSystems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods12330yarapavan
