Hacker News Reader

grekikion Learning Theory from First Principles [pdf]

Sure but halting problem is solvable for finite state machines.

grekikion Comma.ai, self-driving cars and indefinite optimism

You know comma2 exists right?

grekikion Comma.ai, self-driving cars and indefinite optimism

As long as the product demands a user to be looking at the road(and intends to keep it like that for a while), there is no reason to spend time figuring out how to solve legal issues in case the user isn't responsible.