Seol mar théacs é seo: Safety of computer architectures