lobste_rs feeds.twtxt.net Sun, Nov 9 3:16PM (5w ago) Ironclad, a formally verified Unix-like kernel written in Ada Comments ⌘ Read more ⤋ Read More