Greg Bodwin @gbodwin.bsky.social · 23/09/2026OpenAI be like, source: it was revealed to me in a DRM 040
Reposted by Greg BodwinClément Canonne @ccanonne.github.io · 08/09/2026Well, this Navier-Stokes affair did blow up in finite time 843762
Reposted by Greg Bodwinsingular locus sarah @scgriffith.bsky.social · 30/08/2026i haven't seen it mentioned since i started posting here so i'm reupping "the ideal mathematician" by david and hersh personalpages.manchester.ac.uk/staff/hung.b... 0183
Reposted by Greg BodwinGautam Kamath @gautamkamath.com · 05/07/2026When someone absolutely demands a combinatorial construction for linear-sized cut sparsifiers 0171
Greg Bodwin @gbodwin.bsky.social · 01/06/2026RIP Fermat you would have loved \usepackage[margin=0.5\textwidth]{geometry} 081
Reposted by Greg BodwinThatchaphol Saranurak @eigx.bsky.social · 06/04/2026I poured my soul into building this course last fall: 📚 Graph Algorithms via Graph Decomposition 📚 Graph decomposition has been a powerful framework in graph algorithms for over 20 years, but the literature is scattered and technical. Thus, I tried to organize part of it into one coherent story. 3578
Greg Bodwin @gbodwin.bsky.social · 06/04/2026I really like this paper, one of my favorites in recent memory. Quick explainer of what's going on: 160
Greg Bodwin @gbodwin.bsky.social · 12/02/2026I am thinking of starting a cult that believes that fast max flow algorithms might someday be used to produce paperclips in a manner that will destroy humanity. It's unfair that the AI subfield has monopolized this. 020
Greg Bodwin @gbodwin.bsky.social · 06/02/2026Academia hack: when writing scathing rejections, also demand that the authors add citations to your enemies 050
Greg Bodwin @gbodwin.bsky.social · 07/12/2025Motion to bring medieval kerning back in our papers 0280
Reposted by Greg BodwinarXiv cs.DS Data Structures and Algorithms @csds-bot.bsky.social · 28/10/2025Kevin Pratt, Yahel Uffenheimer, Omri Weinstein: (Approximate) Matrix Multiplication via Convolutions arxiv.org/abs/2510.22193 arxiv.org/pdf/2510.22193 arxiv.org/html/2510.22193 063
Greg Bodwin @gbodwin.bsky.social · 28/10/2025this is a pretty accurate summary of my research area 0242
Greg Bodwin @gbodwin.bsky.social · 20/10/2025I always thought it seemed weird how fancy waiters in movies would be like "Excellent choice, sir" after someone orders off a fixed menu. Now ChatGPT does this, and I can confirm: it is indeed weird 020
Greg Bodwin @gbodwin.bsky.social · 03/10/2025Some UMich TCS lore: a (now-retired) professor once photoshopped these shocked Hilberts to express his surprise at increasingly complicated Hilbert's Hotel situations. They are now in use as all-purpose math reactions. Please enjoy 050
Reposted by Greg BodwinHung Le @hunglv.bsky.social · 25/08/2025Some questions on spanners in my talk at the Simons Institute. Since the talk, progress has been made on a few questions, but most are open. minorfree.github.io/SpannerQues/minorfree.github.ioSome Questions on Spanners | Rambling on Graphs 262
Greg Bodwin @gbodwin.bsky.social · 01/07/2025adding a "Do you like this personality 👍👎" box to my email signature 040
Greg Bodwin @gbodwin.bsky.social · 04/06/2025Thinking about how the security people give their results metal names like "spectre" and "meltdown" and design cool logos for them. We should give that treatment to our theorems 391
Reposted by Greg BodwinMichael Dinitz @mdinitz.bsky.social · 31/05/2025Incredibly well deserved!! 062
Greg Bodwin @gbodwin.bsky.social · 25/05/2025Hot CS take: Big-O notation should have been defined to hide constant factor changes in the input variable, not the output function value 130
Reposted by Greg Bodwin𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @mahdi.ch · 04/04/2025Huge congratulations to my amazing student Yeyuan Chen (+co-author Zihan Zhang of OSU advised by Zeyu Guo) for being awarded the STOC 2025 Best Student Paper Award! Their monumental result proves that explicit Reed-Solomon codes can correct more errors than previously known: arxiv.org/abs/2408.15925arxiv.orgExplicit Folded Reed-Solomon and Multiplicity Codes Achieve Relaxed Generalized Singleton BoundsIn this paper, we prove that explicit FRS codes and multiplicity codes achieve relaxed generalized Singleton bounds for list size $L\ge1.$ Specifically, we show the following: (1) FRS code of length $... 2487
Reposted by Greg BodwinChris Peikert @chrispeikert.bsky.social · 14/03/2025I find that this works, mostly, but requires the right amount of skepticism. Too much leads me to the “dual” of “fully trustful” reading, bogged down in doubting every little piece of ink, and not seeing the shapes or overall picture. 193
Greg Bodwin @gbodwin.bsky.social · 04/03/2025when my family asks me about the impact of my research 14913
Greg Bodwin @gbodwin.bsky.social · 23/02/2025frantically changing "graph theory" to "autonomous killer graph theory" in all my papers 1202
Reposted by Greg BodwinHuck Bennett @huckbennett.bsky.social · 21/02/2025This is terrible news, and part of the ongoing assault on science in the U.S. by the new administration. To honor Tracy Kimbrel and his service to the NSF's AF division, here's a short thread about a beautiful algorithm of his, joint with Rakesh Sinha (www.sciencedirect.com/science/arti...). 1/sciencedirect.comA probabilistic algorithm for verifying matrix products using O(n2) time and log2n + O(1) random bits 1116
Greg Bodwin @gbodwin.bsky.social · 06/02/2025A proof is a logical argument written to convince a skeptical audience. A corollary is that the best way to read a proof is to roleplay as a skeptical audience. 2102
Greg Bodwin @gbodwin.bsky.social · 16/01/2025Guy who updates his beliefs towards frequentism after witnessing examples of it working 140
Reposted by Greg BodwinMare Pan @paarsec.com · 16/01/2025One of my favourite things anyone has ever said about art. You'll be missed, David. 🌹 25110503562
Reposted by Greg BodwinGautam Kamath @gautamkamath.com · 24/12/2024With @adamsmith.xyz and @thejonullman.bsky.social, we have compiled a set of profiles of 29 people in the "foundations of responsible computing" community ("mathematical research in computation and society writ large") who are on the faculty job market. Link: drive.google.com/file/d/1Hyvg... 1/3 23916
Greg Bodwin @gbodwin.bsky.social · 21/12/2024In Vietnam they call these "dragon powder." That is so much cooler than "fire extinguisher" what are we doing 0110
Greg Bodwin @gbodwin.bsky.social · 12/12/2024I might be the last horse to cross the finish line here, but I learned today that the length "1em" in tex doesn't stand for anything, rather, it's called that because it's exactly the length of one uppercase M 🤯 4678
Greg Bodwin @gbodwin.bsky.social · 06/12/2024I was reminded this week of an open problem in graph theory that has absolutely no business being open. 🧵 2102
Greg Bodwin @gbodwin.bsky.social · 03/12/2024Pepper illegally attempted to stop us from leaving this morning 130
Reposted by Greg BodwinAnupam Gupta @anupamg.bsky.social · 30/11/2024A reminder about NY Theory Day in a week! Fri Dec 6th! Talks by Amir Abboud, Sanjeev Khanna, Rotem Oshman, and Ron Rothblum! At NYU Tandon! sites.google.com/view/nyctheo... Registration is free, but please register for building access. See you all there!sites.google.comHomeAbout The New York Theory Day is a workshop aimed to bring together the theoretical computer science community in the New York metropolitan area for a day of interaction and discussion. The Theory Da... 1459
Reposted by Greg BodwinHung Le @hunglv.bsky.social · 24/11/2024New post on additive spanners. Oustanding open problem: construct a +4 spanner with O(n^{4/3}) edges.minorfree.github.ioAdditive Spanners | Rambling on Graphs 1165
Greg Bodwin @gbodwin.bsky.social · 22/11/2024♪ when the function behaves like a sum of sine waves, that's a fourier ♪ 150
Greg Bodwin @gbodwin.bsky.social · 15/11/2024New platform so I get to repost things. First of all, here is the greatest proof of all time 2191
