11 on this site · 215 links
.plan-26-40: A whole new world (of wall-to-wall Tessera embeddings)4th Oct 2026
.plan-26-37: The humans aren't dead, the humans are ahead13th Sep 2026
Open MPhil/Part II student projects for 2026-20279th Sep 2026
Using Forester to turn Foundations of CS into interactive evergreen lectures16th Aug 2026
.plan-26-32: Finally a use for serverless and found the Forester for the trees9th Aug 2026
.plan-26-21: Pint of Science, OxCaml dissertations, and TESSERA 1.1 stirring24th May 2026
.plan-26-08: At AI summit, Shriram's PL opinions, Zarr hacking22nd Feb 2026Teaching at Cambridge3rd Jan 2025Foundations of Computer Science3rd Jan 2025New teaching page with my Computer Science courses3rd Sep 2024Teaching 1A Security and Software Engineering4th Apr 2024