Reposted by Anuj Dawar अनुज दावर انُج داورClément Canonne @ccanonne.github.io · 29/09/2026A very important message from Omer Reingold to our TCS community, especially us (arg, already) senior researchers: "snap out of it." Please, digest, and share. theorydish.blog/2026/09/29/s... 47321
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 28/09/2026Proceedings of the Royal Society A is inviting applications for membership of its editorial board: royalsocietypublishing.org/rspa/pages/e... @royalsocietypublishing.orgroyalsocietypublishing.orgProceedings of the Royal Society A Editorial Board Applications | Proceedings A | The Royal SocietyProceedings of the Royal Society A Editorial Board Applications | Proceedings A | The Royal Society We welcome applications to join the Proceedings of the Royal Society A editorial board... 040
Reposted by Anuj Dawar अनुज दावर انُج داورRoyal Society Publishing @royalsocietypublishing.org · 21/09/2026Join the #ProcA Editorial Board. We seek enthusiastic and engaged Editorial Board Members who will perform a range of valuable tasks for the journal. To apply, please submit your application by 31 October 26. Find out more: royalsocietypublishing.org/rspa/pages/e... 012
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 21/09/2026I'm at Dagstuhl @dagstuhl.de. When we invited four speakers to give us tutorial talks at the seminar, we asked them to centre them around a major open problem in the field. That seems so 2025! www.dagstuhl.de/26391dagstuhl.deDagstuhl Seminar 26391: Finite Stability Theory 040
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 20/09/2026Some good points by @marcusdusautoy.bsky.social in this FT article, e.g. re consciousness. But what is AGI and why would it be more constrained? AI is a powerful but problematic new collaborator in mathematics - giftarticle.ft.com/giftarticle/... via @FTgiftarticle.ft.comAI is a powerful but problematic new collaborator in mathematicsWe are already witnessing the unintended consequences of algorithms realising goals with badly defined parameters and restrictions 010
Reposted by Anuj Dawar अनुज दावर انُج داورClément Canonne @ccanonne.github.io · 17/09/2026The Call for Papers for #STOC2027 is up! Importantly, the PC "will place substantial weight on the quality of exposition, and clarity of technical arguments and proofs" Also: - Public posting requirement - Required video submission and more. Deadline: ⏰ Nov 2, AoE acm-stoc.org/stoc2027/sto... 44014
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 17/09/2026Here is a graph of papers on arxiv in August. bsky.app/profile/saul... 040
Reposted by Anuj Dawar अनुज दावर انُج داورTerence Tao @teorth.bsky.social · 11/09/2026A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...mathandai.orgDeclaration — Math and AIRead the declaration and add your name. 422052929
Reposted by Anuj Dawar अनुज दावर انُج داورSchloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI) @dagstuhl.de · 10/09/2026It is time for possible Dagstuhl proposals again! Proposals can be submitted between October 15 and November 1, 2026. For links to guidelines, more details on the process, and important dates see www.dagstuhl.de/en/institute...dagstuhl.deCall for Proposals (Deadline November 1, 2026)Call for Proposals (Deadline November 1, 2026) 0108
Reposted by Anuj Dawar अनुज दावर انُج داورCambridge Computer Science @cst.cam.ac.uk · 09/09/2026'The promises & pitfalls of secret communication'. Our Head of Department @arberesford.bsky.social – architect of the @theguardian.com secure messaging system – discusses this in his Strachey Lecture at Oxford University @compscioxford.bsky.social on 27 October. www.eventbrite.com/e/strachey-l... 001
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 08/09/2026And now the announcement from OpenAI is out. openai.com/index/navier...openai.comOn the Navier–Stokes Millennium Prize ProblemWe’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean. 011
Reposted by Anuj Dawar अनुज दावर انُج داورPraṇay Manocha @pranman.com · 26/08/2026This is a good overview of the specific risk to the Himalayas and why it is like nowhere else on the planet.hir.harvard.eduThe Himalayan Climate Change: Global Warming in the Globe's Highest Region, with Dr. Pasang Sherpa"Care and humanity are going to be the most important things moving forward. That is what keeps me optimistic. Each of us will have to do our part." 083
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 18/08/2026Most of those who joined the media pile on of Jason Arday don't care two hoots about academic standards or integrity. That much is clear from the lack of fact-checking or rigour in so much of their commentary. 130
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 13/08/2026The stuff about Benjamin Zephaniah is just wild. I did not know that. www.theguardian.com/commentisfre...theguardian.comJason Arday is now the stick the right will use to beat back racial equality. Don’t let that happen | Afua HirschThe UK is far from equality in academia or society. You don’t need a Cambridge degree to see that Arday’s story is being used to stop any progress in its tracks, says journalist and academic Afua Hirs... 031
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/08/2026We got a reply from the vice-chancellor. #Arday www.cam.ac.uk/notices/news...cam.ac.ukStatement from the Vice-Chancellor 12 August 2026Statement from the Vice-Chancellor setting out the University's approach to an investigation into the circumstances surrounding the appointment of Jason Arday. 000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/08/2026A long post. Well worth reading in full. 000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 11/08/2026A craft passed on through countless generations from master to apprentice. A skill taking years and decades to acquire. Then someone comes along and builds a factory. The thread is broken. Skills are lost forever. 100
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/08/2026Listened to @priyamvadagopal.bsky.social on the Today programme this morning. A much clearer focus on the braoder issues that the Arday case raises than I heard in the long discussion yesterday. I don't agree with everything in it, but I'll put my name to the letter. 110
Reposted by Anuj Dawar अनुज दावर انُج داورThe Royal Society @royalsociety.org · 06/08/2026The Faraday Discovery Fellowships are now open for applications, long-term awards to support talented mid-career research leaders to undertake high-quality, original research. Find out more and register for our upcoming webinar: royalsociety.org/grants/faraday-dis… 557
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 04/08/2026@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. 030
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 23/07/2026It was really a very nice evening. 110
Reposted by Anuj Dawar अनुज दावर انُج داورFLoC 2026 @floc2026.bsky.social · 21/07/2026Fueling logic, one lunch break at a time. 🫒 Great energy at #FLoC2026 today! 011
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 17/07/2026I'm on my way to @floc2026.bsky.social 000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/07/2026On Friday, I got to sign the Charter Book of the Royal Society: royalsociety.org/blog/2019/07... 120
Reposted by Anuj Dawar अनुज दावर انُج داورMartin Kleppmann @martin.kleppmann.com · 01/07/2026Analysis of the physics and economics of datacenters in space spectrum.ieee.org/orbital-data...spectrum.ieee.orgThe Real Cost Of Cooling GPUs In Space Might Shock YouShedding heat will require ingenious new designs 33312
Reposted by Anuj Dawar अनुज दावर انُج داورCambridge University Library @theul.bsky.social · 23/06/2026We’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: loom.ly/K9_PH_M 032
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 23/06/2026I cycled past this on the way home yesterday. 000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 22/06/2026the Summer issue of the @eatcs.bsky.social Bulletin is now available! eatcs.org/images/bulle...eatcs.org 041
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/06/2026Really 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...corpus.cam.ac.ukProfessor 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... 010
Reposted by Anuj Dawar अनुज दावर انُج داورPaul Goldberg @paulwgoldberg.bsky.social · 11/06/20265-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...asc.ox.ac.ukPost-Doctoral Research Fellowships | All Souls College 088
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 09/06/2026Very happy to be hosting a talk today by Jacob Urisman in our Algorithms and Complexity seminar: talks.cam.ac.uk/talk/index/2...talks.cam.ac.uktalks.cam : Representation Theory of Graph IsomorphismTalks.cam - the University of Cambridge talks and seminars listing service 030
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 05/06/2026I 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! 030
Reposted by Anuj Dawar अनुज दावर انُج داورThe Royal Society @royalsociety.org · 04/06/2026Professor 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 royalsociety.org/people/anuj-dawar-… 1102
Reposted by Anuj Dawar अनुज दावर انُج داورNutan Limaye @nutanlimaye.bsky.social · 03/06/2026The 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. 021
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 03/06/2026I'll be speaking at WACT sites.google.com/view/wact202... this afternoon. 2pm CEST. You can watch live here: www.youtube.com/live/3WAvAu5...youtube.comAnuj Dawar - Symmetric Algebraic Circuits : An IntroductionAbstract: Polynomials commonly studied in the context of algebraic ... 020
Reposted by Anuj Dawar अनुज दावर انُج داورUniversity of Cambridge @cam.ac.uk · 27/05/2026Congratulations 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 👉 bit.ly/4ugUXMZ 063
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 27/05/2026Heartiest congratulations to Manindra! 000
Reposted by Anuj Dawar अनुज दावर انُج داورThe Royal Society @royalsociety.org · 27/05/2026We 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...royalsociety.orgExceptional scientists elected as Fellows of the Royal Society | Royal SocietyOver 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. 12310
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 21/05/2026The 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... 130
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 16/05/2026Great to read this LRB review of the book by @davidwoodman45.bsky.social 120
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 16/05/2026It's the last day of my fifties. 030
Reposted by Anuj Dawar अनुज दावर انُج داورUniversity of Cambridge @cam.ac.uk · 28/04/2026A very warm welcome back to all our students for Easter term! ☀️ What are you most looking forward to? 033
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 26/04/2026RIP, Raghu Rai. Grew up with his pictures. Recently saw a retrospective exhibition of them in Delhi. 000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 14/04/2026Remembering the day that Michael Rabin received an honorary doctorate from the University of Wroclaw. share.google/SziclflYDdKw...share.googleMichael Rabin's honorary PhD ceremony 020