Viewing profile — norlygfyd

Soundness of Lean requires more than correctness of the kernel - it requires that the theory be sound. That, frankly, is a matter of mathematics folklore. "It is known" that the co…

This was not made possible by the intervention of Musk. If you're referring to the X Corp objection, this has absolutely nothing to do with that.

The "winning" offer was formulated such that its cash value depended upon the next best offer. I.e., when you strip away the complexity it was of the form "next best offer + $". Th…

> It was specifically structured to give better-than-next-offer That is the most farcical bit. When you strip away all the legalese, the offer was literally formulated as "next bes…

99% of people claiming to be experts on how FSD can never work are doing precisely that.

They Waymo trick is entirely different to FSD. They are travelling pre-mapped streets.

And in those same cases, you could probably safely do the same with FSD (s), but because FSD isn't as limited and the Mercedes product is not a serious competitor, there's no compe…