Hacker News with Generative AI: Memory Safety

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.

Programming Languages, Memory Safety, Rust, Ada

166 points by pabs3 12 days ago | 158 comments

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.

Software Development, Memory Safety, Standards, Security

76 points by mepian 15 days ago | 98 comments

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.

Programming Languages, Julia, Memory Safety, Software Development, Tools

77 points by darboux 34 days ago | 14 comments

Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches (verdagon.dev)
A fellow named Zeke came into my server one day.

Memory Safety, Programming, Software Development, Computer Science, Security

183 points by PotatoPancakes 67 days ago | 140 comments

Memory-safe PNG decoders now outperform C PNG libraries (reddit.com)

Memory Safety, Image Processing, Programming, Performance, C Programming

32 points by dralley 74 days ago | 6 comments

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.

Programming Languages, Memory Safety, C

7 points by synergy20 101 days ago | 0 comments

Can the 'Safe C++' proposal copy Rust's memory safety? (thenewstack.io)

Programming Languages, Rust, C++, Memory Safety

4 points by MilnerRoute 111 days ago | 0 comments

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…

Programming Languages, Rust, C#, Memory Safety

332 points by SkiFire13 117 days ago | 323 comments

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.

Programming Languages, Memory Safety, Software Development, C++

100 points by todsacerdoti 124 days ago | 42 comments

Memory Safety with MallocPlusAI (twitter.com)

Memory Safety, Artificial Intelligence, Programming, Software, Security

4 points by Apocryphon 126 days ago | 1 comments

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.

Software Security, Memory Safety, Programming Languages

330 points by coffeeaddict1 149 days ago | 190 comments

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.

C++, Programming Languages, Memory Safety, Security, Open Source

31 points by vinniefalco 162 days ago | 7 comments

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.

Rust, Firmware, Embedded Systems, Memory Safety

211 points by pjmlp 169 days ago | 109 comments

Scpptool – a tool to enforce a memory and data race safe subset of C++ (github.com/duneroadrunner)

C++, Software, Memory Safety, Programming Tools

53 points by coffeeaddict1 175 days ago | 11 comments

Ampere: Making Future Software Memory-Safe, a Path Towards Secure Cloud (amperecomputing.com)

Software Security, Cloud Computing, Memory Safety, Hardware

4 points by pjmlp 230 days ago | 0 comments

C can be memory safe (erratasec.com)

Programming Languages, Security, Memory Safety

43 points by udev4096 246 days ago | 54 comments

Writing memory safe JIT compilers (medium.com)