Back to scour.grumbly742's feed

SeL4 is a formally verified operating system (opens in new tab) 🌐Distributed Systems

sel4.systems··Hacker News, Hacker News, Hacker News·Covered in 5 articles·Open original

Sign in to keep reading the full article.

Covered in 5 articles

coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

github.com··Hacker News

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

amazon.science··Lobsters

Formal methods and the future of programming

blog.janestreet.com··Lobsters