GoKawiil
The extended predicative Mahlo universe in Martin-Löf type theory
(news.ycombinator.com)
1.
Today's top topics:
apple
googlebook
google
siri ai
mac studio
mac mini
gemini
ios 27
m6 chip
openai