@yashetal: 布尔电路的生长从未显得酷炫，但现在它做到了

X AI KOLs Timeline 2026/07/14 01:48 工具

boolean-circuits graph-rewrite hardware-design language-prototype morphohdl

摘要

Alex Mordvintsev 介绍了 MorphoHDL，这是一种极简语言原型，用于通过大小无关的图重写规则来生长布尔电路。

布尔电路的生长从未显得酷炫，但现在它做到了

查看原文

查看缓存全文

缓存时间: 2026/07/14 08:20

培育布尔电路从未如此酷炫，但现在它做到了

Alex Mordvintsev (@zzznah): 介绍 MorphoHDL，一个用于培育布尔电路的最小化语言原型！ https://t.co/3KjDfHTzzy

今年初，我想设计一个与规模无关的图重写规则系统，能够构建可运行的布尔电路。起初我考虑的是类似“化学反应”的反应式……

相似文章

Hacker News Top

MorphoHDL 是一种用于设计和生长电路的极简领域特定语言，提供简单的语法来描述硬件。

arXiv cs.AI

本文介绍了自组织数字电路，使用拓扑掩码Transformer配置布尔门中的查找表，使电路能够围绕硬件故障自组装和自修复。它展示了对软错误近乎完美的恢复能力，以及向更大规模电路泛化的能力，将生物自组织与数字硬件弹性连接起来。

arXiv cs.AI

GenCircuit-RL 提出了一个基于层次化验证奖励的强化学习框架，通过代码生成进行基因电路设计，相比二元奖励提升了14-16个百分点，并提供了包含4,753个电路的 SynBio-Reason 基准。

Reddit r/ArtificialInteligence

作者发布了 Chronoformal Closure Theory (CCT)，这是一个新的数学框架，表明可实现性、最小观测和状态压缩等问题可以归结为有限组合结构，并对 AI 智能体具有潜在影响。该发布包含证明、代码和部分 Lean 形式化，邀请独立的数学审查。

Hacker News Top

Minimal 的一篇博文，详细介绍了他们如何使用中间表示（Intermediate Representation）来线性管理复杂性，构建文件格式转换引擎，并与生物学的蝴蝶结架构进行了类比。