<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> hey, I've seen you're working on "Project Unnamed". I'm super excited about it. What's your PoV / opinion on <a href="https://circt.llvm.org/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">circt.llvm.org/</span><span class="invisible"></span></a> ? To me, both seem to try to solve the similar issues, but I guess there's more to it.</p>
