Come here I'm a normal decidable tractable model of computation

as far as i know in excel the easiest way to express the idea "do this procedure 3 times" involves Y combinator type shenanigans. this is even funnier than powerquery being an uncompromising ML

the greatest functional programmer in the world is some unknown spreadsheet jockey who thinks entirely in the lambda calculus. though they will be supplanted by some kid given mentat powers by a childhood of designing fortnite minigames in verse while chugging energy drinks

Clifford is so full of surprises. Not only is he red, he also invented all those algebras

“Mathematicians and other children often play the following game: We take turns naming numbers, and see who can name the largest one. This is a game in the psychological rather than in the formal sense, since I might always just add one to your number, but my goal is to try to completely demolish your ego by transcending your number via some completely new principle.” - Kenneth Kunen, “Handbook of Mathematical Logic” (p. 396).

syntax is when you enjoy the music and semantics is when you understand the lyrics

all of my mathematical ability vanishes when a contravariant functor appears

to find a counterexample you have to think like a counterexample

i love saying that "galois acts on this space" etc, as though my bestie evariste is personally showing up and throwing stuff around

zere are abelian groups???? zats so many groups

it's crazy how much the field of computing has been able to do with just semiconductors. imagine what would happen if they managed to get full conductors working. twice as much!

to find a counterexample you have to think like a counterexample

bus is my friend. shes no train but shes trying her hardest in a world that hates her