<p><span class="h-card" translate="no"><a href="https://mastodon.online/@raritastic" class="u-url mention">@<span>raritastic</span></a></span> it might&#39;ve supported IE Tab back then</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Today I learned Chrome once supported ActiveX...</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> we&#39;ve all done this. we are all bad people.</p>

<p>🚨 New tool &amp; paper! 🚨</p><p>We’re excited to introduce Veil, a framework for verifying distributed &amp; concurrent systems both automatically and interactively — all inside Lean 4.</p><p>🛠️Veil gives you the best of both worlds: <br />– Push-button verification via SMT solvers<br />– Interactive proofs when automation falls short</p><p>📄 <a href="https://pirlea.net/papers/veil-cav25.pdf" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">pirlea.net/papers/veil-cav25.p</span><span class="invisible">df</span></a><br />🛠️ <a href="https://github.com/verse-lab/veil" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/verse-lab/veil</span><span class="invisible"></span></a><br />🔍 Try it, use it, break it — we’d love your feedback!<br />🔁 Boost to share with your formal methods &amp; distributed systems friends!</p>

<p>anyway, has any of you used revng before?</p>

<p>i asked this girl to give me a native code deobfuscator and she gave me something that she described as &quot;an amalgamation of IRs made by crackheads&quot;. please send help</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.gamedev.place/@lesley" class="u-url mention">@<span>lesley</span></a></span> ahhh that scratches an inch</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> don&#39;t forget the extra special fork buried in OpenTTD!</p>

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