Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
The Champions League gets a hipster makeover
theguardian.com·10h
Dissecting My Recent Argument (Are Error Theories Offensive?)
nakedcapitalism.com·2d
Fox pairing
ncatlab.org·4d
MobileDenseAttn:A Dual-Stream Architecture for Accurate and Interpretable Brain Tumor Detection
arxiv.org·21h
Loading...Loading more...