Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Skinny jeans are showing signs of a comeback. Please make it stop | Dave Schilling
theguardian.com·18h
Lakeshore shallows can be biodiversity hotspots—but warming is changing their complex ecology
phys.org·1d
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·5d
Box CEO Aaron Levie on AI’s ‘era of context’
techcrunch.com·2d
A New Formula for Pi Is Here. And It’s Pushing Scientific Boundaries.
popularmechanics.com·4d
Loading...Loading more...