Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Oct 08 2025 : Vape Mic: Build a DIY microphone out of a disposable vape
nycresistor.com·3h
The Joy of Ex-Lib Books
jamierubin.net·2d
Many years on the job and I still don't get it.
daverupert.com·8h
No, AI isn’t going to kill us all, despite what this new book says
newscientist.com·3d
Loading...Loading more...