--:--
LOADING...
--° -- --

Notes

Longer write-ups on things I've been reading or thinking about.

Other notes

Older lecture notes and short write-ups hosted elsewhere (PDFs, HackMD, ...).