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.
๋ ๋ณด๊ธฐ
