lobste_rs feeds.twtxt.net Sat, Oct 18 5:59PM (48w ago) Why formalize mathematics - more than catching errors Comments ⌘ Read more ⤋ Read More