Proving that safety-critical neural networks do what they're supposed to | Hacker News Reader