{"slug": "show-hn-chelis-a-tensor-language-agents-can-write-and-prove", "title": "Show HN: Chelis, a tensor language agents can write and prove", "summary": "The Chelis team open sourced Chelis, a statically typed, compiled functional programming language built in Rust for agent authorship and human supervision, with formal methods integrated via SMT solvers connected to the compiler's type system. Chelis supports numerical and mathematically rich domains such as quantitative finance and quantitative economics, and its GPU support is experimental for AMD and Apple acceleration. The team said agents can already write Chelis as well as they can write Python while being less overconfident in incorrect approaches.", "body_md": "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/](https://chelis.ch/blog/launch/) But here are the key things a HN reader might like to know:\n\n* Statically typed, compiled, functional language, with heavy influences from ML family languages\n\n* Built for agent authorship of programs across the compiler, MCP, skills, and remdiation paths\n\n* Formal methods baked in via SMT and related solvers being connected with the type system in the compiler\n\n* Rich support for numerical programs and mathematically rich domains like quant finance and quant econ\n\n* GPU support is in an experimental state, for folks who want to build from source and run on AMD or Apple acceleration\n\n* All built in Rust\n\nFrom our experience, agents can already write Chelis as well as they can write Python. And they are a lot less overconfident in incorrect approaches with all the help Chelis provides.\n\nSeveral of us on the core team are hanging out on HN. Drop us a comment if you check out the work.\n\nComments URL: [https://news.ycombinator.com/item?id=49993063](https://news.ycombinator.com/item?id=49993063)\n\nPoints: 1\n\n# Comments: 0", "url": "https://wpnews.pro/news/show-hn-chelis-a-tensor-language-agents-can-write-and-prove", "canonical_source": "https://github.com/Chelis-Lang/chelis", "published_at": "2026-10-07 14:04:48+00:00", "updated_at": "2026-10-07 14:21:42.478711+00:00", "lang": "en", "topics": ["ai-agents", "developer-tools", "artificial-intelligence", "ai-tools"], "entities": ["Chelis", "Rust", "AMD", "Apple", "Hacker News"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/show-hn-chelis-a-tensor-language-agents-can-write-and-prove", "markdown": "https://wpnews.pro/news/show-hn-chelis-a-tensor-language-agents-can-write-and-prove.md", "text": "https://wpnews.pro/news/show-hn-chelis-a-tensor-language-agents-can-write-and-prove.txt", "jsonld": "https://wpnews.pro/news/show-hn-chelis-a-tensor-language-agents-can-write-and-prove.jsonld"}}