Home/MetascienceThe extended predicative Mahlo universe in Martin-Löf type theory (2023)danny00·Hacker News·Metascience·May 3, 2026Read full article →Related ArticlesThe gauge broke: devs felt 20% faster with AI, measured 19% slowerintrepidkarthi · Hacker News · 3d agoUS–Indian space mission maps extreme subsidence in Mexico Cityleopoldj · Hacker News · 2mo agoWhy are neural networks and cryptographic ciphers so similar? (2025)jxmorris12 · Hacker News · 2mo agoFun with polynomials and linear algebra; or, slight abstract nonsenseLolWolf · Hacker News · 2mo agoThe Mathematical Dance Inside Plant Cellsisaacfrond · Hacker News · 2mo ago