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