<p><span class="h-card" translate="no"><a href="https://girlcock.club/@poppyhaze" class="u-url mention">@<span>poppyhaze</span></a></span> i had to look it up</p>

<p>Confederate General Richard Ewell believed he was a bird. He’d chirp alone in his tent and ate meals of seeds and grains. Just before he was captured and surrendered, his final words were, “tomatoes are good, I’ll have to get some”</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> strictly speaking yes but i doubt you&#39;re facing a threat where this matters in any meaningful way</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> &quot;oh it&#39;s easy just do everything like 3 smt-lib examples&quot;<br />&quot;oh well you&#39;re just not using the right logic&quot;<br />&quot;well of course it&#39;s not working, _that_ solver doesn&#39;t support QF_UFLIA by name you have to _specifically_ not set a logic&quot;</p>

<p><span class="h-card" translate="no"><a href="https://isfeeling.social/@matt" class="u-url mention">@<span>matt</span></a></span> it’s been 5 years so I’m not hopeful but the solution sure as shit isn’t “spend more on a 27” monitor than you did on your laptop” or “don’t use menu bar apps”</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> they&#39;re mostly academic projects so....</p>

<p>how well documented are SMT solvers?</p><p>well, to figure out how you can get boolector to display numbers in hex, i had to load it in Binary Ninja just now and look for the function that does it</p><p>by the way, the answer is (set-option :output-number-format 3). it&#39;s completely undocumented as far as i can see</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@indivisibleteam" class="u-url mention">@<span>indivisibleteam</span></a></span> The Guardian, but am reevaluating if I should.</p><p>Thanks for the thread!</p>

<p>I love to program computers.</p>