GoKawiil
The extended predicative Mahlo universe in Martin-Löf type theory
(news.ycombinator.com)
1.
Today's top topics:
openai
meta
scott bessent
pixel 11
smart glasses
gpt-6 astra
amazon
iphone 18 pro
bambu lab
anthropic