<p><span class="h-card" translate="no"><a href="https://infosec.exchange/@david_chisnall" class="u-url mention">@<span>david_chisnall</span></a></span> <span class="h-card" translate="no"><a href="https://bitbang.social/@NanoRaptor" class="u-url mention">@<span>NanoRaptor</span></a></span> i used <a href="https://glasgow-embedded.org" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">glasgow-embedded.org</span><span class="invisible"></span></a> to do some flux level data recovery, with some success too</p>

<p><span class="h-card" translate="no"><a href="https://bitbang.social/@NanoRaptor" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>NanoRaptor</span></a></span> I have a couple of boxes of 3.5” floppies. I recently bought a USB floppy disk drive to see if any of them have anything worth saving (most are magazine cover disks, a few are personal files that were backed up. Some are more fun things like [legal!] copies of MS DOS 6.2, Windows 3.11, and a few versions of Corel Draw). So far, none of them have been readable.</p><p>They are probably fine if I format the, so if anyone had a use case for 80 or so 3.5” floppies, let me know…</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://f.duriansoftware.com/@joe" class="u-url mention">@<span>joe</span></a></span> AI writes program with a full formal proof of corectness, in a language that doesn&#39;t exist yet. Refuses to provide a compiler for it out of spite.</p>

<p><span class="h-card" translate="no"><a href="https://f.duriansoftware.com/@joe" class="u-url mention">@<span>joe</span></a></span> hyperintelligent AI: uses C to write a Rust compiler, bails out</p>

<p>denial: skilled programmers can write safe C by being careful<br />anger: unsafe C code is the fault of unskilled programmers<br />bargaining: perhaps a hyperintelligent AI will be able to write safe C code</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> Mario *was* missing 🐡</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://chaos.social/@jacqueline" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>jacqueline</span></a></span> <span class="h-card" translate="no"><a href="https://wandering.shop/@xgranade" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>xgranade</span></a></span> yeah and they abandoned it like a decade ago</p>

<p><span class="h-card" translate="no"><a href="https://60228.dev/@leo" class="u-url mention">@<span>leo</span></a></span> <span class="h-card" translate="no"><a href="https://chaos.social/@jacqueline" class="u-url mention">@<span>jacqueline</span></a></span> <span class="h-card" translate="no"><a href="https://wandering.shop/@xgranade" class="u-url mention">@<span>xgranade</span></a></span> uh, google wrote that spec</p>