Prooftiful.

"The truly correct proof is one that strikes a harmonious balance between strength and flexibility. There are plenty of proofs that are technically correct but are messy and inelegant or counterintuitive. But it's not something you can put into words—explaining why a formula is beautiful is like trying to explain why the stars are beautiful."

Yōko Ogawa: The housekeeper and the professor

Maldekstra II.

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.

Tom Morello upon founding of the Prophets of Rage (2016)

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.