[reggieband]

I disagree and I'm sure we'd only be able to trade anecdotes and no real evidence. However, my experience working in industry for 20+ years is that almost no working programmers pay any attention to such things. For example, when my team recently decided to switch from Javascript to Typescript there was zero consideration about the fundamental soundness of either language. I had the same experience when a team I recently worked with was debating a switch from Java to Kotlin. Nothing approaching the topic of soundness even came up.

I think hacker news can be a bubble since these deeper issues can sometimes appear here. I recall a recent post about a soundness bug found in Rust and it generated quite a lot of discussion. However, I see that as analogous to the intense scrutiny of a small cabal of scientists/philosophers, the Vienna Circle for example, who did take these fundamentals seriously in math/sciences. I just do not believe and have not experienced that sentiment to be prevalent outside of this bubble.