<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@unlambda" class="u-url mention">@<span>unlambda</span></a></span> my next piece of advice is to do formal verification from the start, don't put it off. it has a way of finding design flaws as well as implementation bugs, but once you've heavily committed to a design it's hard to make big changes. </p><p>another thing is that if there's undefined behavior then you're checking refinement instead of equivalence, might as well deal with that right at the start!</p>
