Computability and the Euler flow 2025-07-02 14:30: Contact geometry 101 (Adrian Dawid)