(arxiv.org)

278 points love2read | 1 comments | 20 Dec 24 23:30 UTC | HN request time: 0.211s | source

Show context

dboreham[dead post] ◴[21 Dec 24 04:19 UTC] No.42477522[source]▶

[flagged]

1. dang ◴[21 Dec 24 04:59 UTC] No.42477649[source]▶

Maybe so, but please don't post unsubstantive comments to Hacker News.

Edit: it looks like you've been doing this a lot lately. Can you please not? We're trying for something more interesting here.

Compiling C to Safe Rust, Formalized