[haakonhr]

My optimistic take is that more time will be spent thinking about specification and validation. I also hope that code synthesis tools and verification becomes more common to use.