Obama authorized North Korea sanctions over cyber hacking. Solution there, it seems to me, is to create unhackable systems.—
Neil deGrasse Tyson (@neiltyson) January 03, 2015
Needless to say, this tweet prompted a number of subtle (and not so subtle) responses; it is just vague enough to not be 100% sure he is actually joking (because the software verification problem is trivial, right?).
N.B. high-profile cosmologists appear to be quite happy to make bold statements to the media on issues well outside of their expertise…