norlygfyd
No user record in our sample, but norlygfyd has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but norlygfyd has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
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 combination of rules Lean uses is…
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 + $". That this bid "won" indicates the…
> 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 best offer + $". That is not a valid…
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 compelling reason for allowing it.