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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://stereophonic.space/objects/0ce1fb68-2fb1-4ef7-aa0d-dbbd20749a1f">fiat volvntas tva (scathach@stereophonic.space)'s status on Wednesday, 14-Aug-2024 09:02:40 JST</a><a href="https://stereophonic.space/users/scathach" title="scathach@stereophonic.space"><img src="https://gnusocial.jp/avatar/10436-48-20220917225708.webp" width="48" height="48" alt="fiat volvntas tva" style="position: absolute; left: 0; top: 0;">fiat volvntas tva</a><div><a href="https://shitposter.world/objects/af6a29f0-e824-4840-9fa4-687ee63f9cf1" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/252828" title="sun@shitposter.world">Sick Sun</a></li></ul></div></section><article><a href="https://shitposter.world/users/sun">@sun</a> <a href="https://raru.re/@pry">@pry</a> I want to live in a world where formal verification is as easy as satisfying the compiler's type checker</article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/3515281#notice-6905914">In conversation</a><time datetime="2024-08-14T09:02:40+09:00" title="Wednesday, 14-Aug-2024 09:02:40 JST">about 4 months ago</time> <span>from <span><a href="https://stereophonic.space/objects/0ce1fb68-2fb1-4ef7-aa0d-dbbd20749a1f" rel="external" title="Sent from stereophonic.space via ActivityPub">stereophonic.space</a></span></span><a href="https://stereophonic.space/objects/0ce1fb68-2fb1-4ef7-aa0d-dbbd20749a1f">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
fiat volvntas tva (scathach@stereophonic.space)'s status on Wednesday, 14-Aug-2024 09:02:40 JSTfiat volvntas tva
in reply to
- pry
- Sick Sun
@sun @pry I want to live in a world where formal verification is as easy as satisfying the compiler's type checker
In conversationabout 4 months ago from stereophonic.spacepermalink

Public

Embed Notice

HTML Code

Corresponding Notice