<p>MirageOS - Developing Operating Systems in OCaml - Hannes Mehnert - FUN OCaml 2024: Hannes Mehnert&#39;s FUN OCaml 2024 talk recording!</p><p>Overview by Hannes:</p><p>OCaml is a great systems programming language. We use it since more than a decade to develop MirageOS unikernels: run OCaml as a virtual machine, no Linux kernel involved. Since OCaml is statically typed (and type safe), and memory safe, we use a single address space, and avoided a lot of complexity… <a href="https://www.youtube.com/watch/g7Kl5mRDCDo?version=3&amp;utm_source=dlvr.it&amp;utm_medium=mastodon" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch/g7Kl5mRDCDo?</span><span class="invisible">version=3&amp;utm_source=dlvr.it&amp;utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="tag">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="tag">#<span>OCamlPlanet</span></a></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> FYI - I clicked on your profile, and mathstodon.xyz said your profile was hidden by mathstonon.xyz and I had to click a link to enable it. Never seen that behavior before.</p>

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

<p>War Thunder adds stealth tech, ray tracing and graphics upgrades in the Firebirds update <a href="https://www.gamingonlinux.com/2024/11/war-thunder-adds-stealth-tech-ray-tracing-and-graphics-upgrades-in-the-firebirds-update/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/11/war-</span><span class="invisible">thunder-adds-stealth-tech-ray-tracing-and-graphics-upgrades-in-the-firebirds-update/</span></a></p><p><a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</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>Check out the new trailer for Truckful, a driving adventure mystery game <a href="https://www.gamingonlinux.com/2024/11/check-out-the-new-trailer-for-truckful-a-driving-adventure-mystery-game/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/11/chec</span><span class="invisible">k-out-the-new-trailer-for-truckful-a-driving-adventure-mystery-game/</span></a></p><p><a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</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>Free-to-play pixel art survival game Ruins To Fortress arrives December 13 <a href="https://www.gamingonlinux.com/2024/11/free-to-play-pixel-art-survival-game-ruins-to-fortress-arrives-december-13/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/11/free</span><span class="invisible">-to-play-pixel-art-survival-game-ruins-to-fortress-arrives-december-13/</span></a></p><p><a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</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://mastodon.social/@_hermes" class="u-url mention">@<span>_hermes</span></a></span> No, not THAT IT office.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> I know where the IT office is and I don&#39;t want to have anything with those guys thank you very much.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <span class="h-card" translate="no"><a href="https://recurse.social/@shapr" class="u-url mention">@<span>shapr</span></a></span> as the &#39;cool uncle&#39;, so far I&#39;ve been strongly impressing upon my tween nephews, (who adore me), that Elon Musk is a massive weenie.</p>