『RustBelt』へのコメント

ドイツのマックスプランク研究所がRustの安全性を検証している

Rust
OCaml

jsstudy のブックマーク 2019/10/19 08:38

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/276038411/comment/jsstudy" data-user-id="jsstudy" data-entry-url="https://b.hatena.ne.jp/entry/s/plv.mpi-sws.org/rustbelt/" data-original-href="https://plv.mpi-sws.org/rustbelt/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fplv.mpi-sws.org%2Frustbelt%2F" data-user-icon="/users/jsstudy/profile.png">RustBelt</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/Rust">Rust</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/OCaml">OCaml</a>]</li></ul><br><p style="clear: left">ドイツのマックスプランク研究所がRustの安全性を検証している</p><a class="datetime" href="https://b.hatena.ne.jp/jsstudy/20191019#bookmark-276038411"><span class="datetime-body">2019/10/19 08:38</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

RustBelt

plv.mpi-sws.org2016/01/10

Update The ERC-funded RustBelt project has now formally ended (as of April 2021), but the project continues in spirit, and we continue to seek exceptional candidates for PhD and postdoc positions a...

10 人がブックマーク・3 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

RustBelt

はてなブックマーク

公式Twitter

はてなのサービス