Home/MetascienceThe extended predicative Mahlo universe in Martin-Löf type theory (2023)danny00·Hacker News·Metascience·May 3, 2026Read full article →Related ArticlesUS–Indian space mission maps extreme subsidence in Mexico Cityleopoldj · Hacker News · 20d agoWhy are neural networks and cryptographic ciphers so similar? (2025)jxmorris12 · Hacker News · 19d agoFun with polynomials and linear algebra; or, slight abstract nonsenseLolWolf · Hacker News · 20d agoThe Mathematical Dance Inside Plant Cellsisaacfrond · Hacker News · 16d agoEasy Random Treesaebtebeten · Hacker News · 15d ago