Not sure how you're replying to me without looking at the link.
Isn't that "more standard C" because it's written by Claude?
I mean, we view social networks as having network effects that keep people there. The same force that stops people from switching from Facebook and TikTok prevents people from abandoning social media altogether. Waiting…
I'm not in favor of these social media bans, but I would think the benefit here is that without the ban your child will be in the "real world" while everybody else's is on social media. This would make the "real world"…
Aren't they related in the sense that they're not tech/SaaS/software related? "I'm looking into being an elevator mechanic; I need the money because my wife is pregnant." and then "I'm writing poetry by hand." Like,…
Who do you imagine the winners and losers will be? To the extent AI is useful and disruptive, it's best utilized by people with capital. Which is to say, the winners are few and the losers are everybody else. In this…
How am I being virulently anti-AI? I've been a Claude Code max subscriber for many months and find it very helpful. It feels a little unfair to conclude that any criticism is just unfounded fear and insecurity..
I could also include the correct implementation for it to copy in the prompt, if you get what I'm trying to say. Some amount of laziness or vagueness in the prompt is an intended use case, it's surely the point of…
You're right. I think having it spawn lots of subagents, read everything, formulate a big and detailed plan, only for it to be subtly wrong while requiring me to carefully review the result and the intermediate plans…
Plan mode improves results, but it doesn't solve the underlying problems. Pretty often Claude Opus 4.7 on xhigh will formulate a reasonable enough plan, churn for a while, then come back with a summary that it didn't…
I wouldn't use any provider: z.ai, Claude, OpenAI, ... if I was concerned about the government obtaining my prompts. If you're doing something where this is a legitimate concern (as opposed to my open source stuff), you…
Yeah, when I say "current day Claude" I'm referring to Opus 4.5, which is what I always use on the max plan.
I got their z.ai plan to test alongside my Claude subscription; it feels about on par with something between sonnet 4.0 and sonnet 4.5. It's definitely a few steps below current day Claude, but it's very capable.
I've had the $20/month plan for a few months alongside a max subscription to Claude; the cheap codex plan goes a really long way. I use it a few times a day for debugging, finding bugs, and reviewing my work. I've ran…
Dafny and similar languages use SMT; their semantics need to be such that you're giving enough information for your proof to verify in sufficient time, otherwise you'll be waiting for a very long time or your proof is…
Is that interesting? Computers accomplish all sorts of tasks which require thinking from humans.. without thinking. Chess engines have been much better than me at chess for a long time, but I can't say there's much…
I admit that when reading the description of your relationship (I don't mean to be disrespectful, for what it's worth) I can't help but wonder how it can possibly be consistent with "a relationship between two people…
If you believed that you wouldn't explicitly say there was no AI generated content at all, you'd let it speak for itself.
You're proposing a truism: if you don't get a good result, it's either because your query is bad or because the LLM isn't good enough to provide a good result. Yes, that is how this works. I'm talking about the case…
I've read your questions a few times and I'm a bit perplexed. What kind of answers are you expecting me to give you here? Surely if you use Claude Code or other tools you'd know that the answers are so varying and…
Distinction without a difference. I'm talking about its output being insufficient, whatever word you want to use for output.
I have a Claude max subscription. When I think of bad Claude code, I'm not thinking about unused variable definitions. I'm thinking about the times you turn on ultrathink, allow it to access tools and negotiate it's…
I don't really understand your point. It reads like you're saying "I like good code, it doesn't matter if it comes from a person or an LLM. If a person is good at using an LLM, it's fine." Sure, but the problem people…
Calling things "slop" is just begging the question. The real differentiating factor is that, in the past, "human-generated slop" at least took effort to produce. Perhaps, in the process of producing it, the human…
My mistake :-)
Not sure how you're replying to me without looking at the link.
Isn't that "more standard C" because it's written by Claude?
I mean, we view social networks as having network effects that keep people there. The same force that stops people from switching from Facebook and TikTok prevents people from abandoning social media altogether. Waiting…
I'm not in favor of these social media bans, but I would think the benefit here is that without the ban your child will be in the "real world" while everybody else's is on social media. This would make the "real world"…
Aren't they related in the sense that they're not tech/SaaS/software related? "I'm looking into being an elevator mechanic; I need the money because my wife is pregnant." and then "I'm writing poetry by hand." Like,…
Who do you imagine the winners and losers will be? To the extent AI is useful and disruptive, it's best utilized by people with capital. Which is to say, the winners are few and the losers are everybody else. In this…
How am I being virulently anti-AI? I've been a Claude Code max subscriber for many months and find it very helpful. It feels a little unfair to conclude that any criticism is just unfounded fear and insecurity..
I could also include the correct implementation for it to copy in the prompt, if you get what I'm trying to say. Some amount of laziness or vagueness in the prompt is an intended use case, it's surely the point of…
You're right. I think having it spawn lots of subagents, read everything, formulate a big and detailed plan, only for it to be subtly wrong while requiring me to carefully review the result and the intermediate plans…
Plan mode improves results, but it doesn't solve the underlying problems. Pretty often Claude Opus 4.7 on xhigh will formulate a reasonable enough plan, churn for a while, then come back with a summary that it didn't…
I wouldn't use any provider: z.ai, Claude, OpenAI, ... if I was concerned about the government obtaining my prompts. If you're doing something where this is a legitimate concern (as opposed to my open source stuff), you…
Yeah, when I say "current day Claude" I'm referring to Opus 4.5, which is what I always use on the max plan.
I got their z.ai plan to test alongside my Claude subscription; it feels about on par with something between sonnet 4.0 and sonnet 4.5. It's definitely a few steps below current day Claude, but it's very capable.
I've had the $20/month plan for a few months alongside a max subscription to Claude; the cheap codex plan goes a really long way. I use it a few times a day for debugging, finding bugs, and reviewing my work. I've ran…
Dafny and similar languages use SMT; their semantics need to be such that you're giving enough information for your proof to verify in sufficient time, otherwise you'll be waiting for a very long time or your proof is…
Is that interesting? Computers accomplish all sorts of tasks which require thinking from humans.. without thinking. Chess engines have been much better than me at chess for a long time, but I can't say there's much…
I admit that when reading the description of your relationship (I don't mean to be disrespectful, for what it's worth) I can't help but wonder how it can possibly be consistent with "a relationship between two people…
If you believed that you wouldn't explicitly say there was no AI generated content at all, you'd let it speak for itself.
You're proposing a truism: if you don't get a good result, it's either because your query is bad or because the LLM isn't good enough to provide a good result. Yes, that is how this works. I'm talking about the case…
I've read your questions a few times and I'm a bit perplexed. What kind of answers are you expecting me to give you here? Surely if you use Claude Code or other tools you'd know that the answers are so varying and…
Distinction without a difference. I'm talking about its output being insufficient, whatever word you want to use for output.
I have a Claude max subscription. When I think of bad Claude code, I'm not thinking about unused variable definitions. I'm thinking about the times you turn on ultrathink, allow it to access tools and negotiate it's…
I don't really understand your point. It reads like you're saying "I like good code, it doesn't matter if it comes from a person or an LLM. If a person is good at using an LLM, it's fine." Sure, but the problem people…
Calling things "slop" is just begging the question. The real differentiating factor is that, in the past, "human-generated slop" at least took effort to produce. Perhaps, in the process of producing it, the human…
My mistake :-)