The average person may not even own a personal computer, has a company-owned notebook with barely 16 GB of RAM and maybe a TPU, and here you are saying that owning a prosumer GPU and more RAM than what most people will buy across their entire lifetimes is common.
I'm gonna plug a recommendation here based on your comment: if anyone wants to marvel or horrify at the US' water development history, Cadillac Desert is an excellent read, https://en.wikipedia.org/wiki/Cadillac_Desert .
Downvoted for the truth. Everyone recommending this book now is young because literally everyone who likes to read nonfiction was reading it in the 90s
I think it is well known by this point that hardware-backed security is good until an unfixable hardware bug is found, this just reads to me as Nvidia saying "please don't regulate open models out of existence, look, I have a solution to appease the regulators, please let me keep selling accelerators"
If this comes through, there's gonna be a grey market for "unlocked" GPUs, were the watchdog is disabled either from firmware, or physically replaced if it's not embedded into the die.
Repair costs are very high (and take ages) and most of them are expensive cars outright which puts the premiums up.
Performance being pretty high on even a basic Tesla doesn't help things either. The insurance market in the UK is very expensive anyway and any excuse to wind up premiums they'll gladly use.
Wait, insurance includes repair costs? What kind of insurance are we talking about? In Spain, mandatory insurance plus some perks is about the same: includes damage to others, own car broken glasses, theft and fire, and road assistance. Maybe Tesla is slightly more, expensive because the horsepower of their cars is too high, and it gets in the group of cars with over 300 HP, so insurers assume it is a bit of a sports car. Anyway, the difference with similarly powered ICE car is negligible.
Yes of course, it's part of the actuarial calculation. As cars age they become more expensive to repair and eventually will cross a boundary where the insurer will write them off on any type of accident, rather than trying to repair. This naturally increases the base insurance price.
OEMs in the EU are only required to produce spare parts for 10 years after a model is withdrawn, which is a strong indicator of when write-off becomes the primary option.
I don't know, but it was going to cost me about two grand a year to insure a Kia Niro EV compared to 200 quid to insure a 4.6 litre Range Rover.
Presumably because (at least round here) they're driven by retired guys who are simply not capable of staying in front of a 700bhp gokart that gets to 60mph faster than if you threw it off a cliff.
I think these kinds of vehicles are fine for countries were fast charging networks are still not widespread. I drove a rental X-Trail e-Power AWD a while ago, and fuel economy, while not spectacular, was still great given the quality of the powertrain. Of course a low displacement manual can get better fuel economy, and an electric will be cheaper, but if you are driving 800km on a country with little charging infrastructure, powertrains like this one or Toyota's eCVTs make sense.
>X-Trail e-Power AWD a while ago, and fuel economy, while not spectacular, was still great
10L/100km on highway, worse than cheaper comparably powerful ordinary diesel. Seems like a pointless car, X-Trail 2.0 dCi M9R was better in every possible way.
Where did you get the 10L/100km figure from? I saw closer to 7L/100km when driving it, and the 2.2 diesel on the older X-Trails has about 100 less horsepower.
The one this that is better than just SSH+Tmux+Vim, is that if your latency is higher than 30-50ms, since VSCode's SSH agent streams the files to your computer, the typing experience feels snappier. When you work half a continent away from where the servers are, it makes life nicer.
Use a local vim, and use its ssh support. It will download the file to the local buffer then upload it when you save. This way your vim config remains on your local machine, too.
Related, netrw (vim) can do quite a lot of things that I think people don't realize. I mean not just that it supports file trees, but well... just open :h netrw
Yea, for sure AI brought it into the mainstream. The terms existed for a long time, but the number of people actually involved in it are really low so it's not going to show up much on trends unless something big happens in the field.
You are making your argument on the basis that LLMs and future AI system will be just as good or better as current mathematicians at all the relevant processes involved in academic math and mathematics in general. I'd like to see an experiment where an AI system was trained as a 1870s mathematician and see if it can come up with set theory, if that is not possible, then current AI systems are not fit to replace mathematicians.
The hell is that reply? If we're obsoleting human mathematicians, which have fundamentally been the same thing brains-wise since forever, why shouldn't an AI system be able to replace a 1870s mathematician in the same way you are proposing it replace a 2020s mathematician?
>which have fundamentally been the same thing brains-wise since forever
and you don't see any issue here? When it takes people 2 years to understand a proof it means that the old ways are done, they hit cul-de-sac.
Like in many situations, it is the highest point as well as it is a crisis at the same time.
>why shouldn't an AI system be able to replace a 1870s mathematician
my point isn't that whether it would be able to replace - i think it would. My point is that it doesn't matter. The tool is needed for the 2020s math with those proofs taking 2 years, not for the 1870s math with proofs fitting a several pages letter.
Edit in response to the comment below as i hit my post limit :
New mathematical fields require many years of work by many people. What seems to be coming is people would be able to explore various ideas in say days instead of those years. It means more fields will be discovered and built up. And by wider array of people, ie. by the less capable than the top dog people. Mathematics will be more like engineering. Including more practical applications - like exploring transformers trajectories mapped into manifolds in p-adic spaces and applying the dynamic systems chaos theory there - borderline gibberish that no human would spend meaningful time on, yet a one would be able to throw a couple bucks at Claude++ for it to play with it. That would mean more money into the math, not less.
I am not debating IA's capabilities at coming up with proofs, I'm debating whether such systems will be able to figure out new mathematical fields or not. If they can't figure out some field from what was known at the time, what guarantees are there that AI-mathematics won't just bog down at its current state? There must be some evidence that AI can come up with novel mathematics before we decide to throw academics out the window. The risk of creating a sort of mathematical dark age just based on the current situation is far too great to stop funding mathematics research.
reply