Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://shitposter.world/objects/af6a29f0-e824-4840-9fa4-687ee63f9cf1">Sick Sun (sun@shitposter.world)'s status on Wednesday, 14-Aug-2024 08:59:52 JST</a><a href="https://shitposter.world/users/sun" title="sun@shitposter.world"><img src="https://gnusocial.jp/avatar/252828-48-20241120000901.webp" width="48" height="48" alt="Sick Sun" style="position: absolute; left: 0; top: 0;">Sick Sun</a><div><a href="https://shitposter.world/objects/ca06d8eb-c254-44a4-8eda-503c36698f17" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/10436" title="scathach@stereophonic.space">fiat volvntas tva</a></li><li><a href="https://gnusocial.jp/user/252828" title="sun@shitposter.world">Sick Sun</a></li></ul></div></section><article><a href="https://stereophonic.space/users/scathach">@scathach</a> <a href="https://raru.re/@pry">@pry</a> even sel4 userland is all in C, can’t even get a safe language on a formally verified base</article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/3515281#notice-6905892">In conversation</a><time datetime="2024-08-14T08:59:52+09:00" title="Wednesday, 14-Aug-2024 08:59:52 JST">about 4 months ago</time> <span>from <span><a href="https://shitposter.world/objects/af6a29f0-e824-4840-9fa4-687ee63f9cf1" rel="external" title="Sent from shitposter.world via ActivityPub">shitposter.world</a></span></span><a href="https://shitposter.world/objects/af6a29f0-e824-4840-9fa4-687ee63f9cf1">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Sick Sun (sun@shitposter.world)'s status on Wednesday, 14-Aug-2024 08:59:52 JSTSick Sun
in reply to
@scathach @pry even sel4 userland is all in C, can’t even get a safe language on a formally verified base
In conversationabout 4 months ago from shitposter.worldpermalink

Public

Embed Notice

HTML Code

Corresponding Notice