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

Very hard for me to believe Musk didn’t overpay for Twitter. So whatever he saw, I don’t think was there. Hard to know completely for sure given it is private. But I strongly suspect that money definitely would be making him more in passive investments.

If the argument is that it was a stupid business decision, but he had other motives (clout, etc…), sure whatever.