jordy [∈∋_∈∋] d @jordyd@octodon.social

1. [_] The real numbers -- pending other engagements
2. [x] Classical logic, LEM
3. [~] Set theory -- turned out to be a case of mistaken identity, see (2)
4. [x] John Major -- apparently some British politician? Defeated in any case
5. [~] Cubical type theory -- another case of mistaken identity, see (6), (7)
6. [_] The univalence principle
7. [_] Category theory

When you think about it, everything is either a frog or some other thing

Bird: (sits on powerline)
Me: Impossible.

Ey. Paisan

1: "We need another word for 'function'"
2: "Idk, just like, fuck it up or whatever"

Where do these names come from even

Functor

At least when space scientists get it wrong it's like "there's no noticeable change, we just classified it as not a planet and now everyone's upset"

Every day bone scientists are finding out new things about dinosaurs and it's like "ah shit, everything I learned about these fellas is wrong now"

Idk how to do those timed posts. I wish to time a post which says "happy 9/11" on 9/11. So when 9/11 rolls around, just pretend I made that post, since I will surely forget

In math a "functional" is just a higher order function

It also took me forever to realize that "functional programming" and the "functionals" of math were related, so take this with a grain of salt