AI generated video Demo

Shown during the "Vibe Programming" lecture on October 20, 2026 by Ben Knill: As usual when doing computer assisted work, several iterations could be needed. Here is an earlier version in which the sound was different.