This greatly depends on the type of coding you are doing. For easy webdev, sure. For me and my colleagues, LLMs have been quite unhelpful for programming until about five months ago. Mistakes can be devastating,…
I think this is an unfortunate reality that many miss. For simple and procedural tasks, yes, there are awesome alternatives. DeepSeek 4.1 Flash 1017 is my favourite by far. But for the headlining complex applications,…
I'm not foolish enough to say that AI is not economically viable. But these two companies specifically, OpenAI and Anthropic, just seem totally screwed. They're making great revenue, but their expenditure is…
And unfortunately, anyone who uses DeepSeek for serious math applications is extremely foolish, at least right now anyway. Disappointingly, the Chinese models are so far behind on math capability that it is a genuine…
Yes, that's about right. It is much easier for it to roughly copy other code that it has seen, than to understand the code it has been given enough to make targeted fixes.
You can definitely still get PCSX2 working on it though, and it's fantastic. PS2 and PS3 games are among my favourite uses for handheld PCs.
I'm normally not the cynical type, and I am appreciative of Karpathy's efforts to educate people on developing language models, but this is exactly how it reads. Every once in a while, everyone needs to touch grass.
Agreed, every behavior of this particular dev supports the hypothesis that they are producing mass slop to a "good enough" level to receive massive hype, without the intention to put in the thousands of GPU-hours it…
Indeed! Almost none of these most math folks are likely to read. The only thing to read is the statement, which is only a handful of lines in both cases. The point of Lean is that if that statement compiles and is…
That's fair, but I would argue that reading the specification is very easy by comparison. A quick one hour tutorial is usually enough judging from my students' experiences.
Why do you believe that learning Lean is a better use of time when the AI is clearly better at writing and interpreting Lean than it is writing quality papers? At this point, Lean is for autoformalization, no one is…
Do you care to share then? Because anyone I know with any sense right now is aware that "planning for the next forty or so years" is genuinely impossible at this point, especially in mathematics, and the right approach…
Yes. Most probably do not understand the notation involved in, and the statement of, the Lindeberg-Levy Central Limit Theorem. But every scientist uses this theorem in one way or another. These ideas have a way of…
"Plausible" text was preferred over rational text when we trained LLMs using RLHF. It's rapidly shifting the other way now with RLVR, which enforces correctness by default.
[dead]
No, this is different, and this is coming from someone who has been studying deep learning for the last decade. We are talking about the difference between RLHF and RLVR strategies. The former benefits clarity and…
The first mistake that you are making is assuming that OpenAI is a singular conglomerate with the same set of values across its members, and that its researchers bear the same set of behaviors and opinions as its scummy…
Many of the most prominent people in the AI industry all know each other or have deep social ties. Why? Because they all came from the same places. Neural network research was niche circa 2012 and early adopters post…
I think most supervisors try to discourage students from writing in this way because there is a delicate art to it that you are unlikely to be able to meet at that career stage. When I read some of the texts from Martin…
> The outcome of this 'safety' is restricting public access to AI and giving a monopoly of access to the industry. This is unbelievably ignorant speech. I have not received a dime of any of this funding, but I do know…
Maybe just nostalgia talking, but the height of Newgrounds really seemed like a golden age for light gaming. The shift to mobile games has just resulted in a large number of gambling simulators, which I'm sure has been…
This is a fantasy I remember hearing in grad school. Get a little more senior and the whole perception shatters. You can put whatever rubbish you want out there. But if you are getting attention, or want attention, you…
This was my point though. Not sure why you are disagreeing? The original argument was that there was no criteria for publication other than replication, or that is how I read it. I was refuting that. Perelman was…
Absolutely not. Otherwise, if I prove something original, and it is correct and replicable, this would mean I can publish in Annals of Mathematics. Now if we narrow that to publishing somewhere, then sure, but that's…
This greatly depends on the type of coding you are doing. For easy webdev, sure. For me and my colleagues, LLMs have been quite unhelpful for programming until about five months ago. Mistakes can be devastating,…
I think this is an unfortunate reality that many miss. For simple and procedural tasks, yes, there are awesome alternatives. DeepSeek 4.1 Flash 1017 is my favourite by far. But for the headlining complex applications,…
I'm not foolish enough to say that AI is not economically viable. But these two companies specifically, OpenAI and Anthropic, just seem totally screwed. They're making great revenue, but their expenditure is…
And unfortunately, anyone who uses DeepSeek for serious math applications is extremely foolish, at least right now anyway. Disappointingly, the Chinese models are so far behind on math capability that it is a genuine…
Yes, that's about right. It is much easier for it to roughly copy other code that it has seen, than to understand the code it has been given enough to make targeted fixes.
You can definitely still get PCSX2 working on it though, and it's fantastic. PS2 and PS3 games are among my favourite uses for handheld PCs.
I'm normally not the cynical type, and I am appreciative of Karpathy's efforts to educate people on developing language models, but this is exactly how it reads. Every once in a while, everyone needs to touch grass.
Agreed, every behavior of this particular dev supports the hypothesis that they are producing mass slop to a "good enough" level to receive massive hype, without the intention to put in the thousands of GPU-hours it…
Indeed! Almost none of these most math folks are likely to read. The only thing to read is the statement, which is only a handful of lines in both cases. The point of Lean is that if that statement compiles and is…
That's fair, but I would argue that reading the specification is very easy by comparison. A quick one hour tutorial is usually enough judging from my students' experiences.
Why do you believe that learning Lean is a better use of time when the AI is clearly better at writing and interpreting Lean than it is writing quality papers? At this point, Lean is for autoformalization, no one is…
Do you care to share then? Because anyone I know with any sense right now is aware that "planning for the next forty or so years" is genuinely impossible at this point, especially in mathematics, and the right approach…
Yes. Most probably do not understand the notation involved in, and the statement of, the Lindeberg-Levy Central Limit Theorem. But every scientist uses this theorem in one way or another. These ideas have a way of…
"Plausible" text was preferred over rational text when we trained LLMs using RLHF. It's rapidly shifting the other way now with RLVR, which enforces correctness by default.
[dead]
[dead]
No, this is different, and this is coming from someone who has been studying deep learning for the last decade. We are talking about the difference between RLHF and RLVR strategies. The former benefits clarity and…
The first mistake that you are making is assuming that OpenAI is a singular conglomerate with the same set of values across its members, and that its researchers bear the same set of behaviors and opinions as its scummy…
Many of the most prominent people in the AI industry all know each other or have deep social ties. Why? Because they all came from the same places. Neural network research was niche circa 2012 and early adopters post…
I think most supervisors try to discourage students from writing in this way because there is a delicate art to it that you are unlikely to be able to meet at that career stage. When I read some of the texts from Martin…
> The outcome of this 'safety' is restricting public access to AI and giving a monopoly of access to the industry. This is unbelievably ignorant speech. I have not received a dime of any of this funding, but I do know…
Maybe just nostalgia talking, but the height of Newgrounds really seemed like a golden age for light gaming. The shift to mobile games has just resulted in a large number of gambling simulators, which I'm sure has been…
This is a fantasy I remember hearing in grad school. Get a little more senior and the whole perception shatters. You can put whatever rubbish you want out there. But if you are getting attention, or want attention, you…
This was my point though. Not sure why you are disagreeing? The original argument was that there was no criteria for publication other than replication, or that is how I read it. I was refuting that. Perelman was…
Absolutely not. Otherwise, if I prove something original, and it is correct and replicable, this would mean I can publish in Annals of Mathematics. Now if we narrow that to publishing somewhere, then sure, but that's…