Sign in

Hung Le

@hunglv.bsky.social
118 followers 117 following 32 posts

Umass Amherst

PostsRepliesMedia
Hung Le @hunglv.bsky.social · 18h
OpenAI Math Dump Hits My Home Recent OpenAI math dump have solutions to many long standing probems in Math and TCS. Two problems that I and my friends, notably Arnold Filtser, have studied for more than a decade: L1 embedding conjectures. minorfree.github.io/OpenAIDump/
minorfree.github.io
OpenAI Math Dump Hits My Home | Rambling on Graphs
072
Reposted by Hung Le
Joshua Grochow @joshuagrochow.bsky.social · 04/10/2026
U Colorado Boulder Computer Science is hiring in #Quantum Computation, including: - Quantum CS Theory - Applications of QC to important or emerging areas Details: jobs.colorado.edu/jobs/JobDeta... Pls help spread the word, and reach out to me if you have questions. #🧮 #AcademicSky #TCSSky
jobs.colorado.edu
Tenure-Track Faculty in Quantum Computation
1149
Reposted by Hung Le
Clément Canonne @ccanonne.github.io · 02/10/2026
The #STOC2027 CfP has been updated (in light of the recent #arXiv policy change): acm-stoc.org/stoc2027/sto... (see "Public submissions") In addition, a document by the PC Chair explaining the rationale behind the policies is available: acm-stoc.org/stoc2027/sto... [PDF]
3124
Hung Le @hunglv.bsky.social · 01/10/2026
This is bad. If you do not want to read a paper to review it properly, don't accept the review request.
0111
Hung Le @hunglv.bsky.social · 29/09/2026
We probably never know. I am not against rebuttal, just want to know what good is it, as authors put their efforts in writing them.
001
Hung Le @hunglv.bsky.social · 29/09/2026
Nice! I am always curious about whether someone increases their scores because of the rebuttals or not. Without rebuttals, scores got changed anyway (and quite randomly) by the PC in the discussion phase (cont.)
100
Hung Le @hunglv.bsky.social · 29/09/2026
Did the rebuttal help your paper increase the score? My experience with all reubuttals so far is that they are pretty useless. It's more psychological rather than practical: it seems nice that authors are given a chance to argue about their paper before the final decision making.
100
Hung Le @hunglv.bsky.social · 29/09/2026
I don't know what happens to those. The facts are only about mine, and I don't have any with 3-4-4. I do know that a friend of mine had a 3-4-4 pre-rebuttal but was downgraded to 3-3-4 and ultimately rejected.
110
Hung Le @hunglv.bsky.social · 29/09/2026
SODA 27 notifications are out. Interesting facts: 1. Submissions: 1181 papers. Last year, 809 submissions, a 46% up. 2. Acceptance: 287 (~24.3%). Last year, 243 acceptances (~30%) Personal facts: Only 4-4-4 papers got into SODA; all 3-3-4 papers rejected. Rebuttal does not change anything.
191
Hung Le @hunglv.bsky.social · 28/09/2026
Yes. And I would love to post your thoughts on my blog as well (of course, with your permission).
120
Hung Le @hunglv.bsky.social · 24/09/2026
I should have posted this earlier: the deadline is today. Late is better than never. The UMass Amherst Theory Group will organize 'New England Theory Day' this year, on October 02 2026. For details: theory.cs.umass.edu/theory-day Registration is free: forms.gle/N4bcW5Q5JYyK...
theory.cs.umass.edu
Theory Group: 2026 New England Theory Day
050
Reposted by Hung Le
Clément Canonne @ccanonne.github.io · 19/09/2026
"The proof [...] was obtained in a conversation with ChatGPT-6 Astra on Tuesday, September 15, 2026 at 1:02 AM PDT. We then prepared this manuscript for public release, with the intent of uploading it on the morning of Thursday, September 17, 2026" Shameless, and shameful. arxiv.org/abs/2609.207...
arxiv.org
The Strong Secretary Conjecture is True for Linear Matroids
We prove a $1/e$ guarantee for the matroid secretary problem on linear matroids, therefore settling the strong secretary conjecture in this class of matroids. The result holds both when the matroid is...
2459
Reposted by Hung Le
Clément Canonne @ccanonne.github.io · 16/07/2026
The list of accepted papers at #FOCS2026 is out! sanjeevkhanna.org/FOCS2026_Acc...
sanjeevkhanna.org
FOCS 2026 – Accepted Papers
12910
Hung Le @hunglv.bsky.social · 27/01/2026
I like Cocreate and have been using it for a few years. It also supports latex: cocreate.csail.mit.edu
cocreate.csail.mit.edu
Cocreate Shared Whiteboard
000
Reposted by Hung Le
arxiv cs.DS @arxiv-cs-ds.bsky.social · 25/12/2025
Meike Neuwohner, Vera Traub, Rico Zenklusen Approximation Schemes for Planar Graph Connectivity Problems arxiv.org/abs/2512.21128
021
Reposted by Hung Le
William Umboh @swumboh.bsky.social · 20/12/2025
Had a great time organizing (with Julian Mestre, R Ravi, and Mik Zlatin) a post #FOCS2025 2-day workshop on Trends in Approximation and Online Algorithms! Featuring an amazing lineup of speakers (from established experts to rising stars) + wiki edit-a-thon + gelato cart from Mapo 1/n
1113
Hung Le @hunglv.bsky.social · 16/12/2025
Aggh! I missed FOCS this year. Anything stands out to you (other than the fact that it is in Sydney, which is hard to replicate)?
010
Reposted by Hung Le
FOCS 2026 @focs2026.bsky.social · 15/12/2025
📢 #FOCS2026 will be held in NewYork City, USA! Nov 8–11, 2026 at NYU (colocated with TCC) General Chair: Marshall Ball PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
194
Hung Le @hunglv.bsky.social · 08/12/2025
Stoked about the new work with Édouard Bonnet, Tuukka Korhonen, Jason Li, and Tomáš Masařík: a simple linear time algorithm to find a balanced separator in minor-free graphs. A more detailed blog post, giving a complete pseudocode: minorfree.github.io/SepLinear/ Paper: arxiv.org/abs/2512.01587
minorfree.github.io
A Separator for Minor-free Graphs in Linear Time | Rambling on Graphs
072
Hung Le @hunglv.bsky.social · 24/11/2025
I hate conference deadlines, but somehow, deadlines make magic happen. A week ago, we had a jumble of texts, but now we have what looks like a nice paper.
051
Reposted by Hung Le
Lance Fortnow @lance.fortnow.com · 25/10/2025
STOC 2026 is offering experimental pre-submission feedback using an AI tool optimized for checking mathematical rigor. Results won't go to PC or be used for training purposes. Opt-in via the submission server by November 1. Details: acm-stoc.org/stoc202... CFP: acm-stoc.org/stoc202...
072
Hung Le @hunglv.bsky.social · 14/10/2025
SODA26 accepted papers out: www.siam.org/conferences-...
siam.org
Accepted Papers | SIAM
ACM-SIAM Symposium on Discrete Algorithms (SODA26) will take place from January 11–14, 2026 in Vancouver, Canada. This symposium focuses on research topics related to the design and analysis of effici...
061
Hung Le @hunglv.bsky.social · 25/08/2025
I did not expect the subtleties of the light version. Beautiful work!
010
Hung Le @hunglv.bsky.social · 25/08/2025
Some 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.io
Some Questions on Spanners | Rambling on Graphs
262
Hung Le @hunglv.bsky.social · 10/08/2025
I agreed to review 6 SODA papers this year (not counting other reviews); an idiot is here. It's hard to say no; my past self struggled to find reviewers. People (non-PC members) accepting more than 6 reviews for a theory conference are definitely inspiring; 6 is my new record. What's your number?
390
Hung Le @hunglv.bsky.social · 03/06/2025
Report new theory jobs here: kamathematics.wordpress.com/2025/06/03/t...
kamathematics.wordpress.com
Theory Jobs 2025
The Theory community has a tradition of a crowdsourced spreadsheet of sharing who has accepted which jobs, previously hosted by Grigory Yaroslavtsev and Lance Fortnow. Past years have been slightly…
000
Hung Le @hunglv.bsky.social · 01/06/2025
On a Dagstuhl workshop that I recently co-organized: minorfree.github.io/Dagstuhl/
minorfree.github.io
Dagstuhl Workshop: Experience and Organization | Rambling on Graphs
040
Reposted by Hung Le
Lance Fortnow @lance.fortnow.com · 31/05/2025
Tracy Kimbrel, former National Science Foundation program director extraordinaire, will receive the 2025 ACM SIGACT Distinguished Service Award. He spearheaded programs such as TRIPODS (foundations of data science) and AitF (Algorithms in the Field). 1/2
1144
Reposted by Hung Le
Clément Canonne @ccanonne.github.io · 30/04/2025
The Call for Papers (CfP) for #SODA26 is out: www.siam.org/conferences-... The submission server is open: soda26.hotcrp.com Deadline: ⏰ Monday, July 14, AoE (July 15, 11:59am UTC)
soda26.hotcrp.com
SODA 2026
01311
Hung Le @hunglv.bsky.social · 13/04/2025
Jonathan Conroy and Arnold Filtser have recently solved the padded decomposition problem for minor-free graphs, one of my favorite open problems. Congratulations to both! Their paper here: arxiv.org/abs/2504.00278 My take: minorfree.github.io/PaddedSolved/
arxiv.org
How to Protect Yourself from Threatening Skeletons: Optimal Padded Decompositions for Minor-Free Graphs
Roughly, a metric space has padding parameter $β$ if for every $Δ>0$, there is a stochastic decomposition of the metric points into clusters of diameter at most $Δ$ such that every ball of radius $γΔ$...
051
Reposted by Hung Le
Sophie Huiberts @sophie.huiberts.me · 08/04/2025
I first got into smoothed analysis and linear programming during my master's. Now, 9 years later, we finally have matching upper and lower bounds. I spent a huge part of my life on this, and it feels weird that it's now finished.
arxiv.org
Optimal Smoothed Analysis of the Simplex Method
Smoothed analysis is a method for analyzing the performance of algorithms, used especially for those algorithms whose running time in practice is significantly better than what can be proven through w...
1708
Reposted by Hung Le
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @mahdi.ch · 04/04/2025
Huge 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.15925
arxiv.org
Explicit Folded Reed-Solomon and Multiplicity Codes Achieve Relaxed Generalized Singleton Bounds
In 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 $...
2477
Reposted by Hung Le
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 19/03/2025
I got a lot out of participating in WALDO back in 2021, so I definitely recommend checking it out! 😄
071
Reposted by Hung Le
Clément Canonne @ccanonne.github.io · 06/03/2025
The next few talks on TCS+ (@tcsplus.bsky.social): 🍰 Tom Gur on Zero-Knowledge PCPs (March 19) (@tomgur.bsky.social) 🍰 Or Zamir on streaming and optimal F₂ moment estimation (April 9) 🍰 Ryan Williams on time v. memory (April 23) (@rrwilliams.bsky.social) Sweet!
13111
Reposted by Hung Le
Ryan Williams @rrwilliams.bsky.social · 01/03/2025
The STOC 2025 Theory Fest is looking for workshop proposals! Apply here: stoc2025theoryfest.netlify.app Deadline is March 9th, so act fast!
stoc2025theoryfest.netlify.app
Vite + React + TS
072
Reposted by Hung Le
Clément Canonne @ccanonne.github.io · 02/03/2025
Hey, it's March now. You know what would be great? Nominating trailblazing TCS researchers to the Knuth Prize! www.sigact.org/prizes/knuth...
sigact.org
ACM SIGACT - Knuth Prize
153
Reposted by Hung Le
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @mahdi.ch · 20/02/2025
CALL FOR PAPERS: With Robert Calderbank, Krishna Narayanan, Henry Pfister and Mary Wootters, I'm editing a special issue of the IEEE BITS magazine on Error-Correcting Codes & invite expository/tutorial articles. Deadline: April 17 (white paper). Please circulate widely. www.itsoc.org/sites/defaul...
itsoc.org
033
Reposted by Hung Le
Prashant Shenoy @pshenoy.bsky.social · 19/02/2025
CRA statement on the cuts at NSF: "These cuts are the very definition of being pennywise and pound foolish — a shortsighted move that will undermine American innovation and technological leadership .." cra.org/cuts-to-nsf-...
cra.org
Cuts to NSF and CISE Directorate Jeopardize American Leadership in Computing
A statement from the Computing Research Association (CRA) The reported termination today of 10 percent of the National Science Foundation’s (NSF) workforce — including significant cuts to the Compu…
021
Hung Le @hunglv.bsky.social · 10/02/2025
the Four Russians Method is a technique for speeding up Boolean matrix multiplication and dynamic programming. The original paper is in Russian, and I am not aware of any English translation. Now we have a translation, by Ben Rozonoyer, a PhD student at UMass. minorfree.github.io/FourRussian/
minorfree.github.io
The Four Russian Method: Now in English | Rambling on Graphs
050
Reposted by Hung Le
FOCS 2026 @focs2026.bsky.social · 08/02/2025
The #FOCS2025 website is up! Featuring a Call for Papers and important dates: focs.computer.org/2025/ ⏰ Deadline: April 3, 2025 (8pm ET) ⏰ Notification: July 8, 2025 🗓️ Conference: December 14–17, 2025 Content and info will be added as it becomes available (workshops, activities, travel support).
focs.computer.org
FOCS 2025
02415
Hung Le @hunglv.bsky.social · 07/02/2025
STOC 25 accepted papers: acm-stoc.org/stoc2025/acc...
acm-stoc.org
STOC 2025 - 57th ACM Symposium on Theory of Computing
051
Hung Le @hunglv.bsky.social · 07/02/2025
So in 1999, people wrote a paper with 11 authors! Pretty amazing. How did they find each other?
100
Hung Le @hunglv.bsky.social · 07/02/2025
Ah this is amazing! Thanks for these.
020
Hung Le @hunglv.bsky.social · 07/02/2025
Just learnt about this: you can query DBLP to find out the most number of authors on a paper at a conf or a group of conf: SODA 11, FOCS 11, STOC 10. The new record this year at STOC 25 is 13.
010
Reposted by Hung Le
Greg Bodwin @gbodwin.bsky.social · 06/02/2025
A 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
Hung Le @hunglv.bsky.social · 01/02/2025
Is 13 the most number of authors on a STOC paper ever? I suspect Yes.
110
Hung Le @hunglv.bsky.social · 01/02/2025
Ah yes, indeed.
000
Hung Le @hunglv.bsky.social · 31/01/2025
STOC25 notification was out. A record number of submissions, 735, and acceptances, 218. To compare with SODA 25, 655 submissions and 192 acceptances. This is probably the 1st time STOC has more submissions and acceptances than SODA.
160
Hung Le @hunglv.bsky.social · 22/01/2025
New post summerizes what I've learnt over the last few years about Locality Sensitive Ordering, a technique for reducing geometric problems in R^d to problems in the line (1D): minorfree.github.io/LSO/
minorfree.github.io
Locality-Sensitive Orderings | Rambling on Graphs
050
Reposted by Hung Le
Ben Brubaker @benbenbrubaker.bsky.social · 03/01/2025
My latest in @quantamagazine.bsky.social: why theoretical computer scientists like to pose questions to imaginary black boxes:
quantamagazine.org
Why Computer Scientists Consult Oracles | Quanta Magazine
Hypothetical devices that can quickly and accurately answer questions have become a powerful tool in computational complexity theory.
1142