Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Weeknotes #341 โ Just the three of us
andrewdoran.ukยท3d
Numeri
irreal.orgยท3d
The Next Computer Revolution Wonโt Be Programmed. Itโll Be Cultured in a Lab.
popularmechanics.comยท3d
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.orgยท4d
Beyond the Binary: The System of All-round Evaluation of Research and Its Practices in China
arxiv.orgยท2d
Symmetry Interactive Transformer with CNN Framework for Diagnosis of Alzheimer's Disease Using Structural MRI
arxiv.orgยท2d
Loading...Loading more...