Last slide at #SQuInT2026: Save the dates for #SQuInT2028, February 24–26, in Albuquerque.

Show Post

Big step closer to identifying conscious perception in the brain, by Doris Tsao and collaborators. 15 times a second your neurons flicker between conscious and unconscious activity. Consciousness is found in time, not in space. www.biorxiv.org/content/10.6...

Show Post

Can you (or your agents) improve the super-quadratic separation between block sensitivity and sensitivity from the current bound of 2.05? The optimal exponent is between 2 and 4. My guess is 2.5 is achievable. Submit your lean-verified solutions here: prove2.me/campaigns/bl...

Show Post

Finally, a good use case for an LLM: sort brute force search phrases by likelihood, in order to finally lay to rest one stupid conspiracy theory. I think @filippo had something on this? https://www.anthropic.com/research/ecdsa-curve-origins

Show Post

I'm honored and excited to announce that this paper was selected to receive a Best Paper Award at FOCS 2026! Thanks to my coauthors Matt, Daochen, and Rain for including me in this work, and to the FOCS PC for selecting this despite it having a simple proof.

Show Post