Ryan O'Donnell

booleananalysis.bsky.social

29 outubro 2026 18:54

I lectured on the "ETH false" (#3SAT in subexponential time) result in my grad complexity class at CMU today. Didn't have time in 80 mins to do the full proof, but I hope I got across the main plan, and some of the basic TCS ingredients going into it. youtu.be/_HlQGMcQWhA

Waterloo's David R. Cheriton School of Computer Science

uwcheritoncs.bsky.social

28 outubro 2026 22:24

Janani Sundaresan has been awarded Waterloo’s 2026 Alumni Gold Medal in recognition of exceptional academic achievements during her doctoral studies. Janani is currently a Faculty Fellow at NYU Courant Institute School of Mathematics, Computing, and Data Science. cs.uwaterloo.ca/news/janani-...

Ryan Williams

rrwilliams.bsky.social

27 outubro 2026 21:57

You can solve the instances of OV generated from the k-SAT to OV reduction in nearly linear time. But full OVH remains open to my knowledge

Retraction Watch

retractionwatch.com

27 outubro 2026 21:56

The Game Theory Society is severing ties with one of its official journals. The move comes two months after the journal’s editors resigned because Elsevier failed to renew the contract for the journal’s editor-in-chief.

Ryan O'Donnell

booleananalysis.bsky.social

27 outubro 2026 21:56

I know everybody's using their favorite LLM to make 'simplified' versions of the ETH result, but I guess I'm doing it too. I'm keeping my latest versions here www.cs.cmu.edu/~odonnell/so... in case anyone is interested. The current presentation is very Permanent-centric.