Y Hacker News new | ask | show | jobs

user: yoav_hollander created: 2015-08-11 karma: 182 submissions: A path from autonomy V&V to AGI alignment? 1 points | 0 comments The V&V method – A step towards safer AGI 1 points | 0 comments 0 points | 0 comments About “The coming AI hackers” paper 1 points | 0 comments 0 points | 0 comments Estimating the residual risk of ADAS/AV 1 points | 0 comments GPT-3 and Verification 1 points | 0 comments Autonomy markets and their potential bugs 2 points | 0 comments 0 points | 0 comments M-SDL, the autonomous vehicles verification language, is now open 2 points | 0 comments Why testing the typical is not enough for Autonomous Vehicles 1 points | 0 comments Don't Stay in Monte Carlo (for Autonomous Vehicles Verification) 1 points | 0 comments Moving from autonomous vehicles verification to regulation 1 points | 0 comments Bridging autonomous vehicles verification and regulation 1 points | 0 comments Running autonomous vehicle scenarios: Some problems 1 points | 0 comments 0 points | 0 comments What to do about the next 500 fatal autonomous vehicle crashes 3 points | 0 comments What to do about the next 500 serious AV accidents 1 points | 0 comments The Uber accident and the bigger picture 1 points | 0 comments How to write autonomous vehicle scenarios 1 points | 0 comments Verifying how autonomous vehicles behave *during* accidents 2 points | 0 comments Verifying how autonomous vehicles behave *during* accidents 1 points | 0 comments On Mobileye's formal model of autonomous vehicle safety 1 points | 0 comments Using program induction for verification – will this work? 2 points | 0 comments Autonomous vehicle verification updates: Waymo, Apple and more 1 points | 0 comments Autonomous vehicle verification updates: Waymo, Apple and more 1 points | 0 comments What's new in autonomous vehicle verification – part two 1 points | 0 comments What's new in autonomous vehicle verification – part two 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments