theowaway213456

Can't a phone decode a QR code natively? I don't even get what it does

Without any context for what you're working on, I'd have to assume the reason you don't hit the $20 subscription limit is that you're either not using it very often, or you're working on some relatively basic CRUD app that doesn't require it to think very deeply.

I tear through my $200 subscription because I often have 3-4 agents running simultaneously, exploring performance optimizations, building features, monitoring production rollouts, or investigating production problems/customer issues in parallel.

The downside is that I do spend most of my time reading the agent's output these days.

People will pay for more intelligent models. Astra and Fable are more intelligent than these open weight models and can solve problems that are much more difficult, and that's extremely valuable. It's not any more complicated than that.

How do you even write a harness that can use a Claude subscription? I thought it was not allowed by Anthropic's ToS and can get you banned?

What's the `: tmp;` incantation for?

That requires much more thinking (because of calculation) though doesn't it? Which decision models are not optimized for.

Can't the non-deterministic LLM produce deterministic software? Assuming it is not allowed to modify the theorem proving software.

> Using the right abstractions (including the right number of abstractions) and the right data structures and algorithms is always going to trump the constants language choice can optimize.

I was with you until this paragraph, which is straight up incorrect. Language choice absolutely matters if your goal is performance.

The most obvious counterexample is that the TypeScript team pretty much did a direct port from TS to Golang, without significantly rewriting their core algorithms or changing their data structures, and it sped up the TS compiler by 10X, which is an enormous performance improvement that would be silly to dismiss as just a "constant." This is because JS is a bad choice of language for implementing a fast compiler, primarily due to its poor support for multithreading.

Do yourself a favor and look up eBPF - it's incredibly powerful and cool tech. Basically lets you write scripts that run inside the kernel

At least they clarified they are in a yard rather than a lab.

It's the second sentence of the blog post.

Site is broken: "Error establishing a database connection"

What would it mean for codex to "implement LSPs"