A low-level compiled language for people who want C's control without giving up their afternoon to memory bugs.
Annotate with #takes_ownership or #returns_ownership no lifetime syntax, no borrow checker.
The static analyzer flags use-after-free, double-frees, and leaks during the typechecking process.
No garbage collector, no reference counting. All analysis happens at compile time, with zero overhead.