Grilled Cheese

ExploreLog inSign up

Hung Le

@hunglv.bsky.social

117 Following113 Followers

Umass Amherst

PostsRepliesMedia
@ccanonne.github.ioOct 10, 2026, 8:59 PMReposted by @hunglv.bsky.social

I wrote a blog post on "TCS, AI, and the Adults in the Room," addressed to the senior researchers and established academics in our field: minorfree.github.io/Clement/

Thanks to @hunglv.bsky.social for lending me his blog!

@hunglv.bsky.socialOct 9, 2026, 10:27 PM

The problem with big names praising "breakthroughs" by OpenAI is that it gives OpenAI a pass on mostly sloppy and sometimes incorrect proofs, treating them as "machine things" that we should accept as a "small price". Would love to see them read the proofs and then write their understandings.

@hunglv.bsky.socialOct 9, 2026, 9:18 PM

"You can just say no".

@hunglv.bsky.socialOct 8, 2026, 10:24 PM

(3/n) I have to interact with GPT Anstra just to understand what each paragraph means. So far, I get the impression that nothing deep happens in this section either. Perhaps great stuff will be in subsequent sections, so I am looking forward to that. It has been a lot of pain reading so far.

@hunglv.bsky.socialOct 8, 2026, 10:24 PM

(2/n) The proofs are straightforward, and nothing deep happens yet. I also spent about 3 hours reading section 3 of the manuscript. It is only 4 pages long, but full of gibberish. The central concept in this section is called a chart. Nothing in this section is formal.

@hunglv.bsky.socialOct 8, 2026, 10:23 PM

(1/n)Oct 08: Read the L1 embedding planar for 5 hours. Now that I understand the column model better, the lemmas in the first 12 pages are straightforward. I spent a lot of time figuring out what the statements of these lemmas actually mean.

minorfree.github.io/OpenAIDump/

@sophie.huiberts.meOct 8, 2026, 1:03 PMReposted by @hunglv.bsky.social

I Wrote about the responsibility we carry to each other.

@hunglv.bsky.socialOct 7, 2026, 1:04 PM

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/

@joshuagrochow.bsky.socialOct 4, 2026, 2:34 PMReposted by @hunglv.bsky.social

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

@ccanonne.github.ioOct 2, 2026, 8:14 PMReposted by @hunglv.bsky.social

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]

@hunglv.bsky.socialOct 1, 2026, 9:22 PM

This is bad. If you do not want to read a paper to review it properly, don't accept the review request.

@hunglv.bsky.socialSep 29, 2026, 2:47 PM

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.

@hunglv.bsky.socialSep 29, 2026, 2:47 PM

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.)

@hunglv.bsky.socialSep 29, 2026, 2:38 PM

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.

@hunglv.bsky.socialSep 29, 2026, 2:09 PM

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.

@hunglv.bsky.socialSep 29, 2026, 1:01 PM

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.

@hunglv.bsky.socialSep 28, 2026, 2:37 PM

Yes. And I would love to post your thoughts on my blog as well (of course, with your permission).

@hunglv.bsky.socialSep 24, 2026, 3:18 PM

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...

@ccanonne.github.ioSep 19, 2026, 3:09 AMReposted by @hunglv.bsky.social

"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...

Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-11 19:07:23 EDT