Lars Wirzenius<p>For my year-end project, I promised <span class="h-card" translate="no"><a href="https://fosstodon.org/@hko" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>hko</span></a></span> that I'd look at using <a href="https://toot.liw.fi/tags/Subplot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Subplot</span></a> to generate a program to verify that an implementation of the Stateless OpenPGP interface meets its requirements. I'll start by re-reading the specification.</p><p><a href="https://gitlab.com/dkg/openpgp-stateless-cli/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gitlab.com/dkg/openpgp-statele</span><span class="invisible">ss-cli/</span></a></p>