Why are they still having this debate in 2026 when CodeAct have existed for years, and the LLM's are getting much better at coding in the first place?

> It's pretty simple: due to Curry-Howard isomorphism, programming languages are just notations for some type of formal logic.

Thank you, this made me chuckle!

Not really sure if it's sarcasm, but let me make a side remark.

It's really stunning how much more effective the "Standard ML" notation (embraced by Haskell, Lean etc.) is compared to writing proofs in classical logic.

This "UX problem" is, I think, the reason why is mathematical community embracing automated provers maybe 50 years later than they could have. Automated people wanted the better language, but the mathematicians largely resisted.

So seeing this, it would be preposterous for me to think that any language, natural or not, has the last say in this. We're gonna be stuck with learning new languages and formalisms for a long time.

The boy finally gets government regulation he's been begging for, in the form of total government control, becomes subservient to the corrupt, evil interests at the helm of that government, and ends up loving exactly none of it?

Hard disagree. I use 3.8 flash in Antigravity a lot, and thoroughly prefer it to most Pro-class models. It's really fast, and I've had it make crazy progress on compiler-like problems that previous models including Opus simply failed at. On ultra plan you can have it going for hours, and make incremental progress with good prompting for review interrupts. It solved a problem I couldn't solve for weeks in under 6 hours. 10k LOC total. The harness and test suite is key.

This is my exact experience with the model - https://x.com/ThePrimeagen/status/2095565354726502683

And it just BURNS tokens like crazy.

Having to put food on the table is one hell of a motivator.

I'm the opposite. Ignored it for so long, and had only signed up post-acquistion.

Why would you do that to yourself?

I'm sorry, but Elo is not an acronym for Electronic Light Orchestra. You don't write ELO, but simply Elo.

Not to mention they are still at the forefront of materials science and industrial design, and just so happen to manufacture bespoke CPU & server platforms that run circles around all the hyperscalers...

Though of late, IBM has apparently decided it should be just another Indian outsourcer.

Google will do the same eventually.

Neal Stephenson is one of the judges. 40k seems like generous enough first prize. I wonder if they will accept a play.

> I wonder if they will accept a play.

We will accept any words you think have a chance of being the best thing we will read about the premise of 'GPU World'. Because the premise is so specific, we wanted to leave participants a lot of freedom in how they used it.

(Also a little bemused at the discussion of the grand prize amount here. $40k is a very generous prize for a short piece of writing. For perspective, the Commonwealth Short Story Prize, which you may have heard of recently, offers its global winner 1/6th as much; the last contest I ran offered 1/4th as much, and the contest before that was... 1/40th as much? And I didn't hear anyone complaining about them. For further perspective, $40k is about the median American per capita annual income: https://en.wikipedia.org/wiki/Per_capita_personal_income_in_... )

> $40k is a _very_ generous prize for a short piece of writing

Exactly. Not sure it will stop the inevitable torrent of slop, but it's generous enough that I think enough serious people will take it seriously that something interesting can float to the top. Can't wait to read (maybe write).

Of course. Ex Sequoia members and crypto bros are generous.

How are you going to evaluate 10^6 submissions? Let me guess: You'll preselect with AI for the expedient narrative:

"AI will be democratized and a small model will run on any GPU and there will be no oligarchies and China will pay for all of it!"

Also gwern and Matt Huang. Seems a pretty interesting committee.

And 40K is enough for this to be taken seriously for producing 1000-5000 words.

What's the point if not to make it official? Otherwise there are no stakes, no benefit, and the whole thing would amount to cosplay, right?

What's the point of going to a murder mystery diner party, if no one gets arrested at the end?

I love how your idea of the failed murder dinner party seems to still include an actual murder ; the problem is only the absence of an arrest.

Oh I thought make it official meant consummating the marriage in front of everyone. If it meant making it an official marriage, I agree.

what's the point of going to burning man? What's the point of going outside? What's the point of reading? what's the point of posting a comment on HN?