Everyone who has been evangelizing strongly typed safe-by-construction languages (or other lightweight formal methods) has been saying this for like 20 years. I

Everyone who has been evangelizing strongly typed safe-by-construction languages (or other lightweight formal methods) has been saying this for like 20 years. If you have a memory corruption bug in your application in 2020 it is 110% your fault for making that possible.