@yashetal: Growing Boolean circuits never looked cool but now it is
Summary
Alex Mordvintsev introduces MorphoHDL, a minimal language prototype for growing boolean circuits using size-agnostic graph rewrite rules.
View Cached Full Text
Cached at: 07/14/26, 08:20 AM
Growing Boolean circuits never looked cool but now it is
Alex Mordvintsev (@zzznah): Introducing MorphoHDL, a minimal language prototype for growing boolean circuits! https://t.co/3KjDfHTzzy
Early this year I wanted to design a size-agnostic graph rewrite rule system that could build functional boolean circuits. First I thought about “chemistry”-like reactive
Similar Articles
MorphoHDL: A minimalistic language for growing circuits
MorphoHDL is a minimalistic domain-specific language for designing and growing circuits, offering a simple syntax for hardware description.
GenCircuit-RL: Reinforcement Learning from Hierarchical Verification for Genetic Circuit Design
GenCircuit-RL introduces a reinforcement learning framework with hierarchical verification rewards for genetic circuit design via code generation, achieving 14-16 percentage point improvement over binary rewards and presenting the SynBio-Reason benchmark of 4,753 circuits.
From Combinatorial Mess to Linear Elegance: Architecting a Conversion Engine
A blog post from Minimal detailing how they built a file format conversion engine using an Intermediate Representation to manage complexity linearly, drawing parallels to biological bow-tie architectures.
Show HN: zkGolf – Competitive optimization of formally verified circuits
zkGolf is an open competition to produce optimized, formally verified zero-knowledge circuits, using LLMs to generate and improve implementations beyond human-optimized standards.
Chain of Thought is a scaling trap. the next wave is latent reasoning (Coconut / HRM / RecrusiveMAS)... but then we hit the black box wall. Where does BDH fit? [D]
This article argues that Chain of Thought reasoning is a temporary hack and that the future lies in latent reasoning methods like Coconut, HRM, and RecursiveMAS. It discusses the black box problem and proposes outer loop governance with DAGs and verification, while positioning BDH as a model that combines latent computation with stateful memory.