Excellent. I wasn't aware of SPARK. It could have been useful for Toyota, rather than the ad-hoc mess they wound up with controlling their cars. https://news.y

Excellent. I wasn't aware of SPARK. It could have been useful for Toyota, rather than the ad-hoc mess they wound up with controlling their cars. https://news.ycombinator.com/item?id=8905718 https://news.ycombinator.com/item?id=8905718