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 · 3mo agoWhy are neural networks and cryptographic ciphers so similar? (2025)jxmorris12 · Hacker News · 3mo agoFun with polynomials and linear algebra; or, slight abstract nonsenseLolWolf · Hacker News · 3mo agoThe gauge broke: devs felt 20% faster with AI, measured 19% slowerintrepidkarthi · Hacker News · 1mo agoThe Mathematical Dance Inside Plant Cellsisaacfrond · Hacker News · 3mo ago