Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
The capitalism of fools
doctorow.medium.com¡8h
Memories of AOL
theworksofegan.net¡5h
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net¡5d
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com¡4d
Better Language Model-Based Judging Reward Modeling through Scaling Comprehension Boundaries
arxiv.org¡2d
The Mind's Eye: A Multi-Faceted Reward Framework for Guiding Visual Metaphor Generation
arxiv.org¡1d
A biological vision inspired framework for machine perception of abutting grating illusory contours
arxiv.org¡2d
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org¡2d
Loading...Loading more...