Jacquard,一种由AI编写、人类审查代码的编程语言
Show HN: Jacquard, a programming language for AI-written, human-reviewed code
我们发现了什么
Show HN:Jacquard,一种由AI编写、人类审查代码的编程语言。我对席卷而来的生成式AI浪潮感到着迷,并思考AI是否能创造一种它可能比人类创造、为人类而设的语言更偏好使用的语言。
- 来源:Hacker News(发现于 2026-07-15)
- 证据等级:D · 发现产品或需求信号,暂未获得可核验的商业证据。
- 商业模式:待核验
- 主题:独立产品
- 初筛评分:18.4/100 · 收录 1 次
证据,比故事更重要。
规则清洗与初筛,未经人工商业核验。原文语境、实际客户和付费情况仍需自行验证。
引用与数字披露
来源类型(原作者自述/第三方测算/媒体转引)需采集端标注,本版尚未落字段。
- 作者
- 未标注
- 抓取日期
- 来源类型
- 未标注
- 币种
- 未标注
- 口径
- 未标注
- 披露主体
- 未标注
- 披露日期
- 未标注
中文辅助译文(全文)
我对席卷而来的生成式 AI 浪潮着迷,想知道 AI 是否能创造出一种它可能更偏好使用的语言,而不是人类创建和为人类创建的语言。为了进行设计,我让 AI 分析了几种主流语言的 AST 以及一些概念上开创性但深奥的语言(在 README 中列出),然后创造出一种新的结构和新的语法。它以雅卡德织机(https://en.wikipedia.org/wiki/Jacquard_machine)命名,后者是巴贝奇分析机(以及打孔卡)的前身。结果重用了很多现有的概念,但以一种我觉得有趣的方式将它们组合在一起。外部/世界效果在函数签名中可见,运行时需要明确权限才能访问文件系统、网络等。效果交互可以被记录和回放,以查看在不同条件或代码下会发生什么。而且由于代码在内部被赋予基于内容寻址的语义身份,重命名和格式更改不需要重新编译或重新测试。从中衍生出的另一个部分是名为 Warp 的测试框架,它结合了回放、结果缓存、处理器替换以及一些我坦言在写 Python 时希望拥有的工具。demos 目录中有一些示例。还有更多工作要做,但它已经可以安装和使用。我希望人们能让他们的代理消化 docs/SKILL.md 文件,也许编写几个程序,或者看看它可能适合他们项目中的哪些地方。它应该对代理系统特别有用。如果代理说某件事很痛苦,或者作为人类的你发现代码难以理解,我希望听到以便我能解决。
更多详情请见: 代码仓库:https://github.com/jbwinters/jacquard-lang 此处还有更详细的介绍/面向人类的说明:https://research.friendmachine.co/jacquard/
译文由上游机器翻译生成,可能有误;判断请以英文原文为准。
英文原文(来源本站未改写)
I'm fascinated by the generative AI wave rolling over us, and wondered if AI could create a language that it might prefer using over the ones created by and for humans.To create the design, I had AI analyze the ASTs of several mainstream languages plus a few of the conceptually groundbreaking but esoteric ones (listed in the README) and then create a new structure and new syntax.It was named after the Jacquard machine ( https://en.wikipedia.org/wiki/Jacquard_machine ), a precursor to Babbage's Analytical Engine (and punch cards).The result reused a lot of existing ideas but combined them in what I found to be an interesting way.
External/world effects are visible in function signatures, and the runtime requires explicit permission to touch the filesystem, network, etc.Effect interactions can be recorded and replayed to see what happens under different conditions or code.And since code is given a content-addressed semantic identity internally, renames and formatting changes don't require recompile or retesting.Another piece that fell out of this was a testing framework called Warp, which combines replay, results caching, handler substitution, and a few other tools that I frankly wish I had when writing Python.There are a few examples available in the demos directory.
There's more to do, but it's installable and usable.I'm hoping people will have their agents digest the docs/SKILL.md file and maybe write a few programs or see where it might fit in their projects.It should be particularly useful in agent systems.If an agent says something is painful or you as a human find the code tough to understand, I'd like to hear about it so I can address it.More detail here: Repository: https://github.com/jbwinters/jacquard-lang Further intro/human-oriented write-up here: https://research.friendmachine.co/jacquard/
这条还缺什么证据?
下面每条都由本条已有字段推出(等级、理由、商业模式、来源次数、是否演示), 本站不生成推测性结论;通用验证方法放在方法论页。
- 可核验的收入或付费证据查官网定价页与付费口径;第三方数据源(如 GetLatka)只作旁证,需标注来源与时点。
- 商业模式未定确认按席位/按用量/授权还是开源托管版收费;开源项目另查 LICENSE 与是否存在付费版。
- 只有单一来源找一手站点或其他渠道是否重复出现同一产品;社区热帖数量不等于商业进展。
通用验证清单(谁有这个问题/谁愿意付费/一个人能交付哪一小步)见我们的筛选方法。