Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.social/users/alecmuffett/statuses/111642501407031115">Alec Muffett (alecmuffett@mastodon.social)'s status on Tuesday, 26-Dec-2023 11:19:11 JST</a><a href="https://mastodon.social/@alecmuffett" title="alecmuffett@mastodon.social"><img src="https://gnusocial.jp/avatar/226380-48-20231226021736.webp" width="48" height="48" alt="Alec Muffett" style="position: absolute; left: 0; top: 0;">Alec Muffett</a><div><a href="https://infosec.exchange/@mdfranz/111642489203745331" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/152577" title="dave_aitel@mastodon.social">Dave Aitel</a></li><li><a href="https://gnusocial.jp/user/226381" title="mdfranz@infosec.exchange">Matt Franz</a></li></ul></div></section><article><p><a href="https://infosec.exchange/@mdfranz">@mdfranz</a> I'm with you re: that observation, although one will never convince the people who are into theorem proving or formal methods or Coq or whatever, because they live in a world of small elegant perfect things.<br>/Cc <a href="https://hachyderm.io/@dalias">@dalias</a> <a href="https://mastodon.social/@dave_aitel">@dave_aitel</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2500360#notice-4947590">In conversation</a><time datetime="2023-12-26T11:19:11+09:00" title="Tuesday, 26-Dec-2023 11:19:11 JST">about a year ago</time> <span>from <span><a href="https://mastodon.social/@alecmuffett/111642501407031115" rel="external" title="Sent from mastodon.social via ActivityPub">mastodon.social</a></span></span><a href="https://mastodon.social/@alecmuffett/111642501407031115">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Alec Muffett (alecmuffett@mastodon.social)'s status on Tuesday, 26-Dec-2023 11:19:11 JSTAlec Muffett
in reply to
@mdfranz I'm with you re: that observation, although one will never convince the people who are into theorem proving or formal methods or Coq or whatever, because they live in a world of small elegant perfect things.
/Cc @dalias @dave_aitel
In conversationabout a year ago from mastodon.socialpermalink

Public

Embed Notice

HTML Code

Corresponding Notice