News for hackers. Stuff that matters.
Re:Elon Musk’s Ideas About Transportation are Boring by andrewflnr on Saturday December 16, 2017 @12:30PM (#15940506)
I'll grant TFA lacks imagination, but...

  One can't prove a negative.
This meme needs to die. On HN, of all places, we should all know that the difference in difficulty between proving P and !P has nothing to do with one of them having a negation in its syntax.
Re:Elon Musk’s Ideas About Transportation are Boring by njarboe on Saturday December 16, 2017 @01:00PM (#15940719)
I guess a better statement is that in complex systems one cannot predict what is possible. One can only try and see what is possible by doing. Most people here might be computer people so need to see the world in very precise, math like, constructs to produce code that works, but most of reality is not like that.