<p>I gave a talk yesterday at the WebAssembly Workshop (WAW 2025) at POPL on all the correctness/verification stuff I&#39;ve worked on in Wasmtime/Cranelift in the past few years, including some thoughts on ongoing (well, when I get time again) proof-carrying code work. Recording is up from the whole workshop day (and all the talks are worth watching!). Here&#39;s the content for anyone curious:</p><p>- Video: <a href="https://www.youtube.com/watch?v=tiksgrSC3Ig&amp;t=2453s" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=tiksgrSC3I</span><span class="invisible">g&amp;t=2453s</span></a><br />- Slides: <a href="https://cfallin.org/pubs/waw2025_correctness_slides.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">cfallin.org/pubs/waw2025_corre</span><span class="invisible">ctness_slides.pdf</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> love your page but you know what?</p>

<p>I would pose a similar question about SpeakerDeck.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@veit" class="u-url mention">@<span>veit</span></a></span> Mostly I&#39;m thinking of the issue of content hosting. I put a bunch of stuff there back in the day. The current presentation of it on their site doesn&#39;t seem overtly evil to me, but I&#39;ve got all of this stuff cloned elsewhere already. So, do I keep it or shut it down? Pretty low traffic (less than 1000 views in the last year). Although maybe I just answered my own question.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@TwodpadsDown" class="u-url mention">@<span>TwodpadsDown</span></a></span> you’re either being intentionally stupid to annoy me and get another response, or you’re just actually stupid at this point</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> At least for me, Slideshare has outlived its usefulness since reveal.js can be used to easily create slides in Jupyter Notebooks.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.gamedev.place/@Shatur" class="u-url mention">@<span>Shatur</span></a></span> grow up</p>

<p>Going through some of my old online accounts. Does anyone know where slideshare.net (owned by scribd) falls in the good &lt;-&gt; evil spectrum these days? Haven&#39;t uploaded anything in 10 years. Thinking about closing it.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> I think Mastodon is a cozy place. Saying things like this is just disrespectful to your subscribers here.</p>