Agreed.
And sometimes code is not the right medium for communicating domain knowledge. For example, if you are writing code the does some geometric calculations, with lot of trigonometry, etc. Even with clear variable names, it can be hard to decipher without a generous comment or splitting it up into functions with verbose names. Sometimes you really just want a picture of what's happening, in SVG format, embedded into the function documentation HTML.
Apparently it's hard to get hired in software. Meanwhile, some of the worst software ever made is being written today. Have you tried using literally any software recently? We're in this "barely good enough to function while being heavily supplemented by tech support" phase. I guess capitalism breeds incompetence as long as it's still profitable?
It's almost like these languages were designed to solve different problems.
Watching this New York Post propaganda video yesterday was so upsetting. Comments reveal how racism/xenophobia is still very alive in the US.
Maybe you should be directing this sentiment at the woman who keeps talking about how she killed her dog.
Sure! Here's a 100PB thumb drive.
Lol the yellow eye barely saves it.
Oh gosh I'm so afraid of the anonymous business daddy that told you AI is sexy.
My greatest strength is already also my greatest weakness: hyper focus from ADHD.
I have a feeling you are misunderstanding what is meant by "theorems for free" here. For example, one theorem that is proven by all safe Rust programs is that they don't have data races. That should always be a requirement for functional software. This is a more pragmatic type of automatic theorem proving that doesn't require a direct proof from the code author. The compiler does the proof for you. Otherwise the theorem would not be "free" as stated in OP.
I have so many files that have been stalled at >95% for months.