Security Mindset: Lessons from 20+ years of Software Security Failures Relevant to AGI Alignment

BACKGROUND
I have been doing red team, blue team (offensive, defensive) computer security for a living since September 2000. The goal of this post is to compile a list of general principles I've lear…

Related Keywords

,Are Useless ,Make Them ,Requires Formal Proofs ,Which Are Provably ,Halting Problem ,Test Driven Design ,