Whole-known-network
<p><span class="h-card" translate="no"><a href="https://social.erambert.me/@eramdam" class="u-url mention">@<span>eramdam</span></a></span> still can’t believe they called the low level virtual machine WASM and the weird assembler LLVM</p>
<p><span class="h-card" translate="no"><a href="https://social.treehouse.systems/@rcombs" class="u-url mention">@<span>rcombs</span></a></span> it's a non-technical reflex. it has nothing to do with the amount of data it has or whatever</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> with chicken ?</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@wren6991" class="u-url mention">@<span>wren6991</span></a></span> i've fixed soooo many Amaranth bugs while writing docs</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> it is, it's just a pain to lower our undef semantics into SMT queries</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> at the SMT query level, it should be pretty reasonable, you're basically saying "give me a model where the target displays a behavior not shown by the source" and then if this is unsat you're good</p>
<p><span class="h-card" translate="no"><a href="https://not.acu.lt/@ignaloidas" class="u-url mention">@<span>ignaloidas</span></a></span> </p><p>and X 0 -> 0<br />or X 1 -> 1<br />mux X 0 0 -> 0<br />mux X 1 1 -> 1</p><p>most of the rest is representable via the mux</p>
<p><span class="h-card" translate="no"><a href="https://not.acu.lt/@ignaloidas" class="u-url mention">@<span>ignaloidas</span></a></span> i don't think i can describe it in a mastodon post? it's relatively standard x-propagation but the devil is in the details</p>
@whitequark@mastodon.social what semantics for undef did you choose?
