sebastien @sebastien.bsky.social · 21/04/2023proofs are a series of tubes programs are proofs the internet is programs ergo 010
sebastien @sebastien.bsky.social · 15/04/2023didn't expect to be nostalgic for this part but it feels nice to be memorizing axioms again 100
