shoutout to the guy sitting in front of me on the plane who had an nft as his twitter profile picture in the year of our lord 2025

the rules for allowable identifiers in python feel so random. i just found out that "A₀" is not a valid identifier, but "Aₜ" is? so weird...

gave a talk on type theory today! i think it went pretty well. no one seemed to be obviously aware that i have no idea what i'm talking about

my body is a machine that turns jon sterling's blog posts into complete and utter confusion