6 ms·

> > today cars drive themselves > You can attach about a hundred asterisks to that. Not in San Francisco. There are about 300 Waymo cars safely driving in one

> > today cars drive themselves > 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.

creata 2y ago
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.
m0llusk 2y ago
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.
- fragmede 2y ago
  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.
  - cuu508 2y ago
    GGGP talked about L5 self-driving, isn't Waymo L4?
saagarjha 2y ago
San Francisco, for all its challenges, mostly has traffic laws that people follow. This is not true throughout the world.
TestingWithEdd 2y ago
Limited to specific areas during specific hours, and have caused crashes (at least when I lived there till last summer).

creata 2y ago

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.

m0llusk 2y ago

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.

fragmede 2y ago
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.
- cuu508 2y ago
  GGGP talked about L5 self-driving, isn't Waymo L4?

saagarjha 2y ago

San Francisco, for all its challenges, mostly has traffic laws that people follow. This is not true throughout the world.

TestingWithEdd 2y ago

Limited to specific areas during specific hours, and have caused crashes (at least when I lived there till last summer).