Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Governance of the DNS root zone
blog.apnic.net·11h
Joy & Curiosity #52
registerspill.thorstenball.com·2d
I spent the weekend comparing Gemini’s new Nano Banana image tool to ChatGPT – and there’s one clear winner
techradar.com·21h
Michael Rosen’s guide to having a happier day: listen to music, get a good night’s sleep ... and add raisins to ice-cream
theguardian.com·2d
Operational Validation of Large-Language-Model Agent Social Simulation: Evidence from Voat v/technology
arxiv.org·1d
Loading...Loading more...