Sunday 4th July, 2021 #
- 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 tools
- England beat Ukraine 4-0 to go through to the Euro semi-finals
- League of Legends’ new music gives streamers lo-fi beats to game to - I really like this idea for a themed music album, curious to hear what it sounds like