Informal Systems 🌱
Verifiable distributed systems (of machines) and organizations (of humans). @cosmos tech, @rustlang code, infra @CephalopodEquip, verification @ApalacheTLA
1066 followers
Lens Rankings
Crypto
| #20 | 0.005019 | Cosmos |
| #1459 | 0.000050 | Crypto Investing |
| #2052 | 0.000026 | Decentralized Web |
| #2445 | 0.000031 | Crypto Infrastructure |
| #4594 | 0.000016 | Crypto VC |