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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://infosec.exchange/users/ryanc/statuses/111814560861431166">Ryan Castellucci :nonbinary_flag: (ryanc@infosec.exchange)'s status on Thursday, 25-Jan-2024 12:53:20 JST</a><a href="https://infosec.exchange/@ryanc" title="ryanc@infosec.exchange"><img src="https://gnusocial.jp/avatar/174285-48-20231204225121.webp" width="48" height="48" alt="Ryan Castellucci :nonbinary_flag:" style="position: absolute; left: 0; top: 0;">Ryan Castellucci :nonbinary_flag:</a></section><article><p>My Rust code: compiles successfully<br>Me: I have proved my code is correct, not that it works.</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2631027#notice-5212426">In conversation</a><time datetime="2024-01-25T12:53:20+09:00" title="Thursday, 25-Jan-2024 12:53:20 JST">about a year ago</time> <span>from <span><a href="https://infosec.exchange/@ryanc/111814560861431166" rel="external" title="Sent from infosec.exchange via ActivityPub">infosec.exchange</a></span></span><a href="https://infosec.exchange/@ryanc/111814560861431166">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Ryan Castellucci :nonbinary_flag: (ryanc@infosec.exchange)'s status on Thursday, 25-Jan-2024 12:53:20 JST Ryan Castellucci :nonbinary_flag:
My Rust code: compiles successfully
Me: I have proved my code is correct, not that it works.
In conversationabout a year ago from infosec.exchangepermalink

Public

Embed Notice

HTML Code

Corresponding Notice