(arxiv.org)

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

Show context

ActorNightly[dead post] ◴[21 Dec 24 03:29 UTC] No.42477322[source]▶

[flagged]

1. CoastalCoder ◴[21 Dec 24 05:03 UTC] No.42477655[source]▶

Would you mind expanding on this?

It sounds interesting, but I'm not tuned into either community enough to know what parallels you see.

Compiling C to Safe Rust, Formalized