Chelis blogNotes from the people building Chelis.https://chelis.ch/Chelis: A Tensor Language Agents Can Write and Provehttps://chelis.ch/blog/launch/https://chelis.ch/blog/launch/Chelis is a language for numerical code written by AI coding agents, with shapes and precision in its types and a prover built in.Tue, 06 Oct 2026 00:00:00 GMTJeff Smith