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.
显示更多
