Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
4-Dimensional Cross-Polytope
johncarlosbaez.wordpress.com·1d
Weird little games, summer edition
blog.zarfhome.com·13h
Joy & Curiosity #51
registerspill.thorstenball.com·3h
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·2d
Spiral-Bench shows which AI models most strongly reinforce users' delusional thinking
the-decoder.com·1d
Loading...Loading more...