Reblogged by cstanhope@social.coop ("Your friendly 'net denizen"):
richcarl@mastodon.nu ("Richard Carlsson") wrote:
I just love how we've now spent far more computational resources on generating funny pictures and spitting out flawed code than was ever spent on running formal verfication and exhaustive testing on important software because it was thought to be "too expensive".