<p><span class="h-card" translate="no"><a href="https://recurse.social/@jleigh" class="u-url mention">@<span>jleigh</span></a></span> i just synthesized an entire (small, 16-bit) CPU while verifying every single transformation, both combinational and sequential</p>