Hacker News with Generative AI: Memory Safety

Violating memory safety with Haskell's value restriction (welltypedwit.ch)
A common issue in impure ML-style languages with polymorphism and mutable references is the possibility of polymorphic references.

Programming Languages, Haskell, Functional Programming, Memory Safety, Value Restriction

10 points by fanf2 1 day ago | 0 comments

How (memory) safe is Zig? (2021) (scattered-thoughts.net)
I keep seeing discussions that equate zig's level of memory safety with c (or occasionally with rust!). Neither is particularly accurate. This is an attempt at a more detailed breakdown.

Programming Languages, Memory Safety, Zig, C, Rust

38 points by vortex_ape 10 days ago | 84 comments

Memory Safety Features in Zig (gencmurat.com)
Memory safety is a cornerstone of Zig’s design philosophy. While maintaining the performance benefits of manual memory management, Zig incorporates sophisticated safety mechanisms to prevent common memory-related errors. This article provides an in-depth exploration of Zig’s memory safety features with detailed examples and explanations.

Programming Languages, Memory Safety, Zig, Performance

11 points by hmac1282 14 days ago | 4 comments

Memory Safety Features in Zig (gencmurat.com)
Memory safety is a cornerstone of Zig’s design philosophy. While maintaining the performance benefits of manual memory management, Zig incorporates sophisticated safety mechanisms to prevent common memory-related errors. This article provides an in-depth exploration of Zig’s memory safety features with detailed examples and explanations.

Programming Languages, Memory Safety, Zig

11 points by todsacerdoti 15 days ago | 1 comments

The Path to Memory Safety Is Inevitable (hardenedlinux.org)
In recent years, memory safety has become a hot topic. However, when discussing “memory safety,” it is important to first clarify what exactly is being addressed and what the goals are.

Memory Safety, Programming, Software Security, Operating Systems

6 points by hardenedlinux 16 days ago | 0 comments

Ask HN: Memory-safe low level languages? (ycombinator.com)
I am looking for memory-safe languages that can be used for systems/graphics programming. I love Rust, but it often feels like too massive a language with too much stuff going on. Is there a language like C, which is simpler (obviously without all the UB and other problems)?

Programming Languages, Systems Programming, Memory Safety

61 points by hyperbrainer 26 days ago | 117 comments

Ferron – A fast, memory-safe web server written in Rust (github.com/ferronweb)
Ferron - a fast, memory-safe web server written in Rust

Web Servers, Rust, Performance, Memory Safety

141 points by lamg 51 days ago | 100 comments

The Jakt Programming Language (github.com/SerenityOS)
Jakt is a memory-safe systems programming language.

Programming Languages, Systems Programming, Memory Safety

108 points by gw2 63 days ago | 48 comments

Standard proposal for memory-Safety in C (2024) [pdf] (open-std.org)

Programming Languages, C, Memory Safety, Standardization

4 points by todsacerdoti 86 days ago | 0 comments

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 103 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 106 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 125 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 158 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 165 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 192 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 202 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 208 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 215 days ago | 42 comments

Memory Safety with MallocPlusAI (twitter.com)

Memory Safety, Artificial Intelligence, Programming, Software, Security

4 points by Apocryphon 217 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 240 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 253 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 260 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 266 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 321 days ago | 0 comments

C can be memory safe (erratasec.com)

Programming Languages, Security, Memory Safety

43 points by udev4096 337 days ago | 54 comments

Writing memory safe JIT compilers (medium.com)