Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
The Brothers Karamazov (Fyodor Dostoevsky, 1880)
michal.sapka.pl·1d
Scientists Built a New Lifeform With Just 57 Genetic Instructions
popularmechanics.com·7h
Anthropological Summer
dothemath.ucsd.edu·1d
You’re loading fonts wrong (and it’s crippling your performance) - Jono Alderson
jonoalderson.com·14h
REFRAG: Rethinking RAG based Decoding
arxiv.org·16h
Disentangling Slow and Fast Temporal Dynamics in Degradation Inference with Hierarchical Differential Models
arxiv.org·16h
Loading...Loading more...