tomgur.bsky.social
Professor of Computer Science at Cambridge.
👤 Joined on 13 November 2024
Followers
Following
Total Posts
@tomgur.bsky.socialCollaborator: For this to be efficient, we need to make m as small as possible Me: I think I see a way. Let me type it Me: "\mbox{\tiny\ensuremath{m}}"
Show PostIt is now just 1 week until Prof Alastair Beresford's @arberesford.bsky.social @cst.cam.ac.uk Strachey Lecture ‘Hiding in plain sight: the promises & pitfalls of secret communication’ Book: www.eventbrite.com/e/strachey-l... The Strachey Lectures are generously supported by OxFORD Asset Management.
Show PostI spent 40+ hours, and now I understand the mechanics of the proof of the L1 embedding conjecture by Open AI. I do not think I’ve internalized the proof yet, since I can’t explain how someone could have come up with it. Need more time to consolidate my understanding. minorfree.github.io/OpenAIDump/
Show PostU. Colorado Boulder Mathematics is hiring for two tenure-track faculty positions: 1 open area jobs.colorado.edu/jobs/JobDeta... due Nov 15 1 at the interface of AI + math jobs.colorado.edu/jobs/JobDeta... due Nov 11 Please help spread the word! #MathSky #AcademicSky
Show PostI'm honored and excited to announce that this paper was selected to receive a Best Paper Award at FOCS 2026! Thanks to my coauthors Matt, Daochen, and Rain for including me in this work, and to the FOCS PC for selecting this despite it having a simple proof.
Show Post