Linking pages
Linked pages
- Heartbleed Bug http://heartbleed.com/ 1644 comments
- Therac-25 - Wikipedia https://en.wikipedia.org/wiki/Therac-25 605 comments
- Fearless Concurrency with Rust | Rust Blog https://blog.rust-lang.org/2015/04/10/Fearless-Concurrency.html 309 comments
- Tock Embedded Operating System https://www.tockos.org/ 140 comments
- GitHub - AdamNiederer/faster: SIMD for humans https://github.com/adamniederer/faster 132 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Formalizing Rust https://www.ralfj.de/blog/2015/10/12/formalizing-rust.html 62 comments
- https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 48 comments
- How MutexGuard was Sync When It Should Not Have Been https://www.ralfj.de/blog/2017/06/09/mutexguard-sync.html 46 comments
- The Tale of a Bug in Arc: Synchronization and Data Races https://www.ralfj.de/blog/2018/07/13/arc-synchronization.html 37 comments
- RustBelt http://plv.mpi-sws.org/rustbelt/#project 37 comments
- The Rust Way of OS Development https://phil-opp.github.io/talk-konstanz-may-2018/ 36 comments
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 20 comments
- Rust Programming Language https://www.rust-lang.org/en-US/ 10 comments
- Rust - OSDev Wiki http://wiki.osdev.org/rust 9 comments
- xkcd: Random Number https://xkcd.com/221/ 7 comments
- Welcoming Semmle to GitHub | The GitHub Blog https://semmle.com/news/apple-xnu-kernel-icmp-nfs-vulnerabilities 6 comments
- Security Update Guide - Microsoft Security Response Center https://portal.msrc.microsoft.com/en-US/security-guidance/advisory/CVE-2019-0708 4 comments
- NVD - CVE-2019-11815 https://nvd.nist.gov/vuln/detail/CVE-2019-11815 1 comment
- Valgrind Home https://valgrind.org/ 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:medium.com
Search title: Why Rust?. What is Rust language and why Parity… | by Dmitriy Kashitsyn | Parity Technologies | Medium
See how to search.