Aviad Rubinstein
aviad-rubinstein.bsky.social
Algorithms for Toddlers (https://youtu.be/nnLOi3ia210) | Algorithms for Teenagers (https://tinyurl.com/2cnp39cf) | Algorithms for Grown Ups (http://dblp.org/pid/11/10308)
👤 Joined on 27 janvier 2025
253
Followers
87
Following
43
Total Posts
📜 Kullanıcı Geçmişi
- 27 Oca 2025, 14:39
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@aviad-rubinstein.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
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
Show Post
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-...
Show Post
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
Show Post
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.
Show PostI 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.
Show Post