Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
IdleRPG at a LAN party
octet-stream.net·1d
'Scientists Just Created Spacetime Crystals Made of Knotted Light'
science.slashdot.org·3d
Why are single men so miserable?
vox.com·8h
Spring is here
aardvark.co.nz·1d
"Intonation units form low-frequency rhythms"
languagelog.ldc.upenn.edu·1d
Loading...Loading more...