I'm really not sure this is true. Recently for work I've been making changes in a system written in tcl in the early 2000s, including a custom dsl that has never escaped this company. The LLMs can write it fine. It wrote it almost acceptably on first sight, an hour or two of targeted test cases to extract a one page functional spec of the subset we needed and that was it. They are quite good at finding and fitting to patterns, go figure.

With prose fingerprinting, sophisticated tracking, now your identities are only separate by rapidly eroding social convention. Intentionally merging them allows you to have control over the process, and helps you maintain discipline about what you reveal where. If you don't do it it will be done to you.

The second part is an emerging convention but it's fairly common from what I've seen. IDK maybe no one will be reading or writing code in 18 months but if they are we'll need to separate these two things.

Secondarily but probably more importantly: it's real easy to read something and say "yep I understand that." It's a lot harder to fool yourself when you have to actually write down, with your own brain, what that thing you read does. If you're not doing this you must have incredible discipline elsewhere to make up for it.

But I do think what benefits LLMs is the speed and accuracy of feedback. Type systems cover the accuracy part, but haskell was killing them on speed. It seems like a strange choice to go so far the other way on accuracy when there's a lot of languages in between. But I'm not familiar with the project so not in a position to call it.

It's not also really about expressiveness IMO. I've found LLMs to be best with more constrained type systems: they are better at ocaml than they are at typescript.

Why certain approaches didn't catch on until recently, or ever, is an interesting thing to think about but "we didn't know how" is not the story here.

Not every day, maybe not even every month, but I've faced plenty of problems I was well equipped to solve directly because of the formal study of them.

Or like look at that corner of northern indiana. That's the part of indiana that is part of the chicago metro area. Makes absolute sense to avoid cross-timezone commutes.

Northern michigan is pretty damn far north! Winter sunsets up there would be before 4pm on central time. Makes sense for them to shift it permanently.

I think they probably all make sense if you know how to look at them right.

Kris Kristofferson was writing songs about the petty cruelty of cops in 1970. Fuck tha Police was released almost 40 years ago. Richard Wright published a novel in 1941 about a man who was tortured into a false confession by police.

The technologies are new and powerful but that's not the issue. The issue is that police are themselves lawless scum who will use any tool at their disposal for whatever harm they feel like inflicting, to who they always inflict it on. We should stop giving them new tools, absolutely. But we also have to stop them.