←back to thread

Compiling C to Safe Rust, Formalized

(arxiv.org)
278 points love2read | 5 comments | 20 Dec 24 23:30 UTC | HN request time: 0.474s | source
1. ljlolel ◴[21 Dec 24 00:14 UTC] No.42476421[source]▶
I wonder how well O3 can do just compiling C to rust in one shot
replies(2): >>42476600 #>>42476636 #
2. saagarjha ◴[21 Dec 24 00:49 UTC] No.42476600[source]▶
Probably pretty bad.
replies(2): >>42476647 #>>42476692 #
3. ojosilva ◴[21 Dec 24 00:57 UTC] No.42476636[source]▶
Funny, I came here to say just the opposite, that I'm glad algorithmic computing is still a thing in research and that not everything is AI.

Ironically, AI is able to produce research-grade algorithms and will probably become an authority on the subject, helping take more traditional CS to the next level.

replies(2): >>42477181 #>>42477358 #
4. Garlef ◴[21 Dec 24 02:55 UTC] No.42477181[source]▶
I think it would make sense to evaluate if the the 'surgical' rewrites mentioned in the article can be carried out by or assisted by an LLM based process.
5. sunshowers ◴[21 Dec 24 03:36 UTC] No.42477358[source]▶
There's a lot of code in the world where correctness is a requirement. :)

I agree with the sibling -- I think LLMs may be able to help automate some parts of it, but humans are still 95% of it. At least for now.