But at least the experimental results disproving these incremental fixes should be exactly the kind of thing the next Einstein should need for coming up with an entirely new way of looking at things
> Some once-in-a-generation scientist has an intuition that turns out to be true and mathematically elegant.
That’s a bit simplistic. There was a lot of research activity around the aether in the late 19th century that was ultimately useful for the foundation of special relativity. Like the Michelson-Morley experiment, which was supposed to measure aether winds, but showed it did not actually seem to exist. Lorentz developed his transform as a theory of the aether, but it became a cornerstone of special relativity. Einstein based his ideas on a lot of things that were done a couple of decades before, some of which were supposed to be part of a theory of the aether.
There was actually quite a lot of activity and vigorous debate between aether and something else, unknown at the time, that turned out to be relativity. Einstein did not just show up and invent everything. There is a very quick overview of this here: https://en.wikipedia.org/wiki/History_of_special_relativity
If you revisit what I wrote, you'll find that I agree with you.
There was vigorous debate about a wrong and an unknown thing (both was basically wrong) and it took Einstein's intuition and the new GR math to turn it into science.
I was drawing a parallel between this and the current MOND, string theory, dark matter debate. More specifically, I'd even say dark anything is our generations aether!
Dude, if you genuinely want to know what happened, you should read some proper history of science. Here take this: https://arxiv.org/pdf/physics/0405066
It shows both how Einstein very much didn't make the theory alone, was inspired to take impotat technical steps by work of other thats that created a theory based on his principles before him, and that actually he first created (in intense collaboration) a failed theory that got Mercury's anomaly all sorts of wrong.
you think the deepest mysteries of reality and the universe should just reveal themselves because we have a couple thousand smart people working on it for... 10 years?
Regulation won't magically save low margin businesses.
Nationalizing might, but then you make it difficult to compete for others. And of course, there's plenty of precedence of nationalized airlines failing catastrophically and having to be sold off to private or foreign entities to keep functioning.
Tesla software is in no way a joy to use. I had rented one and it was infuriatingly bad. I'm sure people can get used to it, but people can get used to literally anything.
The map looks like it really wants to be in Star Trek more than than it is meant to be usable software.
Doing simple things takes getting into menus 2-3 layers deep, often while driving.
Press the wiper button on Steering wheel to wipe, use left scroll button on steering wheel to make it fast/slow/off. No touch screen needed. Can also use voice command.
Press headlight button on s.wheel, tap the fog light icon on screen.
There's one thing I actually dislike. You can use voice to control all these stuff except foglight. It even understands foglight command, but doesn't do anything. Most likely a bug. I don't know how to report it.
I’ve been driving a Model Y for a year now. Used to have a Volvo with android automotive and before that a Mercedes Benz with the.. I’m not sure whatever that OS is called.
Tesla sw is miles better than the previous two. It is responsive and laid out well. When you get used to it, it is intuitive. Android was not that bad but the visual design was much worse and it was laggy.
The MB software can die in hell. It is the worst piece of shit ever been built by humans. And it is running on hopes and dreams instead of a capable processor. Note that this was an E class so not an entry model. (Even then, there is no excuse)
Because, we have pretty convincing historical precedent that 'just following orders' does not work as a defense when your government does something indefensible.
Let’s steel-man the parent comment. Obviously “just following orders” is not generally a morally sufficient argument even if you end up not facing repercussions for your actions.
To be fair, Coq has ProofGeneral and Agda has its emacs mode. Once you go outside these established channels, oftentimes using the tool becomes incredibly difficult. I guess for interactive theorem proving in general you may need some sort of editor at some point.
Yeah, I'm not a fan of the encouragement to use vscode; that said it was pretty easy for me to get neovim set up with Lean tooling, and that's what I use generally.
Otherland by Tad Williams, where the powerful oligarchs of corporations are kept bodily alive bybmachinery, their mind have been transferred to a cirtual reality and they keep on going by making said virtual reality the next hypercapitalist venture.
And yet we are discussing this in the context of a reporter having been fired from Ars Technica for publishing an article which included inaccurate LLM-generated summaries in 2026. How come?
Almost sounds like an Orielly book
reply