Seems like many superchargers are already overcrowded with Teslas alone in my experience, so this will reduce the appeal of Teslas. The biggest advantage Tesla has and the main reason I chose it is due to its dedicated charging infrastructure which is way better than other systems.
I thought the "navigate on autopilot" feature was basically FSD but on highway only. But no, it just suggests lane changes that are dumb most of the time. Yes, I can only blame myself really, but I can't believe they would even sell such a worthless package for $6,000 more.
A bit tangential but I just got a Tesla Model 3 and paid $6,000 extra for “enhanced autopilot” buying into all the marketing about it, and its one of the biggest regrets of my life and makes me unable to appreciate an otherwise great car. I just feel sick about it. The enhanced autopilot is buggy and doesn’t save me any effort. The summon and auto park don’t really work. I think it’s a scam. Other than that it’s a great car.
After some deliberation, I think this mostly makes sense and shouldn’t be upsetting. If someone discovers/invents something important but isn’t capable of communicating that new thing for whatever reason then no one else can benefit from it. Later someone else independently discovers it and is capable of popularizing it and then people can actually benefit from it. So we are often naming things after the popularizers or people who figure out how to make a discovery widely applicable, and they are often at least or more important than the original discoverer.
I see it noted that this could speed up machine learning inference, but any hope of this being extended to also speed up training? I imagine with 100x speedup in matmuls, albeit approximate matmuls, one could plausibly train on a CPU.
I used to be against standardized tests, but I grew up as a low-income minority in a single-parent household and I ended up getting into good schools pretty much only due to my high test scores, which has been a life changer. Other than test scores, I couldn't afford to do any fancy extra-curriculars. It felt a lot more achievable to know I can change my life if I just focus and do well on a test than it would if I had to somehow do a bunch of random things to look competitive on paper.
But Lean4 is in alpha stage and there are no official stable releases yet, of course it's not well-documented nor polished yet. Lean3 works perfectly well and has everything you need.
I think it all comes down to the aesthetics and user experience. The Lean webpage is inviting and modern. Coq’s website looks like it’s from the 90s. Lean’s integration with Visual Studio Code is clean and user friendly. The language itself is familiar and polished. The imprimatur of a Microsoft team producing Lean being makes it seem more sophisticated.
I recently started a relatively complex machine learning project in Julia 1.6 and it’s been great so far. Occasionally the youthful nature of the language creates minor issues (eg fewer answers on stackoverflow) but overall it really has delivered on the promise of being very usable and productive for scientific computing and being fast and highly optimizable.
What if we mandate that all workers must get part of their compensation in the form of company shares so that if the company explodes in value, it's not just the executives that become billionaires and the workers are just still going paycheck to paycheck? This seems common in the tech world but not so much in other companies.
I used to share the concern with overpopulation, but birth rates are often below replacement in developed countries. I now worry more about the long-term survival of humanity than I do about overpopulation. I expect all countries to eventually become developed and follow the same trend, and eventually the population just naturally dwindles because we become a post-survivalist society and don't care about propagating our genes anymore, and we just care about optimizing individual happiness.
Where is cost of living in this analysis? In the Midwest you can still have a nice quality of life with any decent job. Yeah sure, you can’t have such things in SF, NY or LA like maybe you could in the 70s.
I can see how it could be interpreted that way. My first reaction was (if the claim is true) that must be cultural memes as the cause, as a genetic cause automatically was implausible to me.
Pros and cons like anything but one big pro of corralling all the most productive and intelligent people together is the network effect that can have. Big things can happen when you get a bunch of really smart people together that wouldn’t have happened if they were all dispersed.
I wrote a series of blog posts about persistent homology and topological data analysis for absolute beginners as I was obsessed with it for some time: http://outlace.com/TDApart1.html
It was never mentioned in the article so I just looked it up on Wikipedia, but Elliptic curve cryptography is not secure against future quantum computers.
Presumably severe includes some people who don’t need hospitalization. Some high risk patients can get new monoclonal antibody treatments that may prevent them from needing hospitalization. Some people are sent home from the ED with oximeters and told to come back if their oxygen saturation drops below a certain threshold and a doctor calls them everyday. Hospitals in hard-hit area have to be very judicious about only admitting patients who really need it so there may be some severe/high risk cases that are just closely followed as an outpatient.
Great news. There are definitely a number of people out there who, in part due to social circumstances have difficulty taking meds daily and this will likely help a good proportion of them.