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)
Suffe regeltjes.
Het belang van logica zit in wat ze mogelijk maakt. [...] rechts gaat voor, stoppen bij rood. Uiteindelijk gaat het niet om die suffe regeltjes - het gaat om de mooie ritten die je kunt maken wanneer je je aan die regels houdt.
Barteld Kooi
107.
Funny when a building number and a page number coincide.