Re:DARPA: Translating All C to Rust (Tractor)
by creata on Tuesday July 30, 2024 @04:03PM
(#41113542)
Isn't 100% accuracy (relatively) easy? c2rust already does that, or at least comes close, as far as I know.
Getting identical outputs on safe executions, catching any unsafe behavior (at translation-time or run-time), and producing efficient, maintainable code all at once is a million times harder.
Re:DARPA: Translating All C to Rust (Tractor)
by m0llusk on Tuesday July 30, 2024 @04:06PM
(#41113564)
Opinions about automated driving systems vary. Just from my own experience doing business all around San Francisco I have seen at least a half dozen instances of Waymo vehicles making unsafe maneuvers. Responders have told me and local government officials that Waymo vehicles frequently fail to acknowledge emergency situations or respond to driving instructions. Driving is a social exercise which requires understanding of a number of abstractions.
Re:DARPA: Translating All C to Rust (Tractor)
by fragmede on Wednesday July 31, 2024 @12:39AM
(#41116440)
they're not perfect, sure, but they're out there, just driving around all autonomously and all, contrary to GGP's assertion that they don't exist.
Re:DARPA: Translating All C to Rust (Tractor)
by cuu508 on Wednesday July 31, 2024 @01:47AM
(#41116658)
GGGP talked about L5 self-driving, isn't Waymo L4?
Re:DARPA: Translating All C to Rust (Tractor)
by saagarjha on Tuesday July 30, 2024 @05:10PM
(#41114173)
San Francisco, for all its challenges, mostly has traffic laws that people follow. This is not true throughout the world.
Re:DARPA: Translating All C to Rust (Tractor)
by TestingWithEdd on Wednesday July 31, 2024 @12:58AM
(#41116498)
Limited to specific areas during specific hours, and have caused crashes (at least when I lived there till last summer).
> You can attach about a hundred asterisks to that.
Not in San Francisco. There are about 300 Waymo cars safely driving in one of the most difficult urban environments around (think steep hills, fog, construction, crazy traffic, crazy drivers, crazier pedestrians). Five years ago this was "someday" science-fiction. Frankly I trust them much more then human drivers and envision a future utopia where human drivers are banned from urban centers.
To get back on topic, I don't think automatic programming language translation is nearly as hard, especially since we have a deterministic model of the machines it runs on. I can see a possible approach where AI systems take the assembler code of a C++ program, then translate that into Rust, or anything else. Can they get 100% accuracy and bit-for-bit compatibility on output? I would not bet against it.