00:56
2026-06-05
jo-lang.org
ai-safety
Jo – Secure Programming for the AI Era
Jo, a new statically typed programming language, was introduced today with a design that denies side effects by default and requires explicit, fine-grained capabilities for any authority. The language…