(arxiv.org)

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

Show context

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

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 #

1. sunshowers ◴[21 Dec 24 03:36 UTC] No.42477358[source]▶

>>42476636 #

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.

↑

Compiling C to Safe Rust, Formalized