Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mathstodon.xyz/users/ddrake/statuses/115526471437450828">Dan Drake 🦆 (ddrake@mathstodon.xyz)'s status on Tuesday, 11-Nov-2025 05:07:59 JST</a><a href="https://mathstodon.xyz/@ddrake" title="ddrake@mathstodon.xyz"><img src="https://gnusocial.jp/avatar/115625-48-20260421161135.webp" width="48" height="48" alt="Dan Drake 🦆" style="position: absolute; left: 0; top: 0;">Dan Drake 🦆</a></section><article><p>I used to teach at KAIST and this is a great development from their CS folks -- provably correct translation from C to Rust. </p><p><a href="https://news.kaist.ac.kr/newsen/html/news/?mode=V&amp;mng_no=54270" rel="nofollow">https://news.kaist.ac.kr/newsen/html/news/?mode=V&amp;mng_no=54270</a></p><p><a href="https://mathstodon.xyz/tags/kaist" rel="tag">#kaist</a> <a href="https://mathstodon.xyz/tags/c" rel="tag">#c</a> <a href="https://mathstodon.xyz/tags/rust" rel="tag">#rust</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/5850383#notice-11491294">In conversation</a><time datetime="2025-11-11T05:07:59+09:00" title="Tuesday, 11-Nov-2025 05:07:59 JST">about 7 months ago</time> <span>from <span><a href="https://mathstodon.xyz/@ddrake/115526471437450828" rel="external" title="Sent from mathstodon.xyz via ActivityPub">mathstodon.xyz</a></span></span><a href="https://mathstodon.xyz/@ddrake/115526471437450828">permalink</a><h4>Attachments</h4><ol><li><article><header><div>Domain not in remote thumbnail source whitelist: news.kaist.ac.kr</div><h5><a href="https://news.kaist.ac.kr/newsen/html/news/?mode=V&amp;mng_no=54270#kaist">News at KAIST</a></h5><div></div></header><div>사이트 설명을 간략히 기록 해주세요.</div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Dan Drake 🦆 (ddrake@mathstodon.xyz)'s status on Tuesday, 11-Nov-2025 05:07:59 JST Dan Drake 🦆
I used to teach at KAIST and this is a great development from their CS folks -- provably correct translation from C to Rust.
https://news.kaist.ac.kr/newsen/html/news/?mode=V&mng_no=54270
#kaist #c #rust
In conversationabout 7 months ago from mathstodon.xyzpermalink
Attachments
1. Domain not in remote thumbnail source whitelist: news.kaist.ac.kr
  News at KAIST
  사이트 설명을 간략히 기록 해주세요.

Public

Embed Notice

HTML Code

Corresponding Notice