Communities:
JG MAFIA
| # | Tweet | Community | Topic | Views ▼ | Ratio | Engagement | Posted |
|---|---|---|---|---|---|---|---|
| 1 | [image] Dragon egg is a formally verified, distributed object-capability OS where the kernel is written and machine-checked in Lean 4. Every state change requires an unforgeable capability and produces a cryptographically verifiable receipt
@DreggNet | JG MAFIA | — | 415 | 0.4x | 29 | Jun 30 |