The Jakt Programming Language
(github.com/SerenityOS)
Jakt is a memory-safe systems programming language.
Jakt is a memory-safe systems programming language.
How does Ada's memory safety compare against Rust?
(ajxs.me)
This article takes a look at the most common memory-related errors, and compares how well Rust and Ada prevent you from making them in the first place.
This article takes a look at the most common memory-related errors, and compares how well Rust and Ada prevent you from making them in the first place.
It is time to standardize principles and practices for software memory safety
(cacm.acm.org)
Twenty-one co-authors, spanning academia and industry, with expertise in memory-safety research, deployment, and policy, argue that standardization is an essential next step to achieving universal strong memory safety.
Twenty-one co-authors, spanning academia and industry, with expertise in memory-safety research, deployment, and policy, argue that standardization is an essential next step to achieving universal strong memory safety.
Borrowchecker.jl – Designing a borrow checker for Julia
(github.com/MilesCranmer)
This package demonstrates Rust-like ownership and borrowing semantics in Julia through a macro-based system that performs runtime checks. This tool is mainly to be used in development and testing to flag memory safety issues, and help you design safer code.
This package demonstrates Rust-like ownership and borrowing semantics in Julia through a macro-based system that performs runtime checks. This tool is mainly to be used in development and testing to flag memory safety issues, and help you design safer code.
Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches
(verdagon.dev)
A fellow named Zeke came into my server one day.
A fellow named Zeke came into my server one day.
Trapc – The Memory Safe C
(theregister.com)
Exclusive C and C++ programmers may not need to learn Rust after all to participate in the push for memory safety.
Exclusive C and C++ programmers may not need to learn Rust after all to participate in the push for memory safety.
A comparison of Rust’s borrow checker to the one in C#
(em-tg.github.io)
Behold: the classic example of rust’s zero-cost memory safety…
Behold: the classic example of rust’s zero-cost memory safety…
Memory safety without lifetime parameters
(open-std.org)
This proposal describes the implementation of a memory-safe reference type that does not use lifetime annotations.
This proposal describes the implementation of a memory-safe reference type that does not use lifetime annotations.
Eliminating Memory Safety Vulnerabilities at the Source
(googleblog.com)
Memory safety vulnerabilities remain a pervasive threat to software security. At Google, we believe the path to eliminating this class of vulnerabilities at scale and building high-assurance software lies in Safe Coding, a secure-by-design approach that prioritizes transitioning to memory-safe languages.
Memory safety vulnerabilities remain a pervasive threat to software security. At Google, we believe the path to eliminating this class of vulnerabilities at scale and building high-assurance software lies in Safe Coding, a secure-by-design approach that prioritizes transitioning to memory-safe languages.
Safe C++: Language Extensions for Memory Safety
(cppalliance.org)
I am happy to announce that the C++ Alliance has formed a partnership with Sean Baxter, a renowned engineer, to develop the Safe C++ Extensions proposal.
I am happy to announce that the C++ Alliance has formed a partnership with Sean Baxter, a renowned engineer, to develop the Safe C++ Extensions proposal.
Deploying Rust in existing firmware codebases
(googleblog.com)
Deploying Rust in existing firmware codebases is a promising way to mitigate memory safety issues and enhance the reliability of embedded systems.
Deploying Rust in existing firmware codebases is a promising way to mitigate memory safety issues and enhance the reliability of embedded systems.