Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
How Reading to My Baby Helped Me Read My Baby
theatlantic.com·9h
The AI Crash That Isn’t: A Reality Check from the Trenches
julsimon.medium.com·2h
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·2d
Loading...Loading more...