lobste_rs feeds.twtxt.net Sun, Oct 12 06:15 (3w ago) Three ways “formally verified” can go wrong Comments ⌘ Read more ⤋ Read More