The current benefit is that chat has no quota.
That's the ankle. The actual knee is hidden in the feathers of the body.
It's probably GLM 5.3 flash, so weaker but cheaper.
This is not what the bitter lesson is about. It's not "don't develop better methods, just scale", it's that those methods which scale best win. LeCun's work is fundamentally about devising a method that scales better…
This is some bizarre victim inversion. The providers of closed models are the ones who are trying to use regulation to stop their open model competition, not the other way around.
Now, what if you order a construction crew for building your house? What if you also hire an architect to design the plan? And an overseer who manages everything? Surely at some point you would stop saying "I built this…
>I just did a ~6 month project in ~2 weeks using a frontier model. Claims like this are hard for me to take seriously because 'good' models have been available since the start of the year. So, if they really 10x one's…
Except it's not just a tool. It's when a woodworker, musician or painter completely outsources their work and just marks what's wrong, sending those parts back. Yes, the final art piece might be the same, but the artist…
If that was the real reason, why wouldn't they just make it so that if you don't correctly use caching you use up more of your limit?
The quill and ink at least communicates that it's about writing. The new one is so abstract that when I first looked at it I had no idea what I was even looking at, it certainly doesn't communicate "this is like word"…
The key thing is that you teach multiplication tables in a structured, incremental manner. Yes, it's just rote memorization, but the structure makes it way easier. You don't just dump all tables on the student at once…
How is the raw Gemini 3 CoT accessed? Isn't it hidden?
They're not making money on inference alone because they blow ungodly amounts on R&D. Otherwise it'd be a very profitable business.
An almost 50% price increase. Benchmarks look nice, but 50% more nice...?
Unfortunately not, this model is noticeably worse. I imagine horizon is either gpt 5 nano/mini.
This is the fault of sloppy language. In Lean, _proofs_ (equivalent to functions) and _proof objects/certificates_ (values) need to be distinguished. You can't compute proofs, only proof objects. In the above quote,…
Caveat: Coercions exist in Lean, so subtypes actually can be used like the supertype, similar to other languages. This is done via essentially adding an implicit casting operation when such a usage is encountered.
I think the fact that all (good) LLM datasets are full with licensed/pirated material means we'll never really see a decent open source model under the strict definition. Open weight + open source code is really the…
No, that's a different scenario. In the one I gave there's explicitly a dependency between requests. If you use gather, the network requests would be executed in parallel. If you have dependencies they're sequential by…
The reason is that the usage is completely different from coroutine based async. With GPUs you want to queue _as many async operations as possible_ and only then synchronize. That is, you would have a program like this…
On their subscriptions, specifically the pro subscription, because it's a flatrate to their most expensive model. The API prices are all much more expensive. It's unclear whether they're losing money on the normal…
If you compare with e.g. Deepseek and other hosters, you'll find that OpenAI is actually almost certainly charging very high margins (Deepseek has an 80% profit margin and they're 10x cheaper than openai). The…
Latency is magnitudes more critical when it's something where you have to react.
Really sad to see. Emad pivoting to posting crypto nonsense on twitter made me think the writing is on the wall for Stability, but I still didn't expect it so soon. I expect they'll pivot to closed models and then fade…
MS vs Sun was about MS doing their usual EEE thing and adding parts to MS Java that weren't part of the spec (which is why it was also a trademark lawsuit). Google vs Oracle is about whether APIs are copyrightable and…
The current benefit is that chat has no quota.
That's the ankle. The actual knee is hidden in the feathers of the body.
It's probably GLM 5.3 flash, so weaker but cheaper.
This is not what the bitter lesson is about. It's not "don't develop better methods, just scale", it's that those methods which scale best win. LeCun's work is fundamentally about devising a method that scales better…
This is some bizarre victim inversion. The providers of closed models are the ones who are trying to use regulation to stop their open model competition, not the other way around.
Now, what if you order a construction crew for building your house? What if you also hire an architect to design the plan? And an overseer who manages everything? Surely at some point you would stop saying "I built this…
>I just did a ~6 month project in ~2 weeks using a frontier model. Claims like this are hard for me to take seriously because 'good' models have been available since the start of the year. So, if they really 10x one's…
Except it's not just a tool. It's when a woodworker, musician or painter completely outsources their work and just marks what's wrong, sending those parts back. Yes, the final art piece might be the same, but the artist…
If that was the real reason, why wouldn't they just make it so that if you don't correctly use caching you use up more of your limit?
The quill and ink at least communicates that it's about writing. The new one is so abstract that when I first looked at it I had no idea what I was even looking at, it certainly doesn't communicate "this is like word"…
The key thing is that you teach multiplication tables in a structured, incremental manner. Yes, it's just rote memorization, but the structure makes it way easier. You don't just dump all tables on the student at once…
How is the raw Gemini 3 CoT accessed? Isn't it hidden?
They're not making money on inference alone because they blow ungodly amounts on R&D. Otherwise it'd be a very profitable business.
An almost 50% price increase. Benchmarks look nice, but 50% more nice...?
Unfortunately not, this model is noticeably worse. I imagine horizon is either gpt 5 nano/mini.
This is the fault of sloppy language. In Lean, _proofs_ (equivalent to functions) and _proof objects/certificates_ (values) need to be distinguished. You can't compute proofs, only proof objects. In the above quote,…
Caveat: Coercions exist in Lean, so subtypes actually can be used like the supertype, similar to other languages. This is done via essentially adding an implicit casting operation when such a usage is encountered.
I think the fact that all (good) LLM datasets are full with licensed/pirated material means we'll never really see a decent open source model under the strict definition. Open weight + open source code is really the…
No, that's a different scenario. In the one I gave there's explicitly a dependency between requests. If you use gather, the network requests would be executed in parallel. If you have dependencies they're sequential by…
The reason is that the usage is completely different from coroutine based async. With GPUs you want to queue _as many async operations as possible_ and only then synchronize. That is, you would have a program like this…
On their subscriptions, specifically the pro subscription, because it's a flatrate to their most expensive model. The API prices are all much more expensive. It's unclear whether they're losing money on the normal…
If you compare with e.g. Deepseek and other hosters, you'll find that OpenAI is actually almost certainly charging very high margins (Deepseek has an 80% profit margin and they're 10x cheaper than openai). The…
Latency is magnitudes more critical when it's something where you have to react.
Really sad to see. Emad pivoting to posting crypto nonsense on twitter made me think the writing is on the wall for Stability, but I still didn't expect it so soon. I expect they'll pivot to closed models and then fade…
MS vs Sun was about MS doing their usual EEE thing and adding parts to MS Java that weren't part of the spec (which is why it was also a trademark lawsuit). Google vs Oracle is about whether APIs are copyrightable and…