John Olinda What would you say are the major milestones in computing technology?

Mark Dain Code that can be proven to be correct (and thus bug free). Until this happens I don't want to go in a self driving car and I'd like to avoid IoT if possible

🦿 Lucian Marin That's what unit testing (en.wikipedia.org/w...) is for.

Mark Dain No. Unit tests just show for x input we always get y output. What happens when unexpected z input is given? I'm thinking of code that, for instance, can be proven to never crash, overflow or behave in an unpredictable way.