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 · 5mo agoA Misalignment of AI in MathematicsIuz · Hacker News · 22d agoWhy are neural networks and cryptographic ciphers so similar? (2025)jxmorris12 · Hacker News · 5mo agoFun with polynomials and linear algebra; or, slight abstract nonsenseLolWolf · Hacker News · 5mo agoThe gauge broke: devs felt 20% faster with AI, measured 19% slowerintrepidkarthi · Hacker News · 3mo ago