<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>

<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> I always thought Coq should be stylized CoQ for consistency, which would make this joke by <span class="h-card" translate="no"><a href="https://types.pl/@koronkebitch" class="u-url mention">@<span>koronkebitch</span></a></span> even funnier <a href="https://twitter.com/koronkebitch/status/1096551857454018560" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">twitter.com/koronkebitch/statu</span><span class="invisible">s/1096551857454018560</span></a></p>