Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

Article URL: https://sli.dev

Comments URL: https://news.ycombinator.com/item?id=43816634

Poi

tldr; skip to the --------

Last time I "Asked HN", I was in a very different place. Fresh out of a bootcamp, right at the peak, and subsequent collapse of the Covid hiring. It didn't go well. Ho

Article URL: https://github.com/SureScaleAI/cleverbee

Comments URL: https://ne

Article URL: https://www.maxhertzberg.co.uk/background/politics/stasi-tactics/

Comments URL:

Article URL: https://mariozechner.at/posts/2025-04-20-boxie/

Comments URL:

Article URL: https://today.ucsd.edu/story/ai-helps-unravel-a-cause-of-alz

Article URL: https://news.lehigh.edu/new-material-gives-copper-superalloy-like-strength-0

Comments