Computer science2017 · shared on Hacker News
RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf]
Research PDF · needs verificationExplore RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yp4bl0 ·
Translation of Rust's core and alloc crates to Coq for formal verification
358 points116 comments
Ylove2read ·
Compiling C to Safe Rust, Formalized
291 points157 comments
Ympweiher ·
Are unsound type systems wrong?
210 points158 comments
Ynikivi ·
What memory model should Rust use?
122 points149 comments
YTomte ·
RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf]
120 points2 comments
Yxwvvvvwx ·
Learning Rust with Entirely Too Many Linked Lists
56 points37 comments
Yarayh ·
RustBelt: Securing the Foundations of the Rust Programming Language [pdf]
2 points0 comments
YTomte ·
RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf]
2 points0 comments
YTomte ·
RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf]
1 points0 comments