Perhaps it shows that it does not matter how good your engineering is, or if you have sped up feature development 10x, if the shop is not providing value then who cares?
Do you really want to live in a world where you need to be logged in to call gcc?
I have this realization recently that everyone that uses Claude Code or Codex have basically been running RCE code on a daily basis (me included). So much for "be careful about running curl | bash!". That puts it into…
and what benefit does a golf course have to anyone? Unlike golf courses, AI summary is used by pretty much everyone. And if you dont think this is true, then you live in a bubble.
And people wonder why I support and wish the Chinese models/companies succeed?
The funny thing about comments like this is that the moment LLMs are going to replace everyone in the warehouse or the trucking industry, we suddenly have to do something against the LLM. But clearly they can't actually…
I couldn't read past the first paragraph > I mean, technically speaking, a video game from 1980 was likely to contain more logical branching points than a modern LLM's kernel, and was likely to be a lot more interesting…
It fascinates me that there's something like this in something as solid and rigid like matrix multiplication. What causes something so rigid to break apart and "leak" at very large scale? Why does the "optimization"…
The other crucial part to this is the ability to actually encode and test the theorem (via Lean). Otherwise, we would be swarmed with a billion lines of theorems that no one will be able to ever understand and verify…
They are also releasing the weights so I am more inclined to think they are better than most.
Yeap, I just need VSCode to look through the code. Its good enough for read-only purposes.
I would love to talk more with you about HFT work :) i am working in one myself! Please email akazaa96@gmail.com if you wanna have a chat!
I am having a brain aneurysm trying to understand this > Regulating gun ownership is exactly regulating the application. In your analogy, the gun is the AI. What you can do with the gun is the application. From what I…
> Side note, but it's always funny to me that whenever (and frequently) Japanese immigration policies are discussed on sites like HN and Reddit, there seems to always be a large number of clearly white people from…
> I have to disagree here. People who are really into agentic coding like to say/believe this, but come on, it's not rocket science! You literally ask the agent to do something and it does it, that's it. As long as you…
??? There's literally a white person in the article that is also reconsidering their situation? Why do you keep making this about "black, brown and east Asian" people?? They are xenophobic to literally everyone on Earth.
Exactly, it is already priced in. Try setting up shop in the middle of some really bad country and you will soon realize why food is not getting there.
If this is true, you would think that companies would be opening shops in the middle of (some shithole country) so they can make money (or someone else would grab it). But they don’t, why is that?
Sure, but what are you going to do with such a binary? It is probably high distributed. For instance, i don’t think we are ever going to get any games that is not streamed. At some point, the cost of reverse engineering…
Next token predictor is as useful as saying that humans are just atoms and neurones. It is technically true but meaningless.
Why would AMD willingly go into a low margin business with the consumer when they can focus on the enterprise? There’s currently a huge for diversification from NVIDIA because this is a long term deployment and they…
> But I can already see the next stage with Fable: If I give it a couple of paragraphs of spec and $50, then I can just leave the room and go wash the dishes. I learn nothing, I participate in nothing, and I bring…
Look, we are comparing against the average developer here And yes, they are obsolete
A good harness is a universal harness. It should not depend on the model at all. I foresee harness being the edge that people have. For instance, if you are able to encode laws as a lean program, that would be an…
I have used Codex (Sol 5.6 or whatever) to solve this problem. It turns the problem into Z3, then iteratively work through the problems until it figured out the solution. Personally, I did not learn that much from that…
Perhaps it shows that it does not matter how good your engineering is, or if you have sped up feature development 10x, if the shop is not providing value then who cares?
Do you really want to live in a world where you need to be logged in to call gcc?
I have this realization recently that everyone that uses Claude Code or Codex have basically been running RCE code on a daily basis (me included). So much for "be careful about running curl | bash!". That puts it into…
and what benefit does a golf course have to anyone? Unlike golf courses, AI summary is used by pretty much everyone. And if you dont think this is true, then you live in a bubble.
And people wonder why I support and wish the Chinese models/companies succeed?
The funny thing about comments like this is that the moment LLMs are going to replace everyone in the warehouse or the trucking industry, we suddenly have to do something against the LLM. But clearly they can't actually…
I couldn't read past the first paragraph > I mean, technically speaking, a video game from 1980 was likely to contain more logical branching points than a modern LLM's kernel, and was likely to be a lot more interesting…
It fascinates me that there's something like this in something as solid and rigid like matrix multiplication. What causes something so rigid to break apart and "leak" at very large scale? Why does the "optimization"…
The other crucial part to this is the ability to actually encode and test the theorem (via Lean). Otherwise, we would be swarmed with a billion lines of theorems that no one will be able to ever understand and verify…
They are also releasing the weights so I am more inclined to think they are better than most.
Yeap, I just need VSCode to look through the code. Its good enough for read-only purposes.
I would love to talk more with you about HFT work :) i am working in one myself! Please email akazaa96@gmail.com if you wanna have a chat!
I am having a brain aneurysm trying to understand this > Regulating gun ownership is exactly regulating the application. In your analogy, the gun is the AI. What you can do with the gun is the application. From what I…
> Side note, but it's always funny to me that whenever (and frequently) Japanese immigration policies are discussed on sites like HN and Reddit, there seems to always be a large number of clearly white people from…
> I have to disagree here. People who are really into agentic coding like to say/believe this, but come on, it's not rocket science! You literally ask the agent to do something and it does it, that's it. As long as you…
??? There's literally a white person in the article that is also reconsidering their situation? Why do you keep making this about "black, brown and east Asian" people?? They are xenophobic to literally everyone on Earth.
Exactly, it is already priced in. Try setting up shop in the middle of some really bad country and you will soon realize why food is not getting there.
If this is true, you would think that companies would be opening shops in the middle of (some shithole country) so they can make money (or someone else would grab it). But they don’t, why is that?
Sure, but what are you going to do with such a binary? It is probably high distributed. For instance, i don’t think we are ever going to get any games that is not streamed. At some point, the cost of reverse engineering…
Next token predictor is as useful as saying that humans are just atoms and neurones. It is technically true but meaningless.
Why would AMD willingly go into a low margin business with the consumer when they can focus on the enterprise? There’s currently a huge for diversification from NVIDIA because this is a long term deployment and they…
> But I can already see the next stage with Fable: If I give it a couple of paragraphs of spec and $50, then I can just leave the room and go wash the dishes. I learn nothing, I participate in nothing, and I bring…
Look, we are comparing against the average developer here And yes, they are obsolete
A good harness is a universal harness. It should not depend on the model at all. I foresee harness being the edge that people have. For instance, if you are able to encode laws as a lean program, that would be an…
I have used Codex (Sol 5.6 or whatever) to solve this problem. It turns the problem into Z3, then iteratively work through the problems until it figured out the solution. Personally, I did not learn that much from that…