Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,475 posts.

Any topic
2023
1651

Emitting Safer Rust with C2Rust

In this post, we will discuss recent results from Immunant and Galois in extending C2Rust to emit memory-safe Rust in certain cases. With this work we aim to shift a meaningful part of the translation burden from the human to the machine. Up until now, C2Rust has only been able to translate C to unsafe Rust that is no…