Hacker News new | ask | show | jobs
by orbifold 2903 days ago
Lack of type safety and static analysis tools. You can't apply formal verification to it. I wouldn't sit in a car in which any safety critical component was driven by python. Hopefully you would also not be able to get it certified for road use. I happen to know people that work on these problems for German automotive companies. This wouldn't fly there. I truly hope that solid engineering wins out over these approaches. That being said I admire the audacity.
1 comments

Because German automotive companies are known for making systems that are robust and not just faking results.