Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Decoding the Mystery of Intuition: Pioneering Philosopher of AI Margaret Boden on the Three Elements of Creativity
themarginalian.org·12h
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·3d
Loading...Loading more...