lobste_rs feeds.twtxt.net Thu, May 8 12:54AM 2025 (1y ago) Newtyped Indices are Proofs Comments ⌘ Read more ⤋ Read More