41 karma · joined September 14, 2016
tl;dr of the article:
- Autonomous vehicles drove fewer miles in the state of California in 2017, but maybe made up for that in miles driven elsewhere.
- The disengagement rate will probably need to improve considerably before AVs are ready for widespread deployment
- Waymo's disengagement rate barely improved year over year, but that may have been because they are placing the cars in more difficult scenarios (their blog post suggests that is indeed the case)
I agree that C0 on its own is overly simplistic, but the way it is used at CMU is as 'C with training wheels' - strict type checking, no potentially-unsafe pointers to the stack, dynamic array bounds checking, etc. Then, two thirds into the semester, students transition to real C, and learn how to correctly manage those potential pitfalls.
This is how students at CMU have been learning C since 2010, and graduates don't seem to be any worse off for it.
C0-specific resources can be found at http://c0.typesafety.net
The abstract of the paper suggests that the authors intend to support the claim that "not all quantum systems can be simulated efficiently using classical computational resources". Essentially that it's impractical to simulate complex nondeterministic quantum behavior using deterministic algorithms.
But what about quantum computers? It would seem to me like their inherent nondeterministic behavior would be an ideal fit for simulating other nondeterministic quantum systems.
In any case, it doesn't sound like they found any real theoretical limitation, just a practical one.
And Ms. Flack, though her research interests extend beyond the realm of what is traditionally considered hard science, is most certainly a scientist - an evolutionary biologist specifically.
I assume you are linking to her LinkedIn profile to point out her "Doctor of Philosophy" degree? That's just the full, formal name for a PhD :P
Without self-driving cars, that strategy isn't sustainable, and so eventually Uber will find itself unable to maintain its advantage over Lyft.