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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.social/users/kornel/statuses/112484497460623241">Kornel (kornel@mastodon.social)'s status on Wednesday, 22-May-2024 20:58:32 JST</a><a href="https://mastodon.social/@kornel" title="kornel@mastodon.social"><img src="https://gnusocial.jp/avatar/17873-48-20230311172358.webp" width="48" height="48" alt="Kornel" style="position: absolute; left: 0; top: 0;">Kornel</a><div><a href="https://queer.hacktivis.me/objects/e5a678ec-3df6-43af-89b7-db9a44bfcb67" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><p><a href="https://queer.hacktivis.me/users/lanodan">@lanodan</a> C needs new type system extensions or annotations to improve static analysis further. <br>Current tools hit dead-ends due to problems like pointer aliasing, mutable `const`, and lack of information about thread safety.</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/3126241#notice-6193740">In conversation</a><time datetime="2024-05-22T20:58:32+09:00" title="Wednesday, 22-May-2024 20:58:32 JST">about 9 months ago</time> <span>from <span><a href="https://mastodon.social/@kornel/112484497460623241" rel="external" title="Sent from mastodon.social via ActivityPub">mastodon.social</a></span></span><a href="https://mastodon.social/@kornel/112484497460623241">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Kornel (kornel@mastodon.social)'s status on Wednesday, 22-May-2024 20:58:32 JSTKornel
in reply to
- Haelwenn /элвэн/ :triskell:
@lanodan C needs new type system extensions or annotations to improve static analysis further.
Current tools hit dead-ends due to problems like pointer aliasing, mutable `const`, and lack of information about thread safety.
In conversationabout 9 months ago from mastodon.socialpermalink

Public

Embed Notice

HTML Code

Corresponding Notice