lobste_rs feeds.twtxt.net Mon, Nov 3 10:58AM 2025 (1y ago) Homotopy Type Theory for Dummies Comments ⌘ Read more ⤋ Read More Yarn