Hacker News
- Miri: Interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
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/ 428 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
- Rust Programming Language https://www.rust-lang.org/ 595 comments
- https://rust-lang.zulipchat.com/#narrow/stream/335408-foundation/topic/Scaling.20Up.20the.20Services/near/325541112 135 comments
- Tree Borrows https://perso.crans.org/vanille/treebor/ 52 comments
- Stacked Borrows: An Aliasing Model for Rust (POPL 2020) https://plv.mpi-sws.org/rustbelt/stacked-borrows/ 26 comments
- Tracking Issue for strict_provenance · Issue #95228 · rust-lang/rust · GitHub https://github.com/rust-lang/rust/issues/95228 24 comments
- The MIT License | Open Source Initiative https://opensource.org/licenses/MIT 15 comments
- https://www.apache.org/licenses/LICENSE-2.0 7 comments
- Functions - The Rust Reference https://doc.rust-lang.org/reference/items/functions.html#function-attributes 6 comments
- Using lightweight formal methods to validate a key-value storage node in Amazon S3 - Amazon Science https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3 1 comment
- Home - cargo-nextest https://nexte.st/ 0 comments
- SyRust: automatic testing of Rust libraries with semantic-aware program synthesis | Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation https://dl.acm.org/doi/abs/10.1145/3453483.3454084 0 comments
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.