What I find most amusing in this article is that its author states with great confidence that electronic systems designers don't use anything like rule checkers or typing, when the EDA industry is well-known for its extensive use of validation tools, and the design of large-scale complex modern electronic systems is almost impossible without it.

For the uninitiated, one popular example is SPICE: https://en.wikipedia.org/wiki/SPICE

Yeah, this made me laugh. The chip industry spends literally billions of dollars each year on simulation and formal verification tools.