Universities: where minds open just wide enough to fit the mould…and start spawning spores.

Geometry

Some notes from my exam presentation and selected exercises from Algebraic Geometry II at UZH.

Presentation notes and an interactive animation from the Coarse Geometry seminar at UZH.

Presentation notes and slides from the Knots, Braids, and Quantum Symmetries seminar at UZH.

Notes and slides for my exam presentation and selected exercises from Spin Geometry at UZH.

Entropic OT

I've done a project on how to apply entropic OT to studying the style shift detection problem.

Category Theory

∞-topos? Thanks, I’ve got enough unresolved morphisms in my life already.

Here are my assignments for the Applied Category Theory course at ETH Zürich.

Optimisation

I'm permanently stuck in the local minimum.

Here are some assignments I've completed for Advanced Graph Algorithms and Optimization and Algorithmic Foundations of Data Science.

Complex Networks

I joined one. Still waiting for my degree to go up.

Here are some assignments for the Complex Networks course at the University of Zurich.
‍Here is the code (plus a mini-project). Here's the project called Holonomy-aware EOT on supra-graphs.

Quantum Physics

I finally ran out of bad puns.

Here's an exam presentation and some exercises from Quantum Sensing & Metrology (ETH-Z), another presentation and exercises (with code) for Quantum Simulation of Photonics & for Photonics (ETH-Z), plus a poster and selected exercises for Bosonic Quantum Information Processing (ETH-Z).

Here's a paper presentation and the final project presentation for Quantum Machine Learning at UZH.

Physics

No puns here either.

Here are some exercises from Supplements to Physics II at UZH.

Here's my presentation on exoplanets from the Proseminar in Experimental Physics at UZH.

Here's my project presentation from Computational Statistical Physics at ETH-Z.

Here's my part of the presentation from the Paul Scherrer Institute Master School "Introducing photons, neutrons and muons for condensed matter physics and materials science".

Here's a presentation from Harmonic Chemistry at UZH.

Astrophysics

Gravity for amateurs.

I'm too lazy and don't have the two presentations yet. I'm waiting for the deadlines to force me to do them.

Astrobiology

Yes, I'm really serious about leaving Earth.

Here's my course presentation for the Astrobiology Proseminar at UZH.

Formal Proofs

Lean: turning “trivial” into a three-act tragedy.

I did not sign up for this... Here are my Lean assignments and the project (with an accompanying paper) for the Formalizing Analysis of Algorithms course at ETH Zurich.

SAT solving

Where NP-hard problems meet industrial-strength guesswork.

‍Here's MaphSAT: a jointly-programmed SAT solver. Here's an earlier version with cactus plots. A wonderful course.

Systems

Programming in C: come for the pointers, stay for the buffer overflows.

‍Here's an implementation of Reversi in C, completed during an extensive practical course on systems programming. The implementation included handling signals, shared memory, pipes, preventing memory leaks, etc.

Algorithms

Where everything works fine until n>10.

‍Here's a fascinating SAT-encoding problem I've once solved as part of a joint project.

‍Here's a paper (including a presentation and exercises) from a BSc seminar on cake-cutting protocols.

Here's a presentation from my favourite course at ETH Zürich, Models of Computation. I'm not allowed to include them here but the weekly challenges were wonderful.

Here are some assignments from the course Advanced Algorithms at ETH Zürich.

Discrete Geometry

Why just draw shapes if you can overthink them into oblivion?

Here's my short report on plane tilings from the Geometry: Combinatorics and Algorithms course at ETH Zürich. Here's a presentation on the same topic.

Here's my presentation on Simplicits, which was a partial requirement for the Digital Humans seminar.

TDA

Wasserstein distance: the art of paying extra to move dirt in the fanciest possible way.

Here's my report from a research course on TDA. Here's the code and my part of the presentation. The project involved graph embeddings in six dimensions, convex sets, MDS, SQLSP, and a bunch of other pompous abbreviations now blissfully banished from my memory.

Machine Learning

Just glorified curve fitting, except now we do it with GPUs.

ML was my minor at ETH Zürich. Felt like beating Jumanji, modulo the rampaging hippos.

Here are my assignments for the Large-Scale AI Engineering course at ETH Zürich. I spent more time trying to connect to the GPUs than actually working on the problems. This still haunts me at night.

Here are my essays, assignments, and a presentation for the AI in Education course at ETH Zürich.

Here are projects 1 and 2 from the Introduction to ML course, and projects 1 and 2 from the Advanced ML course.

Neural ODEs / PINNs

Because turning backprop into a differential equation somehow feels more pretentious.

‍Here's a poster I once did as part of a research course. I was responsible for the optimal transport section. Here's the final project and the report for the amazing course Artificial Intelligence in Sciences and Engineering (PINNs and computational PDEs) at ETH Zürich.

NLP

Tossing linguistics for layers and data and proving you can master language without understanding it.

Here are my assignments for the Computational Semantics for NLP course at ETH Zurich.

Here's a brief report from my MSc practical project. A painfully uninspiring exercise in LLM fine-tuning.

Here's a joint report for the Computational Intelligence Lab at ETH Zürich. This was just a partial requirement, the course also ended with an exam.

‍Here are all my presentations from the Philosophy of Language and Computation I/II courses. They also required some essays, but those were rip-offs from my previous papers.

Linguistics

Where you spend decades debating the meaning of meaning and still can’t agree on it.

Here are my Cambridge essays and a presentation on the syntax of idioms.

Here are my two BA theses: one on formal semantics, the other on pragmatics.

Philosophy

Let’s debate whether numbers exist instead of actually doing anything useful with them.

Here are my essays for the Sampler of Histories and Philosophies of Mathematics course. They also required weekly readings of way too many pages and writing several comments of the texts.

Here's my essay for the Philosophy of Physics: Complex Systems course, submitted with 32 seconds to spare until the deadline.

Other

A cesspool of wildly disparate assignments.

I’ve found myself on the eternal scavenger hunt for credit points, so I had to complete the following short courses, while watching F1 in the background:
‍Technology Investing, Technology and Entrepreneurship, Patenting Digital Innovations. Those courses also included a mandatory presentation.

Here is one project from the Formal Methods and Verification course.

Over the years, I’ve completed other assignments spanning hundreds of pages, but I’ve shredded those — probably for the best.

Mark Twain was right: never let your schooling interfere with your education. Below is a carefully curated list of things I've survived. TODO.

Coursework: the fine art of turning curiosity into compliance.