Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Fooling You, Fooling Me
cacm.acm.org·22h
America’s Problems Aren’t That Complicated
rollingstone.com·4h
AI is not another abstraction because god plays dice
rakhim.exotext.com·1d
Is the LLM response wrong, or have you just failed to iterate it?
simonwillison.net·1d
TryQuiet/quiet
github.com·1d
How to find a cryptic animal: Recording the elusive beaked whale in the Foz do Amazonas Basin
phys.org·2h
Loading...Loading more...