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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://todon.nl/users/janneke/statuses/116455357445449067">Janneke (janneke@todon.nl)'s status on Friday, 24-Apr-2026 03:08:59 JST</a><a href="https://todon.nl/@janneke" title="janneke@todon.nl"><img src="https://gnusocial.jp/avatar/114964-48-20260205141245.webp" width="48" height="48" alt="Janneke" style="position: absolute; left: 0; top: 0;">Janneke</a><div><a href="https://social.coop/@nicol/116455349221846078" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/88025" title="alsweigart@mastodon.social">Al Sweigart</a></li></ul></div></section><article><p><a href="https://social.coop/@nicol">@nicol</a> <a href="https://mastodon.social/@AlSweigart">@AlSweigart</a> <br>What about a smaller circle yet: "Software that is correct"</p><p>And optionally a tiny circle, or a dot: "Software that is formally proven to be correct"</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/6344940#notice-12496278">In conversation</a><time datetime="2026-04-24T03:08:59+09:00" title="Friday, 24-Apr-2026 03:08:59 JST">about 2 months ago</time> <span>from <span><a href="https://todon.nl/@janneke/116455357445449067" rel="external" title="Sent from todon.nl via ActivityPub">todon.nl</a></span></span><a href="https://todon.nl/@janneke/116455357445449067">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Janneke (janneke@todon.nl)'s status on Friday, 24-Apr-2026 03:08:59 JSTJanneke
in reply to
- Nicol Wistreich
- Al Sweigart
@nicol @AlSweigart
What about a smaller circle yet: "Software that is correct"
And optionally a tiny circle, or a dot: "Software that is formally proven to be correct"
In conversationabout 2 months ago from todon.nlpermalink

Public

Embed Notice

HTML Code

Corresponding Notice