Programming in English is okay because "then" and "else" have the same length.
Schlagwort: Programmieren
Yolo.Namespace.
I learned about DOM clobbering today. What the hell. Browsers were a mistake.
Prove it or lose it.
I get the idea of code owners now because suddenly I want to have Lemma and Theorem owners in collaborative writing and proving.
⟨σ,o⟩.
Dependent pairs are owls.
Free wrong answers.
Good software has always been about deciding what not to build. Cost was one of the mechanisms that enforced those decisions — not always the right one, but on balance it created discipline.
Now that it’s gone, the discipline has to come from taste, from product thinking, from someone asking the uncomfortable question: do we actually need this? The problem is that “we can build it basically for free” is a very persuasive answer. Even when it’s the wrong one.
Jan-Gregor Triebel: Cheap Code Considered Harmful (2026-03-03)