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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://poa.st/objects/73291920-8a71-4a5a-9472-034464042df5">Cyborg Anthropologist (jmw150@poa.st)'s status on Thursday, 23-Jan-2025 05:48:43 JST</a><a href="https://poa.st/users/jmw150" title="jmw150@poa.st"><img src="https://gnusocial.jp/avatar/23848-48-20221111224012.webp" width="48" height="48" alt="Cyborg Anthropologist" style="position: absolute; left: 0; top: 0;">Cyborg Anthropologist</a><div><a href="https://shitposter.world/objects/ac82c27e-9d8e-4c74-9a8a-7c1ac49abac0" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><a href="https://shitposter.world/users/sun">@sun</a> Formal methods and program synthesis. I write a lot of Coq. I keep trying.</article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4427247#notice-8662208">In conversation</a><time datetime="2025-01-23T05:48:43+09:00" title="Thursday, 23-Jan-2025 05:48:43 JST">about 2 months ago</time> <span>from <span><a href="https://poa.st/objects/73291920-8a71-4a5a-9472-034464042df5" rel="external" title="Sent from poa.st via ActivityPub">poa.st</a></span></span><a href="https://poa.st/objects/73291920-8a71-4a5a-9472-034464042df5">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Cyborg Anthropologist (jmw150@poa.st)'s status on Thursday, 23-Jan-2025 05:48:43 JSTCyborg Anthropologist
in reply to
- dilbert 1
@sun Formal methods and program synthesis. I write a lot of Coq. I keep trying.
In conversationabout 2 months ago from poa.stpermalink

Public

Embed Notice

HTML Code

Corresponding Notice