Where are we going from here? Software engineering needs formal methods - I liked this because it’s well written but also because it highlights that software is used in many different areas and that formal methods are appropriate in some of those but not necessarily all those areas, and the world of software engineering is changing as we learn new approaches, things worth considering as we introduce AI dev toolsntietz.com #