I agree and commiserate. In the near term my picture is pretty grim. There's fantastic uses for these tools but they're being abused. I was big on correctnes

I agree and commiserate. In the near term my picture is pretty grim. There's fantastic uses for these tools but they're being abused. I was big on correctness, software safety (think medical devices, not memory) and formal proofs anyway, so I think I'm just going to take the pay cut and start selecting for those types of jobs. Your run of the mill SaaS or open source+commercial companies are all becoming a death march.