The problem in Scarf's case wasn't Haskell's type system, but the long compile time for even small changes.
I thought that was part of the appeal of this. There's something spooky and ironic about it.
I hate the marketing-selling-linkedn style as much as anyone, but I don't think it's an LLM thing in particular. It's a style that existed before LLMs and it's very easy to make LLMs avoid it with one or two prompt…
I feel this is a lazy, straw-manning comment.
Maybe it's not something they would "typically miss", but, from proof by existence, it's something they sometimes miss. It does speak to the benefits of using lean in that you don't need to be clever about the different…
>The strike by Alibaba is described as a "distillation" effort, which Anthropic has said involves training a less capable model on the outputs of a stronger one. Claude used TB of content without permission to train…
>I'm still a AI skeptic What does this mean in June 2026 wrt coding? To me it sounds like being a "rice cooker skeptic". Some people don't like using rice cookers, some do.
Read parent's post carefully. The post starts by saying that discussing whether they have subjective emotion is a waste of time, so the post is definitely NOT saying that Claude has emotions.
I've had good experiences with Cursor so far and it's my main IDE. I've noticed some UI changes, but I've switched fast and they didn't bug me
I find talking about X psychosis (or generally using mental illness metaphors) unproductive. It sets up the conversation to be "nothing else to do with this person". Maybe the problem is you, but you won't figure that…
The USA has the biggest incarceration rate of any developed country. If you say that it's hard to get the state to put you in jail, then the only way I can reconcile that with facts is that people in the USA commit…
Are you talking about open source or commercial products? I can't speak for the pytorch lighting case, but I wouldn't be surprised if the maintainers didn't get any $ from it. They would be sad if the credibility of the…
You can evaluate the limits of a spoon by trying to cut meat with it. The point is what are the typical use cases for the tool / what are the agreed upon areas of application? Making the LLM do math with large numbers,…
"curve-fitting" has a long history (centuries old) and could be regarded more as a numerical method issue. Rigorous understanding of what is over fitting, techniques to avoid it and select the right complexity of the…
>as it seems to be mostly written by AI. Is there something in particular that made you conclude that or are you going just with how it felt? For what it's worth, it didn't seem to me.
Not a local, but in my experience this is due to tourists not being able to speak Japanese, which makes the people working in a place very uncomfortable ("will this person follow the rules? How can I do proper service…
I get your point, but I don't think your nit-pick is useful in this case. The point is that you can't abstract away the details of back propagation (which involve computing gradients) under some circumstances. For…
>But all intelligence, of any sort, is "jagged" when measured against a different set of problems or environments. On the other hand, research on "common intelligence" AFAIK shows that most measures of different types…
>the limits of LLMs will be hit long before we they start to take on human capabilities. Why do you think this? The rest of the comment is just rephrasing this point ("llms isn't suited for AGI"), but you don't seem to…
50% of Gaza destroyed, 100% of the hospitals. It's a good thing they precisely targeted Hamas assets
Not sure what is your point. The Israeli military could throw a few atomic bombs and wipe out the entire population in Gaza. That they don't is a sign of restraint for you?
You're assuming the objective is to lower the civilian casualties. From the statements of prominent Israeli ministers and the actual behavior of the bombardment it's pretty clear that, for the Israeli government,…
They're usually thought as "decoder only"
Maybe I'm using the wrong definitions, but I think that's backwards. Say you are receiving records from users and different intervals and you want to eventually store them in a different format on a database. Streaming…
Most of these corrections seem stylistic / "I would say it this way to make it clear" rather than actual mistakes.
The problem in Scarf's case wasn't Haskell's type system, but the long compile time for even small changes.
I thought that was part of the appeal of this. There's something spooky and ironic about it.
I hate the marketing-selling-linkedn style as much as anyone, but I don't think it's an LLM thing in particular. It's a style that existed before LLMs and it's very easy to make LLMs avoid it with one or two prompt…
I feel this is a lazy, straw-manning comment.
Maybe it's not something they would "typically miss", but, from proof by existence, it's something they sometimes miss. It does speak to the benefits of using lean in that you don't need to be clever about the different…
>The strike by Alibaba is described as a "distillation" effort, which Anthropic has said involves training a less capable model on the outputs of a stronger one. Claude used TB of content without permission to train…
>I'm still a AI skeptic What does this mean in June 2026 wrt coding? To me it sounds like being a "rice cooker skeptic". Some people don't like using rice cookers, some do.
Read parent's post carefully. The post starts by saying that discussing whether they have subjective emotion is a waste of time, so the post is definitely NOT saying that Claude has emotions.
I've had good experiences with Cursor so far and it's my main IDE. I've noticed some UI changes, but I've switched fast and they didn't bug me
I find talking about X psychosis (or generally using mental illness metaphors) unproductive. It sets up the conversation to be "nothing else to do with this person". Maybe the problem is you, but you won't figure that…
The USA has the biggest incarceration rate of any developed country. If you say that it's hard to get the state to put you in jail, then the only way I can reconcile that with facts is that people in the USA commit…
Are you talking about open source or commercial products? I can't speak for the pytorch lighting case, but I wouldn't be surprised if the maintainers didn't get any $ from it. They would be sad if the credibility of the…
You can evaluate the limits of a spoon by trying to cut meat with it. The point is what are the typical use cases for the tool / what are the agreed upon areas of application? Making the LLM do math with large numbers,…
"curve-fitting" has a long history (centuries old) and could be regarded more as a numerical method issue. Rigorous understanding of what is over fitting, techniques to avoid it and select the right complexity of the…
>as it seems to be mostly written by AI. Is there something in particular that made you conclude that or are you going just with how it felt? For what it's worth, it didn't seem to me.
Not a local, but in my experience this is due to tourists not being able to speak Japanese, which makes the people working in a place very uncomfortable ("will this person follow the rules? How can I do proper service…
I get your point, but I don't think your nit-pick is useful in this case. The point is that you can't abstract away the details of back propagation (which involve computing gradients) under some circumstances. For…
>But all intelligence, of any sort, is "jagged" when measured against a different set of problems or environments. On the other hand, research on "common intelligence" AFAIK shows that most measures of different types…
>the limits of LLMs will be hit long before we they start to take on human capabilities. Why do you think this? The rest of the comment is just rephrasing this point ("llms isn't suited for AGI"), but you don't seem to…
50% of Gaza destroyed, 100% of the hospitals. It's a good thing they precisely targeted Hamas assets
Not sure what is your point. The Israeli military could throw a few atomic bombs and wipe out the entire population in Gaza. That they don't is a sign of restraint for you?
You're assuming the objective is to lower the civilian casualties. From the statements of prominent Israeli ministers and the actual behavior of the bombardment it's pretty clear that, for the Israeli government,…
They're usually thought as "decoder only"
Maybe I'm using the wrong definitions, but I think that's backwards. Say you are receiving records from users and different intervals and you want to eventually store them in a different format on a database. Streaming…
Most of these corrections seem stylistic / "I would say it this way to make it clear" rather than actual mistakes.