Security by proof, model checking, semantics is still a good, effective tool! Leveraging the type system is a good communication channel for programmers mainta

Security by proof, model checking, semantics is still a good, effective tool! Leveraging the type system is a good communication channel for programmers maintaining the system. Proofs and models of the protocols are still important. But yes... we still need to fix CPUs. And the class of errors (those of omission) are still worth removing from our code regardless of spectre or meltdown.