✓One executable — nothing else to install, no runtime to configure
✓Every vector index and slice proved in range at compile time
✓Tables are a built-in type, not a library import
✓HTTP, WebSockets, SQL, crypto, a UI and distributed actors — all in the standard library
✓Values behave like values: two names never observe each other's writes, unless both say mut