<p><span class="h-card" translate="no"><a href="https://social.treehouse.systems/@rcombs" class="u-url mention">@<span>rcombs</span></a></span> what do you mean?</p>

<p>I am not familiar with &quot;SBOM&quot;s. How detailed is the data in these output XMLs <a href="https://mastodon.decentralised.social/@wezm/112883404538360706" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">mastodon.decentralised.social/</span><span class="invisible">@wezm/112883404538360706</span></a></p>

:myntSleeping:

<p><span class="h-card" translate="no"><a href="https://types.pl/@bhaktishh" class="u-url mention">@<span>bhaktishh</span></a></span> the implication truth table is ultimately what radicalized me to prefer constructive logic over classical.</p>

Yikes!

<p>All I know about process algebras is that if you try to solve the Zachtronics assembly video game using communicating sequential processes, you will run out of moves and die</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> thank you!! Love when anything gets the Frank PDF treatment</p>