zooko🛡🦓🦓🦓 ⓩ
@zooko
Freedom maximalist. Good vibes only.
参加 March 2008
2.7K フォロー中 115.5K ファン
Pour resources into memory safety (Fil-C), capability access control (Endo, Cloudflare OS, Fil-C again, LavaMoat, CHERI), formal-verification/high-assurance (Lean4, Quint, everything that they used in safer proglang, and cryptography.
もっと見る
