Ryan Williams
rrwilliams.bsky.social
Ryan Williams
@rrwilliams.bsky.social
professor of EECS at MIT, currently visiting IAS. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
🥳🎉👀
October 25, 2025 at 3:42 AM
They are doing some construction on the blackboards in the usual classroom, this was the backup
September 24, 2025 at 12:50 AM
Nowadays, I think that slightly biasing your reading priority towards the top conferences/venues in your area makes sense. But I still believe that attempting to read every abstract in your area is good advice.
August 25, 2025 at 5:41 PM
Is it Bobby Fischer Teaches Chess?
en.m.wikipedia.org/wiki/Bobby_F...
As a kid, I thought that was such a fun book.
Bobby Fischer Teaches Chess - Wikipedia
en.m.wikipedia.org
August 17, 2025 at 12:25 AM
Reposted by Ryan Williams
💡 For students, the yearly IEEE (or ACM) membership costs less than USD 20. And leads to a #FOCS2025 registration fee reduced by USD 80...
August 8, 2025 at 12:43 AM
There is session 9C... But yeah not a lot of papers
June 26, 2025 at 12:18 PM
Yeah GP and I were arguing over this 😂 Eventually he believed my side, and proved it true by induction. We wanted to check what ChatGPT thought...
May 4, 2025 at 4:23 PM
If you take a photo of your whiteboard with the camscanner app, it will also do this
April 11, 2025 at 12:08 AM
Cool. Just taught Rice's theorem yesterday!
April 2, 2025 at 12:31 PM