We don't need AI for this, this is a solved problem! www.universalrejection.org

Show Post

Joy (Qiping) Yang just successfully (and brilliantly) defended his PhD on "Testing in High Dimensions." 🎓 He will go on to start a postdoc at NUS in October! I couldn't be prouder (and more impressed). Congratulations, Dr. Yang! nerd-qp.github.io

Show Post

Presumably the Australian one involves everyone taking a selfie with a koala individually (cf. the 2014 G20 summit) followed by everyone hopping around like a kangaroo in unison.

Show Post

I'm not saying I disagree. I am saying that the argument for using these tools *is* "helping to check correctness," and that the people providing access to these tools claim they do. This was, for instance, the statement for the "Pre submission STOC 2026 Experiment." acm-stoc.org/stoc2026/sto...

Show Post

(this program, by the way, was definitely far from free for Google, but great PR for them, and the TCS community obliged.) research.google/blog/gemini-...

Show Post