@yashetal: 布尔电路的生长从未显得酷炫,但现在它做到了
摘要
Alex Mordvintsev 介绍了 MorphoHDL,这是一种极简语言原型,用于通过大小无关的图重写规则来生长布尔电路。
布尔电路的生长从未显得酷炫,但现在它做到了
查看缓存全文
缓存时间: 2026/07/14 08:20
培育布尔电路从未如此酷炫,但现在它做到了
Alex Mordvintsev (@zzznah): 介绍 MorphoHDL,一个用于培育布尔电路的最小化语言原型! https://t.co/3KjDfHTzzy
今年初,我想设计一个与规模无关的图重写规则系统,能够构建可运行的布尔电路。起初我考虑的是类似“化学反应”的反应式……
相似文章
MorphoHDL:用于生长电路的极简语言
MorphoHDL 是一种用于设计和生长电路的极简领域特定语言,提供简单的语法来描述硬件。
GenCircuit-RL: 基于层次化验证的强化学习基因电路设计
GenCircuit-RL 提出了一个基于层次化验证奖励的强化学习框架,通过代码生成进行基因电路设计,相比二元奖励提升了14-16个百分点,并提供了包含4,753个电路的 SynBio-Reason 基准。
从组合混乱到线性优雅:构建转换引擎架构
Minimal 的一篇博文,详细介绍了他们如何使用中间表示(Intermediate Representation)来线性管理复杂性,构建文件格式转换引擎,并与生物学的蝴蝶结架构进行了类比。
Show HN: zkGolf – 正式验证电路的竞争性优化
zkGolf 是一个开放竞赛,旨在生成经过优化的、正式验证的零知识电路,利用大型语言模型(LLMs)来生成和改进实现,超越人类优化的标准。
思维链是一个扩展陷阱。下一波是潜在推理(Coconut / HRM / RecrusiveMAS)……但随后我们遇到了黑箱难题。BDH 适合哪里?[D]
本文认为,思维链推理是一种临时性技巧,未来在于像 Coconut、HRM 和 RecursiveMAS 这样的潜在推理方法。文章讨论了黑箱问题,并提出了基于 DAGs 和验证的外循环治理方案,同时将 BDH 定位为一种结合潜在计算与有状态记忆的模型。