[20k]

Its very funny watching certain segments of the programming industry rediscovering incredibly basic programming principles, after railing against them for so long. The AI people are starting to try and create formal specs to force the AI to generate an exact output, which is absolutely hilarious to me

Dynamically typed/untyped languages finding that strict and visible typing is actually good is another

[jimbokun]

I feel like there was a name for formal specs that produce an exact output, but it escapes me…

[pjmlp]

Another one, WebAssembly people recreating application servers, and networking object models.