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.
2000s babies are starting to feel old?
Shit...
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.
That's exactly the myopic thinking that put us in this situation, so you shouldn't be surprised to find this person.
For parties: just buy more pizza
It's almost like these languages were designed to solve different problems.