Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Mathematicians create a tetrahedron that always lands on the same side
newscientist.com·1d
Trying out the ice4pi from Lightside Instruments
mikecoats.com·1d
How to Make Claude Code Use Other Models
pixelstech.net·2d
Counting Digits Quickly
jcarroll.com.au·14h
Traitors to the Earth: Fascism, Christian Nationalism, and the Tech Elite
organizingmythoughts.org·8h
Masochism: a bad rap from inception
languagelog.ldc.upenn.edu·16h
Loading...Loading more...