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