i like topology, tea and type theory
i've been using fedi for a long time. ask me questions!
You've got to understand how much the politicians are into AI. They have so much in common. They're both dangerously full of shit and they aim to marginalise people who notice.
i have never gitted a pod
oops i need category theory
im done trying to get this mathlib commit to build on my laptop with 16gb of rami'll just let it build on a GH runner instead
algebra
how did the last i happen
i need to learn how to read mathematical frenchi
i should just unsubscribe from the haskell café mailing list, i literally just throw all of the emails into the bin
i love informative university websites
one of these days imma write a cubical type checker for lean just you waitand then nobody can tell me to use agda
me recently
to tired to keep filling proof holesbed time
ok time to try to formalize the sheaf of relative kähler differentials in
oh shit why did nobody ever tell me the □ modality can be used to represent local properties in the internal language of a sheaf topos that's poggers
lets see if i can learn topos theory in one day
wayland stop putting all of your protocol extensions in xdg-desktop-portal challenge
zulip compile without modifying my ~/.npmrc challenge
~/.npmrc
pounce's new term for algebraic geometry: "sheaf math"*
*also applies to: algebraic topology, differential geometry, category theory.....
dang now im wishing i were doing sheaf math in cubical agda instead of lean
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.