[kristianp]

I don't know if that's actually true. Halting problem seems to be a satirical blog: https://medium.com/halting-problem/tesla-announces-new-home-...