Columns:
| # | Tweet | User | Followers | 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 | @0x8hero ✓ | 1.1K | 415 | 0.4x | 29 | Jun 30 |