booleananalysis.bsky.social
👤 Joined on 07 August 2024
Followers
Following
Total Posts
@booleananalysis.bsky.socialMany people with relevant expertise think there's a real chance that AI could kill us all in the not too distant future. Others disagree. I've written a post, aimed principally at mathematicians, detailing my struggles to decide what to make of this. gowers.wordpress.com/2026/10/16/h...
Show PostI'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 PostThe submission server for #STOC2027 is open! stoc27.hotcrp.com Submission instructions and Call for Paper: acm-stoc.org/stoc2027/sto...
Show PostI legit think 868-BACK is GOTY as much as I’ve enjoyed some other games this year. Crazy amounts of strategic depth and so many interesting interactions among the various devs and progs.
Show Postselectbutton.net/t/868-back/1...
Show Post