@garymarcus.bsky.social makes some very good points here. But I'm not convinced by the one about synthetic data. Generating maths exercise sheets is one thing. Research papers quite another.

@myvardi.bsky.social · 23h ago

OpenAI’s Amazing–but Vastly Oversold–New Model Astra cacm.acm.org/blogcacm/ope...

Yay!

Cambridge Independent @cambridgeindy.bsky.social · 2d ago

It's fixed! After five weeks, the sinkhole repairs are complete in Milton Road in #Cambridge and the section of road that was closed has reopened www.cambridgeindependent.co.uk/news/section...

It was really a very nice evening.

FLoC 2026@floc2026.bsky.social · 2w ago

An unforgettable #FLoC2026 Week 1 banquet at the iconic Praça de Touros do Campo Pequeno! Guests enjoyed a beautiful Fado performance, a taste of Portugal’s musical tradition. The evening also celebrated the winners of the ICLP and SAT awards. Congratulations again to them!

Fueling logic, one lunch break at a time. 🫒 Great energy at #FLoC2026 today!

I'm on my way to @floc2026.bsky.social

On Friday, I got to sign the Charter Book of the Royal Society: royalsociety.org/blog/2019/07...

Analysis of the physics and economics of datacenters in space spectrum.ieee.org/orbital-data...

The Real Cost Of Cooling GPUs In Space Might Shock You

Shedding heat will require ingenious new designs

spectrum.ieee.org

We’re hiring: Liaison Librarian (CST/CEB) The Liaison Librarian will deliver library services across Cambridge West, with particular responsibility for Computer Science and Technology (CST) and Chemical Engineering and Biotechnology (CEB) Apply before Sunday 5 July: https://loom.ly/K9_PH_M

I cycled past this on the way home yesterday.

Cambridge Independent @cambridgeindy.bsky.social · last mo.

In pictures: Sinkhole opens up in Milton Road, #Cambridge www.cambridgeindependent.co.uk/news/in-pict...

the Summer issue of the @eatcs.bsky.social Bulletin is now available! eatcs.org/images/bulle...

Really saddened to hear of the passing of Paul Hewett. He was a kind and gentle man. He'll be much missed. www.corpus.cam.ac.uk/articles/pro...

Professor Paul Hewett (1956 -2026)

Members of the College will be greatly saddened to learn of the death on Thursday 4 June, of Paul Hewett, Life Fellow (m.1984), aged 69. After completing his doctorate at the University of Edinburgh i...

corpus.cam.ac.uk

5-year postdoctoral research fellowship in theoretical Computer Science (also 4 other research fields), a nice opportunity! Needs PhD to be awarded between 1/Aug/24 and 1/Oct/27. Please share with whoever may be suitable! www.asc.ox.ac.uk/post-doctora...

Very happy to be hosting a talk today by Jacob Urisman in our Algorithms and Complexity seminar: talks.cam.ac.uk/talk/index/2...

I missed the final session as I had to head back home. But WACT was absolutely brilliant. I thoroughly enjoyed it and learned so much. Thank you for running it!

Nutan Limaye@nutanlimaye.bsky.social · 2mo ago

We are ending with a lovely talk by Tuukka Korhonen who is telling us about lower bounds on tropical circuits, circuits that work over the (max, +) semiring.

Professor Anuj Dawar FRS is elected a Fellow of the Royal Society. He is a theoretical computer scientist who has developed fundamental new methods, rooted in mathematical logic, for the study of computational complexity. #RSFellows https://royalsociety.org/people/anuj-dawar-36313/

The afternoon session on day 2 started with an introduction to symmetric circuits and lower bound techniques for these by Anuj Dawar. The symmetric model is one of the rare models that distinguishes the non-identical twins Det and Perm.

I'll be speaking at WACT sites.google.com/view/wact202... this afternoon. 2pm CEST. You can watch live here: www.youtube.com/live/3WAvAu5...

Anuj Dawar - Symmetric Algebraic Circuits : An Introduction

Abstract: Polynomials commonly studied in the context of algebraic ...

youtube.com

Delighted to be here!

Nutan Limaye@nutanlimaye.bsky.social · 2mo ago

WACT 2026 in Copenhagen from Jun 2 to Jun 5 (started today!). Webpage: sites.google.com/view/wact202... YouTube channel: www.youtube.com/@WACT2026/pl...

Congratulations to our 7 researchers announced today who have been elected to the @royalsociety.org 2026 Fellowship! 🎉 Meet the Cambridge Fellows, recognised for their exceptional contributions to their respective fields 👉 https://bit.ly/4ugUXMZ

Heartiest congratulations to Manindra!

The Royal Society@royalsociety.org · 2mo ago

Professor Manindra Agrawal FRS is elected a Fellow of the Royal Society. He is a computer scientist, known for his contributions in Complexity Theory and Cryptography, and for the development of the AKS Primality Test. #RSFellows https://royalsociety.org/people/manindra-agrawal-38110/

We are very happy to announce the 90 outstanding researchers from across the world who have been elected to the Fellowship of the Royal Society this year, in fields from astronomy and cancer research to mathematics and biotechnology. #RSFellows royalsociety.org/news/2026/05...

Exceptional scientists elected as Fellows of the Royal Society | Royal Society

Over 90 outstanding researchers from across the world have this year been elected to the Fellowship of the Royal Society, the UK’s national academy of sciences.

royalsociety.org

The AI refutation of the unit distance conjecture is impressive. We need to reasses what it is we do and what the new tools can do for us. Many mathematicians are doing that. Much to think about. Here are some thoughts specifically on the role of open problems in our field. bsky.app/profile/wtgo...

Timothy Gowers@wtgowers.bsky.social · 3mo ago

OpenAI's claim that this is a central conjecture in discrete geometry is not an exaggeration. This will I think be looked back on as the first time that AI solved a major mathematics problem (defined as a problem that all experts in some subfield had thought about). openai.com/index/model-...

Look what the kids made me.

Great to read this LRB review of the book by @davidwoodman45.bsky.social

London Review of Books@lrb.co.uk · 3mo ago

‘The princely burials and great halls that appear in the archaeological record from around 600 mark the elevation of a small number of leading families to the status of regional kings. These kingships varied in scale.’ Nicholas Higham on England’s early kings. www.lrb.co.uk/the-paper/v4...

It's the last day of my fifties.

A very warm welcome back to all our students for Easter term! ☀️ What are you most looking forward to?

RIP, Raghu Rai. Grew up with his pictures. Recently saw a retrospective exhibition of them in Delhi.

Scroll@scroll.in · 3mo ago

Great artists always leave you with something more in their work, where curiosity doesn’t die. #RaghuRai’s art is a testament of what we have lost, but will never lose. scroll.in/article/1092... Manash Firaq Bhattacharjee writes

This paper will be at LICS.

Anuj Dawar अनुज दावर انُج داور@anujdawar.bsky.social · 5mo ago

Our new paper (by my postdoc Nihil Shah and myself) just landed on arXiv. About propositional satisfiability in a quantum world. A short thread explaining what this is about. arxiv.org/abs/2602.24164

Remembering the day that Michael Rabin received an honorary doctorate from the University of Wroclaw. share.google/SziclflYDdKw...

Sad to hear. RIP.

Taylor Smith@taylorjsmith.bsky.social · 4mo ago

Sadly, it appears Michael Rabin passed away on April 14. Among other achievements, Rabin received the Turing Award with Dana Scott in 1976 for their paper "Finite Automata and Their Decision Problems", a highly influential work in automata theory. www.haaretz-evel.co.il/%D7%9E%D7%99...