Programmers who want to change how we code before catastrophe strikes

Re:Programmers who want to change how we code before catastr... by arjie on Thursday September 28, 2017 @08:34AM (#15356610)

We're the last market-driven field. So most companies take the attitude of "Take your approach. I'll see you in the market". This isn't anti-intellectualism or realism or pragmatism. This is a different fitness function for software. Bug-free programs aren't inherently good.

If I'm building X-ray scanning software I'm going to be careful. But if I'm writing a Slack lunch bot in Coq for anything but the fun of it, I'm making questionable choices.

You know the old saying: "Anyone can build a bridge that stands. It takes an engineer to build a bridge that barely stands."

[ Parent | on HN ]

Re:Programmers who want to change how we code before catastr... by HumanDrivenDev on Thursday September 28, 2017 @07:41PM (#15361685)

I'm not talking about anything as ambitious as making all software be formally verified.

All I want is for the people in this industry to take it seriously, for us to have standards as an industry, and some kind of professional certification to exclude those that don't know the basics. Software is rife with cowboys and it harms the image of those of us who actually care.

[ Parent | on HN ]