April 2026 Archiv

Prove it or lose it.

  • 2026-04-17

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.

  • 2026-04-16

ASML Looters

very expensive computers

Kai Lentit: I am monitoring the situation.

⟨σ,o⟩.

  • 2026-04-15

Dependent pairs are owls.