If there is a skill to using LLM coding agents, I think it is mostly just developing an intuitive sense for how to prompt and the “jagged frontier” of LLMs.

IME, the tools are largely interchangeable. They are all slightly different, but the basics of prompting and the jaggedness of the frontier is more or less the same across all of them.

Switching from codex to claude code is orders of magnitude simpler than switching from c# to java or emacs to vim.

THe HN title seems very misleading to me. How is this, in any sense of the word, "formal?" I don't see that particular word used to describe this tool on the web page itself.

The site does describe it as a "programming language," which feels like a novel use of the term to me. The borders around a term like "programming language" are inherently fuzzy, but something like "code generation tool" better describes CodeSpeak IMHO.

I don't think you did get my point (my fault perhaps), as my only point is that if you take away from the Haifa study that fines will automatically increase the prevalence the targeted behavior in all situations, that's an insane conclusion to draw. There are lots of variables at play: the size of the fine, how consistently and strictly it is enforced, the ability of the finer to collect the fine, the social context, and so on. The Haifa study examines none of these. It does does highlight an interesting phenomenon, but without further studies that control for these variables, I don't think we can just blindly assume that the outcome in the Haifa day cares will apply to all situations where a fine is levied.

I see all the time on the Internet (and even IRL once) people make claims like, "oh, carbon taxes will just increase CO2 output, you know like in that Israeli daycare study." Drives me nuts.

Are fines the best possible solution to this particularly traffic problem? I have no idea. I'm not an expert in this area. But I am highly confident that whatever relation it has to the Haifa daycare study is so incredibly tenuous that it is not worth mentioning.

The Haifa daycare study can’t be used to extrapolate much.

They fined parents (IIRC) ~$3 per late pickup. Rerun the study with a $300 fine and let’s see how it pans out. It’s an interesting finding, but that then people take it to mean that fines don’t work (no matter their size) is insane.

This comment is why I read HN