jackb4040

It saved the stock market. Try telling one of the thousands who was made homeless that it saved the economy.

The USSR is the superpower I was referring to. You are illiterate.

The USS Liberty happened in the 1960s. It's downright silly to pretend the American state would ever have had a similar orientation towards a rival superpower vs its own unsinkable aircraft carrier.

Well it's important to you. It's evidently not important to the people you vote for, the people who fundraise off of this hostage situation, the people who have had trifectas multiple times during this era and have not even used them to permanently secure the "democracy", let alone the overwhelmingly popular policies with their base that would guarantee they win ever election but piss off their donors.

> half

They own the careers of all but a tiny handful of US politicians

It's hard for me to understand Google's redefinition of "world models" (basically: a txt2videogame modality for LLMs) as anything other than an attempt to bury Yann Lecun's definition of "world models", which includes an implicit bear case against LLMs and thus Google's stock price.

From the perspective of your career, the best thing to do is not have objections, or really any principles at all, in the first place.

This is so vague as to be impossible to pin down what you mean in order to refute it without you slipping out of it. But in very general terms, trust busting was a real thing that happened in this country once upon a time, yet would be unimaginable under the current ruling class.

Why would you expect training costs to come down in the future? It seems to me that the labs themselves have concluded they can't stop training due to competition, which is why they're now asking the government to step in and shut down their competitors.

How do we know this isn't just propaganda to force people to learn about the natural world, go outside, and make new friends?

It's a shame you've been downvoted, this is better satire than anything A24 has put out in years. Must be a large number of people who saw that post as a slightly exaggerated mirror held up to themselves and didn't like it.

I have a pretty negative opinion about LLM's coding abilities (and predictions about how they will improve). But I don't get a lot out of this type of argument. Compilers created a perfect, deterministic, provable abstraction so that we could have 99% of developers no longer know how assembly works and not suffer any consequences. Humans don't have to give up any control or make any quality compromises to deploy them as widely as possible.

If the author is contending that AI models will improve to a point that they actually make no mistakes while coding, and have that same level of reliability, then they're on exactly the same side as AI doom trolls just wearing a different costume.

Agree, and I am worried about what happens when that old code is written by LLMs, approved by a human who pretended to have read it, and now needs to be touched by another human who is completely reliant on LLMs to understand existing code.

Seems like a non-sequitur? "because math is formalizable", I agree it makes sense to then predict that data-driven AI models will be able to perform well on it. But where is the evidence that software coherence is formalizable? If it were then I would agree, but to me it seems that coherence in a software system relies on a ton of intuitive reasoning and familiarity with company culture, past failures, etc. it's like the least formalizable thing there is.

AI improves over time, sure, but it has differences and advantages and disadvantages over human intelligence. It's just a fundamentally different thing. In the same way calculators are superhuman, and improving, but can't write books. You yourself acknowledge to some degree the uneven nature of that improvement when you referenced formalizability.

Fantastic framework that I will be adopting, thank you!

One thing I will add: I'm sure the optimistic side will try to take the quantization that your (and other work like SlopCodeBench) are introducing and claim that we'll be able to fix the problem by training on that data, producing coding models that are rewarded for coherence.

I invite them to try! But my suspicion is that this will require a rather deep form of intelligence (world models) that the current language/data-based paradigm isn't really equipped to reach without requiring more energy than the Sun.