Anuj Dawar अनुज दावर انُج داور
@anujdawar.bsky.social
110 followers 120 following 89 posts
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
Posts Media Videos Starter Packs
anujdawar.bsky.social
Last time I was there, Hagia Sophia was a museum. Even that's changed now.
Reposted by Anuj Dawar अनुज दावर انُج داور
robinsoncollege.bsky.social
Assisted Memories: Have Your cake and Eat It

Using a simple model for defective memories, Professor Lapidoth will demonstrate some of Shannon’s key theorems on Data Compression & Channel Coding, at the heart of Information Theory

Tues 28 Oct 6pm Robinson College

shorturl.at/Xe3c6
@eng.cam.ac.uk
Professor Amos Lapidoth
Reposted by Anuj Dawar अनुज दावर انُج داور
tomgur.bsky.social
Cambridge is recruiting Assistant/Associate Professors in Theoretical Computer Science. #TCS #AcademicJobs

Application deadline: 15 December 2025. Contact me for informal inquiries. See more details and apply here:
www.cst.cam.ac.uk/assistantass...
anujdawar.bsky.social
If you want metric, why are you counting feet? You mean 0.3048 metres.
anujdawar.bsky.social
Niklaus Wirth (of Pascal fame) reportedly once said that Americans pronounced his name "nickle's worth". So, while Europeans called him by name, Americans called him by value.
anujdawar.bsky.social
I used to do that. Until one day I carried a very heavy load on one shoulder and ended up with a really painful trapped nerve in my neck. Now I always use both straps.
Reposted by Anuj Dawar अनुज दावर انُج داور
szymanikjakub.bsky.social
Be part of a vibrant academic tradition! 🌍 FoLLI is seeking hosts for #ESSLLI2027, the European Summer School in Logic, Language, and Information
@ESSLLI_official

Bring 300+ students & researchers to your institution. Preliminary proposals by Nov 15! jakubszymanik.com/call-for-pro...
anujdawar.bsky.social
I like the thought. The word certainly has a lovely undulating sound to it. But it seems unlikely (with my pedant's hat on). Undulate comes from the Latin diminutive of wave (unda). I don't think the -la- in Sanskrit has that diminutive sense.
anujdawar.bsky.social
I'm sure the account attributing this to the Bactrians was the standard story when I looked at the collection in the National Museum in Delhi twenty-odd years ago. When did it change?
anujdawar.bsky.social
One thing I learned was that the Hellenic-style Gandhara Buddhas are not the result of skills preserved by Bactrian Greeks but the product of active trade between the Roman and Kushan empires.
anujdawar.bsky.social
Over the summer holidays I had the chance to read William Dalrymple's The Golden Road which has been sitting on my to-read pile for too long. A thoroughly enjoyable read, like all of @willdalrymple.bsky.social's books. I highly recommend it. I do have a question, though.
anujdawar.bsky.social
The one in Syracuse? One of my favourite buildings.
anujdawar.bsky.social
Ah! Well done.
scroll.in
Scroll @scroll.in · Aug 25
A bench of Justices Surya Kant and Joymala Bagchi also quashed all the proceedings in a second FIR against #AliKhanMahmudabad. The court said that no charges should be framed against him.

Read more: scroll.in/latest/10858...

#ashokauniversity #OperationSindoor
anujdawar.bsky.social
More interestingly, I looked in the preface for a name for this style and he calls it "programmed instruction". It was a big thing in the 70s. Google it and you'll find other textbooks from the time like this, on lots of topics.
anujdawar.bsky.social
Now I can give you a more complete reply, @neeldhara.bsky.social. The chess book I was thinking of is Chess: The Complete Self-Tutor by Edward Lasker. Here is a sample of the interactive style.
A page from Edward Lasker's chess book.
anujdawar.bsky.social
#PressFreedom
scroll.in
Scroll @scroll.in · Aug 18
Ankur Jain, the joint commissioner of police in Guwahati, told Scroll that the summons was issued as the Supreme Court order had come on a case filed in “some other district”.

Read more: scroll.in/latest/10856...
anujdawar.bsky.social
This is new work with my PhD student Aidan Evans. We obtain an algebraic characterization of the complexity NC1 using typed monoids. The proof is based on arity reduction of quantifiers for regular languages.