Programming in English is okay because "then" and "else" have the same length.
Rage Years.
We're an elite task force of revolutionary musicians determined to confront this mountain of election year bullshit, and confront it head-on with Marshall stacks blazing.
AiML 2026, done.
Apparently I'm an editor now.
Basics first.
I wish we could magically sort all conference talks (within the same session and topic) by the amount of introduction and basics the speaker will explain in this talk.
Proof by giving up.
For example, have you ever heard a category theorist say "Oh, I wanna prove that this diagram commutes. Let's suppose it doesn't."
Andrej Bauer: Five Stages of Accepting Constructive Mathematics (2016-08-16)