A New Bridge Links the Strange Math of Infinity to Computer Science
๐Mathematical Art
Flag this post
Pitch Multiplication (2017)
๐ผAudio Lambda Calculus
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgยท2d
๐Combinatory Logic
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netยท7h
๐Brotli Internals
Flag this post
Student projects in complex function theory โ The Prime Number Theorem and Riemannโs paper
noncommutativeanalysis.wordpress.comยท22h
โ๏ธLean Theorem
Flag this post
Footnotes to a long month: Books of the year?
logicmatters.netยท10h
โญAwesome lists
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท10h
ฮปLambda Encodings
Flag this post
Build your own cursor
โกProof Automation
Flag this post
The Machine Learning Roadmap
๐ตAudio ML
Flag this post
Set theory with types
๐คType Theory
Flag this post
Here's Why I Think Salesforce Is One Of The Better AI Investments
seekingalpha.comยท21h
๐BitFunnel
Flag this post
Pretty Charts Are Lying to You
hackernoon.comยท13h
โ๏ธProof Engineering
Flag this post
locally presentable (infinity,n)-category
ncatlab.orgยท5d
๐Category Theory
Flag this post
A game strategy that depends on the Continuum Hypothesis
thehighergeometer.wordpress.comยท4d
๐ฒCellular Automata
Flag this post
Notes for November 17-22
taoofmac.comยท9h
๐Brotli Internals
Flag this post
Loading...Loading more...