<p>This can’t have been an easy decision. And I don’t even want to look at any of the comments he’s probably been getting from the community of fucking vultures who are mad they might have to pay for CrossOver now. But this his what integrity looks like.</p>

<p>As an end user, I’m sad such a great tool that I personally had a lot of use out of (and that I preferred to CrossOver, a product I highly admire), but as a person, I think seeing this sort of integrity from a someone still in school is just incredible. Read his full blog. But these quotes stand out.</p>

<p>Huge props to <span class="h-card" translate="no"><a href="https://social.treehouse.systems/@isaacmarovitz" class="u-url mention">@<span>isaacmarovitz</span></a></span> who recently put his fantastic OSS project, Whisky in maintenance mode. Whisky is a macOS front end to play games using Wine and the Apple’s Wine-based GPTK. Isaac explains his reason on his docs page and I have to say, this is what integrity looks like. <a href="https://docs.getwhisky.app/maintenance-notice" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">docs.getwhisky.app/maintenance</span><span class="invisible">-notice</span></a></p>

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