ثيو دي رادت، OpenBSD، وعقلية الآمن افتراضيًا | Koder.ai