Original Summary

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: <a href="https:&#x2F;&#x2F;chelis.ch&#x2F;blog&#x2F;launch&#x2F;" rel="nofollow">https:&#x2F;&#x2F;chelis.ch&#x2F;blog&#x2F;launch&#x2F;</a> But here are the key things a HN reader might like to know:<p> Statically typed, compiled, functional language, with heavy influences from ML family languages<p> Built for agent authorship of programs across the compiler, MCP, skills, and remdiation paths<p> Formal methods baked in via SMT and related solvers being connected with the type system in the compiler<p> Rich support for numerical programs and mathematically rich domains like quant finance and quant econ<p> GPU support is in an experimental state, for folks who want to build from source and run on AMD or Apple acceleration<p> All built in Rust<p>From 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.<p>Several of us on the core team are hanging out on HN. Drop us a comment if you check out the work.

  • 情报分类：商业与市场研究
  • 分类依据：内容涉及商业、投资或市场动态
  • 信息来源：Hacker News 新项目
  • 发布时间：2026/10/7 22:04:48