GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation - discu.eu

Hacker News

Miri: Interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments 27/3/2019

Linking pages

Why Not Rust? https://matklad.github.io/2020/09/20/why-not-rust.html 1082 comments
C++ safety, in context – Sutter’s Mill https://herbsutter.com/2024/03/11/safety-in-context/ 687 comments
When Zig is safer and faster than Rust https://zackoverflow.dev/writing/unsafe-rust-vs-zig/ 464 comments
Assorted thoughts on zig (and rust) https://scattered-thoughts.net/writing/assorted-thoughts-on-zig-and-rust/ 439 comments
Unsafe Rust Is Harder Than C | Chad Austin https://chadaustin.me/2024/10/intrusive-linked-list-in-rust/ 431 comments
Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 380 comments
Why Rust is actually good for your car. | by Johannes Foufas | Volvo Cars Engineering | Medium https://medium.com/volvo-cars-engineering/why-volvo-thinks-you-should-have-rust-in-your-car-4320bd639e09 362 comments
"What The Hardware Does" is not What Your Program Does: Uninitialized Memory https://www.ralfj.de/blog/2019/07/14/uninit.html 312 comments
Rust's Unsafe Pointer Types Need An Overhaul - Faultlore https://gankra.github.io/blah/fix-rust-pointers/ 273 comments
The simpler alternative to GCC-RS | by Sergey "Shnatsel" Davidoff | Medium https://shnatsel.medium.com/the-simpler-alternative-to-gcc-rs-90da2b3685d3 245 comments
Do we need a "Rust Standard"? - Mara's Blog https://blog.m-ou.se/rust-standard/ 228 comments
Announcing: MiniRust https://www.ralfj.de/blog/2022/08/08/minirust.html 223 comments
I built a garbage collector for a language that doesn’t need one | clayt https://claytonwramsey.github.io/2023/08/14/dumpster.html 208 comments
How Rust optimizes async/await I - Tyler Mandry https://tmandry.gitlab.io/blog/posts/optimizing-await-1/ 189 comments
The Soundness Pledge | Raph Levien’s blog https://raphlinus.github.io/rust/2020/01/18/soundness-pledge.html 168 comments
The rabbit hole of unsafe Rust bugs – notgull – The world's number one source of notgull https://notgull.net/cautionary-unsafe-tale/ 160 comments
Undefined Behavior deserves a better reputation | SIGPLAN Blog https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/ 120 comments
The Tower of Weakenings: Memory Models For Everyone - Faultlore https://gankra.github.io/blah/tower-of-weakenings/ 120 comments
Ferrocene Update - Ferrous Systems https://ferrous-systems.com/blog/sealed-rust-the-plan/ 119 comments
https://jacko.io/safety_and_soundness.html 95 comments

Linked pages

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation

See how to search.

Submit link to: