I love hitting these things in the real world. Not the big, but the comment. You just know someone spent a fortune in time and company resources to never solve the problem and their frustration level was ragequit. But then something stupid like adding
while (0){};
Suddenly made it work and they were like, fuckit.
Usually it's a bug somewhere in a compiler trying to over optimize or something and putting the line in there caused the optimization not to happen or something. Black magic.
The downside is that the compiler bug probably gets fixed, and then decades later the comment and line are still there...
Duck typing is the best if fully embraced. But it also means you have to worry just a little bit about clean failures once the project grows a little. I like this better than type checking relentlessly.
It also means that your test suite or doctests or whatever should throw some unexpected types around now and again to check how it handles ducks and chickens and such :)
The ideal result? LLMs are just early versions of much better things that come later.
The unlikely result: we develop a separate human curated internet somewhere, complete with verification that a human wrote every bit. Basically verifiable digital id and signing on everything. Maybe.
The probable result: the internet turns to shit as AIs are trained on content created by AIs.
I don't use mate, but assuming that it has a file manager and that file manager has hotkeys that conform to the muscle memory that is built using other file managers... Try it and see what happens?
All this shows is that other countries (China, etc.) will have carte blanche if they have nukes. If they don't, they'll get them. Imagine a nuclear armed Venezuela going after their neighbours because conventional intervention is too risky suddenly. Blah.
But perhaps more interesting, the annexation of Texas to the US initially allowed Texas to be split into four additional states. https://en.wikipedia.org/wiki/Texas_divisionism -- imagine all those extra senators popping up today if Texas decided to execute on that agreement.
Probably the money paid for whomever Alex Jones lost lawsuits against -- so like Sandy Hook victims.