<p>Tempest Rising looks awesome and this RTS is launching in April 2025 <a href="https://www.gamingonlinux.com/2024/12/tempest-rising-looks-awesome-and-this-rts-is-launching-in-april-2025/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/12/temp</span><span class="invisible">est-rising-looks-awesome-and-this-rts-is-launching-in-april-2025/</span></a></p><p><a href="https://mastodon.social/tags/TempestRising" class="mention hashtag" rel="tag">#<span>TempestRising</span></a> <a href="https://mastodon.social/tags/RTS" class="mention hashtag" rel="tag">#<span>RTS</span></a> <a href="https://mastodon.social/tags/Gaming" class="mention hashtag" rel="tag">#<span>Gaming</span></a> <a href="https://mastodon.social/tags/LinuxGaming" class="mention hashtag" rel="tag">#<span>LinuxGaming</span></a> <a href="https://mastodon.social/tags/PCGaming" class="mention hashtag" rel="tag">#<span>PCGaming</span></a></p>

<p><span class="h-card" translate="no"><a href="https://infosec.exchange/@dascandy" class="u-url mention">@<span>dascandy</span></a></span> why is it a problem?</p>

<p>i didn&#39;t feel like using my brain so i wrote a testbench for the CPU asserting what it should output, and then let angelic execution give me the answer by way of an SMT solver (yices2 in this case)</p><p><a href="https://gist.github.com/whitequark/7e2f90576d6c811d727d6f7edaba5746" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/whitequark/7e2</span><span class="invisible">f90576d6c811d727d6f7edaba5746</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@steve" class="u-url mention">@<span>steve</span></a></span> i shoved the entire thing into an SMT solver and let angelic execution do the trick</p>

<p><span class="h-card" translate="no"><a href="https://discuss.systems/@steve" class="u-url mention">@<span>steve</span></a></span> yeah his brute forcer was getting nowhere and I told him, &quot;look it&#39;s just consuming A, three bits at a time&quot; so hopefully he&#39;ll get there!</p>

<p>What idiot called it “Edge of Tomorrow” when “Groundhog D-Day” was RIGHT THERE</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> if you disassemble the program, the actual loop is pretty dead simple, and in particular has a very easy to characterize dependency on A, which lets you construct a solution pretty directly.</p><p>In particular, the only loop-carried dependency is on A, so you just need to run the loop backwards to build the desired A up.</p>

<p><span class="h-card" translate="no"><a href="https://discuss.systems/@steve" class="u-url mention">@<span>steve</span></a></span> I didn&#39;t have much help to give Jonas for part 2, but I didn&#39;t look at it all that closely.</p><p>he did get to be one of the lucky 10,000 who learned about quines yesterday though</p>

<p><span class="h-card" translate="no"><a href="https://discuss.systems/@steve" class="u-url mention">@<span>steve</span></a></span> very BF! such busy beaver!</p>