I get frustrated by how much "math" is a dirty word in engineering circles.
There have been plenty of times where I have felt that utilizing formal methods would benefit some problematic patch of code, but when I suggest something like TLA+ or Isabelle, every engineer in the room will wince at me and act like I asked them to solve the wave equation. It'll usually be dismissed in some form of "we don't want to force every engineer to learn all that math".
It's frustrating to me because, I mean, we're engineers. Any high school kid can learn to program for free on YouTube these days. If we're not utilizing theory, then what exactly are we doing to earn our ridiculous salaries?
There have been plenty of times where I have felt that utilizing formal methods would benefit some problematic patch of code, but when I suggest something like TLA+ or Isabelle, every engineer in the room will wince at me and act like I asked them to solve the wave equation. It'll usually be dismissed in some form of "we don't want to force every engineer to learn all that math".
It's frustrating to me because, I mean, we're engineers. Any high school kid can learn to program for free on YouTube these days. If we're not utilizing theory, then what exactly are we doing to earn our ridiculous salaries?