zooko🛡🦓🦓🦓 ⓩ
@zooko
Freedom maximalist. Good vibes only.
加入 March 2008
2.7K 正在關注 117.1K 粉絲
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.
顯示更多
