Show HN: Chelis, a tensor language agents can write and prove
By jeffreysmith · 2026-10-07 · 3 points · 0 comments
https://github.com/Chelis-Lang/chelis
We just open sourced Chelis, a programming language we built focused on agent authorship and human supervision. You can find a longer intro on our site: https://chelis.ch/blog/launch/ But here are the key things a HN reader might like to know: * Statical…
Open the full discussion on BetterNews