Verifying Selection Sort: An Introduction to Program Verification in Dafny d dafny.org 1 maxmusing 3 years ago 0 comments
A Golden Age of Building? Lessons from Pentagon, Skunk Works and SpaceX l lesswrong.com 4 maxmusing 3 years ago 0 comments
Loom’s nightmare AWS outage and how it might have been prevented o overmind.tech 2 maxmusing 3 years ago 0 comments
Broadcom’s Google TPU Revenue Explosion, Networking Boom, VMware Integration s semianalysis.com 2 maxmusing 3 years ago 0 comments