Top posts

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

Software Engineering
Any year
12282

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…