sebastien
@sebastien.bsky.social
love topologically nontrivial buildings
May 22, 2023 at 1:07 PM
love topologically nontrivial buildings
proofs are a series of tubes
programs are proofs
the internet is programs
ergo
programs are proofs
the internet is programs
ergo
April 21, 2023 at 1:36 AM
proofs are a series of tubes
programs are proofs
the internet is programs
ergo
programs are proofs
the internet is programs
ergo
didn't expect to be nostalgic for this part but it feels nice to be memorizing axioms again
April 15, 2023 at 5:51 AM
didn't expect to be nostalgic for this part but it feels nice to be memorizing axioms again