zooko🛡🦓🦓🦓 ⓩ(@zooko):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 https://t.co/8s0neXXqRu), safer proglang, and cryptography.

zooko🛡🦓🦓🦓 ⓩ

@zooko

Freedom maximalist. Good vibes only.

Joined March 2008

2.7K Following 115.5K Followers

zooko🛡🦓🦓🦓 ⓩ@zooko

2026.08.06 23:59

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.

Forward to community

Most Popular Users

748.4K Followers

1M Followers

111.9M Followers

241.7M Followers

6.3M Followers

196K Followers

3.4M Followers

5.4M Followers

470.4K Followers

2M Followers

1.8M Followers

2.1M Followers

348.8K Followers

1.8M Followers

9.1M Followers