Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Rules for Python | Cursor Directory
cursor.directory·20h
Memories of AOL
theworksofegan.net·2h
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·5d
Playstyle and Artificial Intelligence: An Initial Blueprint Through the Lens of Video Games
arxiv.org·1d
First Place Solution to the MLCAS 2025 GWFSS Challenge: The Devil is in the Detail and Minority
arxiv.org·2d
PAUL: Uncertainty-Guided Partition and Augmentation for Robust Cross-View Geo-Localization under Noisy Correspondence
arxiv.org·20h
Loading...Loading more...