Viewing profile — hatefulmoron

POGOs are criminalized and often operated by illegal immigrant Chinese people, it's not really representative. At least that's my understanding having lived in Manila for a few yea…

That's across 64 concurrent streams; you could make more concurrent requests to DeepSeek API no?

After using a tiling WM, it feels like this is a window manager job. It even works for non-terminal applications.

> Call me aged out but im not so sure that your vibe coded app or that tik tok upload is gonna hit the same in 5080. This is true of almost anything: past, present, or future. Most…

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 aban…

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 m…

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 …

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 th…

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 …

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 u…

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 t…

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 com…

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 (a…

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 da…

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 …

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 …

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 …

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 wit…

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 thi…

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 th…