Beiträge des Autors
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.
Another tick on the clock.
ASML Looters
very expensive computers
⟨σ,o⟩.
Dependent pairs are owls.
Changestalgia.
The bigger changes we had or made in life, the more chances we have to be nostalgic later.