dchftcs

Quantum mechanics is pretty fundamental but you wouldn't use it to describe a rock rolling down hill either.

A more concise explanation is that, computation is the transformation of information. Any transformation of information is computation, and is thus subject to some theory of computation. A physical process involves the transformation of information, so can be studied with a theory of computation.

That's true for Sony, but Nintendo doesn't sell the Switch at a loss.

I suppose the point is that Mythos was released to a smaller set of partners anyway and Fable is for the masses.

"I know this" is different from "I know you know this", which is different from "You know I know this", which is still different from "you know I know you know this"

You're right that I jumped the gun and the analogy is not accurate. The point where they are similar is that you have the prefix as context as you try to type out the next word; it is a more deliberate form of reading, and when you do this there's an element of anticipation and analysis as you write each word. It's not quite the same as constantly trying to guess the next word, in my mind the elevated way of thinking was close, probably as close as it's humanely possible, but the analogy does break down there.

On the other hand, you can embrace all this and still let others weep about humanity a little.

A bit tough to say this, but transformers are trained the same way.

I'm comfortable calling MiniMax the more eager model in this set because that claim is backed by the artifacts, not by vibe. It repeatedly reached for locks, persistence, policy objects, fallback paths, decorators, and extensible strategy shapes

What are "extensible strategy shapes" for those who don't speak LLM?

Whatever you're already able to do, you can do it better with more time.

At this point letting an agent go like this is akin to not leashing your dog in public. It's not easy to draw an accurate line but probably there needs to be real punishment for doing these things.

If there's a viable way to make all projects low-stakes we'd have done it. Consider this: microservices.

I suspect this will be a significant problem blocking long-horizon tasks in practice, basically the more turns there are, the larger the chance the classifier produces a false positive. The disappointment of the user will also scale with the length of the task, as you're in the middle of some complex thing and now gets derailed, after already have paid for many tokens.

Or kids. Or work.

It's clear to me they are subsidizing inference in exchange for market share, and doing it at this scale makes the most sense if their target is getting more user data. Note that this sort of pricing isn't far off from the equivalent token-based pricing of ChatGPT or Claude subscription plans, which are more clearly subsidized by the user's data.

The development and acquisition of valuable domain knowledge is a hard, risky, expensive and slow process. Because the valuable domain knowledge isn't yesterday's, it's today's and tomorrow's. In fields where domain knowledge matters, it is also deeply intertwined with engineering - you won't task Jeff Dean to develop Unreal Engine from scratch.

With that said, there are still many SWE principles that are not fully internalized or adequately practiced by domain knowledge experts, and that will remain the case as much as domain knowledge remains valuable, because software engineering is yet but another domain.

This is a lot tamer than what Claude Code's team claims tbf.

If the problem resolves to P=NP, that result would probably be more celebratee than being able to formulate the problem, but being able to formulate the problem and get people interested in it is probably worth more than the average primal dual trick to prove a polylog integrality gap for some integer linear program.

Right, you could disagree on which things to prioritize over dollar profits. My main point is that these preferences are not irrational like was asserted. At the scale of a sovereign wealth fund or pensions, you need to care about externalities; in the case of Denmark vs SpaceX you have something relatively concrete, in other cases we need to keep in mind that the goal of these funds are to improve the welfare of who they serve, and see past the dollar signs to take into account the consequences of the investments.

SpaceX is headed by a person who is a strong ally of a politician who openly challenges Denmark's sovereignty over Greenland. Guess you wouldn't mind selling your organs to the same group of powerful people for a few bucks because you're not virtue signalling?

An article with a title saying tokens per second throughput without any qualifier e.g. what size the model is should immediately be classified as spam.

Gemini 3.5 Flash is not good at coding in practice. Gemini 3.1 Pro too, in particular is known to be bad at tool calls. Many companies would love to have alternatives to Claude Code (as it's a significant risk to depend on one vendor), so far most of the buzz is about moving to Codex but much fewer talk about moving to Gemini. All these benchmarks are not very informative, the Chinese labs do better on these benchmarks than in practice, for example.

China will make sure they have a frontier lab, there's plenty of chance for Google to catch up once the compute crunch gets more serious.

Lots of things that are wrong are also imposed on parents. Not to say involuntarily childless people are to be blamed for anything, or that two wrongs make a right, but society is immensely misaligned against having children, and forced charity already exists in various forms whether you like it.

But honestly, developed countries not having children itself isn't that bad a thing. I feel that our existence and the hedonistic treadmill drains too many scarce resources, and population growth should not last long. On the other hand, it seems societies still gain productivity in spite of the slow population growth. There should be plenty of slack for everyone, so that middle-class parents don't feel like they are constantly in a deathmarch, and voluntarily childless people don't need to be pressured. There's an immense misallocation of resources that is hard to solve, and you end up seeing proposals like this.

Unsurprising he'd be cheered for saying what they wanted to hear.

But perhaps whether or not his stance is correct, the students needed to hear this. They (we) have to believe human brains still have value and find a way out; for otherwise there'd be no point to try anymore.

Someone has to be in the news first, and then you learn about it. To that someone, the change you see in tomorrow's legal news is today, was yesterday. It's more a gamble than you think, you just don't feel it until it bites you.

fireworks hosts Qwen 3.6 Plus, they might also get Qwen 3.7 Plus.

I'd love to go back to the 90s and live it again.

Right, indeed you need to first preserve the origin, but also that is trivially true for a linear map like JL.

If you preserve the l2 distance you preserve the inner product, that's somewhat tautological in an L2 space. Just that the degree you can preserve inner products can be misleading, main problem is that orthogonal vectors may only become near-orthogonal which is sometimes a big deal, though perfect correlations are preserved because the JL transform is linear. Both can be seen looking at: https://en.wikipedia.org/wiki/Polarization_identity

The division of lemmas and theorems is really a bit artificial for these things. But yeah I think the spirit is that a theorem is an object that you aim to study, while a lemma is something you use to do that. Fermat's last theorem was a target, but the techniques including lemmas used and developed for it are the real prize for a working mathematician. Sculptures are kind of the point, but there's no question the tools used for sculpting are more useful and "worth" more in that sense.