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.