The back button itself feels overloaded. There's "go to previous state" and then there's "go to previous origin." In an ideal world when I doubleclick on the back button what I mean is: "get me off of this site, now."
> but it’s just not good enough in most NFS systems.
NFS is just an interface. At the end of the day it's on top of an FS. It's entirely possible and sometimes done in practice to replicate the underlying store served by NFS. As you would expect there are several means of doing this from the simple to the truly "high-availability."
There are several high value prizes for mathematical research. Let me know when an "AI" has earned one of them. Otherwise:
> When Ryu asked ChatGPT, “it kept giving me incorrect proofs,” [...] he would check its answers, keep the correct parts, and feed them back into the model
So you had a conversational calculator being operated by an actual domain expert.
> With ChatGPT, I felt like I was covering a lot of ground very rapidly
There's no way to convert that feeling into a measurement of any actual value and we happen to know that domain experts are surprisingly easy to fool when outside of their own domains.
> I think the dude is well known in the math community, or something
I believe this is called "appeal to authority." Which is why, instead of disagreeing with him, I suggested a more cogent endpoint that could be used to establish the facts the article's title suggests.
> and today’s large trucks are so computerized that they operate almost like airplanes
Nonsense. Almost no vehicle even comes with anything like this installed. Some carriers will add driver monitoring computers, and they will emit tones under certain conditions, hard breaking, lane departure, too little following distance; however, to compare these simple alerts to the level of automation in an aircraft is just daffy.
Just finding a GPS that understands vehicle heights and bridge underpass limits is still a significant challenge. So these are never built into any truck I've ever seen. Every driver has a third party device connected up for this purpose. Since those do a terrible job with satellite views most drivers _also_ use a cellphone for the additional navigation assistance it can provide.
On top of that you have things like Jake Breaks, Air Suspension controls, and Differential controls that are important for operating the vehicle but are not at all automated.
Another factor is weight distribuiton. The truck has nothing for this. After you pick up your load you're probably going to hit a Love's or other fuel station so you can use the CAT scale to weigh your truck. If there is too much weight on one axle you need to move your tandems to redistribute the weight. You can be underweight but still get an overweight ticket if you don't manage this correctly. California has specific limits as to how far your axle can be from your kingpin.
> Just finding a GPS that understands vehicle heights and bridge underpass limits is still a significant challenge
Apparently for human drivers as well. Just this weekend, an overpass near my house had a rig stuck because the driver failed to realize his load was taller than the overpass.
Might be an incorrect sign. It does happen. A road gets paved and now is a couple inches higher and nobody bothers to change the sign. Any new bump, even one not directly under the bridge, can cause a collision. We cannot expect drivers to get out and measure every underpass ... thats what the signs are for!
Yes this jumped out at me too. It isn't remotely true. The opposite is more accurate: I'd wager that at least half the trucks on the road are built more like small planes from the 60s WRT to operational systems.
Mixing and matching local-ish trucking vs OTR is like mix and matching "shootings that happen at schools" with "shootings that target a school". You lose resolution on both issues and it's counterproductive if your goal is to understand either.
The commercial (i.e. CDL requiring 26k+) fleet is fairly bimodal, two fleets if you will. You've got local and local-ish small carriers operating bottom dollar box trucks and tri-axle mack dumps from the 80s. Your average OTR truck is full of cameras and nannies and owned by a mega fleet. The owner operators in their long nose petes exist but are rare. Yeah I'm generalizing here and there's a continuum between all these but still.
> And yet, the public conversation around them has been quiet to the point of being strange.
These events aren't new or novel anymore. The fact that the news does or does not report on something is indicative of editorial prerogatives and nothing more.
> This is a curious observation more than a complaint.
We went from 25% of the world population using the internet to now more than 80% are on the internet. More people understand the fundamental issue, and so are uninterested by it, so for-profit publications will not cover it.
> They also build secondary LLMs which double-check that the core LLM is not telling people how to build pipe bombs
Such a fear mongering position. You can learn to build pipe bombs already. Take any chemical reaction that produces gas and heat and contain it. Congratulations, you have a pipe bomb.
Meanwhile.. just.. ask an LLM if you can mix certain cleaning chemicals safely.
> I see four moats that could prevent this from happening.
Really? Because you just said:
> human brains, which are biologically predisposed to acquire prosocial behavior
You think you're going to constrain _human_ behavior by twiddling with the language models? This is foolishly naive to an extreme.
If you put basic and well understood human considerations before corporate ones then reality is far easier to predict.
> Meanwhile.. just.. ask an LLM if you can mix certain cleaning chemicals safely.
the cost of the wrong answer to this question is so incredibly high that I hope nobody is sincerely asking an LLM for this information. The things people trust to "machine that gives convincing answers that are correct 90% of the time" continue to shock me
reply