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
8y, 37w 4 replies
Login or register your account to reply
Martijn I think en.wikipedia.org/w... is what you are after? cc/
8y, 37w 1 reply
Mark Dain Yeah this seems more like it. Wikipedia says there's a greater need in hardware but I think software is fast approaching the same level of care needed
8y, 37w reply
🦿 Lucian Marin That's what unit testing (en.wikipedia.org/w...) is for.
8y, 37w 1 reply
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.
8y, 37w reply