News for hackers. Stuff that matters.
Re:Where are we going from here? Software engineering needs ... by taeric on Saturday July 03, 2021 @09:18PM (#27726558)
I'm pretty sure there has to be some irony involved with this take coming the week of a civil engineered building collapsing in Miami.

Our industry is not unique here. And many formal methods are hidden by the tools of the trade.

Re:Where are we going from here? Software engineering needs ... by TheOtherHobbes on Sunday July 04, 2021 @08:07AM (#27729061)
The building collapsed because it was poorly maintained and there was serious structural damage - which could easily have been avoided.

This was noted three years ago by a civil engineering inspection, but the building's owners/managers did nothing about it.

Re:Where are we going from here? Software engineering needs ... by taeric on Sunday July 04, 2021 @02:27PM (#27731616)
This doesn't really take away from the point. The life cycle of most software projects is tiny compared to the life cycle of most buildings. And in most all failures, the warnings were clear way in advance.