GoKawiil - Tech News

Topics: Today This Week This Month This Year

The extended predicative Mahlo universe in Martin-Löf type theory (news.ycombinator.com)

2026-05-03 | tags: mahlo universe, martin-löf, type theory

Today's top topics: apple openai google spacex amazon microsoft iphone anthropic samsung android