<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> I’m not reading all this but I’m here for the pretty graphviz</p>

<p>instead of: QF_BVA</p><p>have you considered: QF_BV and you concatenate all of your symbolic RAM into one big bit vector you shift by your load address</p><p>this will probably be faster and work on more solvers</p>

<p>your query is slow. you have decided to use theory of arrays</p><p>now your query doesn&#39;t complete at all _but_ at least it consumes 10x as much RAM in the first hour</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@agiletortoise" class="u-url mention">@<span>agiletortoise</span></a></span> i think it’s just like burning man: a place to let it all hang out and be free and relatively safe to be as altered as you want to be.</p><p>personally i can never quite get over how wasteful and full of gross disposable consumption it all is.</p><p>plus, i went to UCSC, where every day was another chance to drop acid, walk around naked with a purple mohawk, and it to be no big deal.</p><p>i got my fill. and without all the plastic cups of overpriced beer.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> ... tag yourself?</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>whitequark</span></a></span> It's been an age since I've looked, but I think for the most part they've managed to achieve negative documentation.</p>

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