←back to thread

Compiling C to Safe Rust, Formalized

(arxiv.org)
277 points love2read | 1 comments | 20 Dec 24 23:30 UTC | HN request time: 0.2s | source
Show context
ActorNightly[dead post] ◴[21 Dec 24 03:29 UTC] No.42477322[source]▶
[flagged]
1. ◴[21 Dec 24 11:23 UTC] No.42479013[source]▶