Where major dependency is everything that even indirectly touches network. Doesn't really matter if the thing that gives everyone access to your systems is major or not.
We had a soccer player in NL that was wildly popular and he had these funny remarks every now and then which got him nicknamed the most well known dutch philosopher. One of these was 'every advantage has its disadvantage', I guess this is one of those.
Not so sure about formal verification though. ime with Rust LLM agents tend to struggle with semi-complex ownership or trait issues and will typically reach for unnecessary/dangerous escape hatches ("unsafe impl Send for ..." instead of using the correct locks, for example) fairly quickly. Or just conclude the task is impossible.
> automatic code formatters
I haven't tried this because I assumed it'll destroy agent productivity and massively increase number of tokens needed, because you're changing the file out under the LLM and it ends up constantly re-reading the changed bits to generate the correct str_replace JSON. Or are they smart enough that this quickly trains them to generate code with zero-diff under autoformatting?
But in general of course anything that's helpful for human developers to be more productive will also help LLMs be more productive. For largely identical reasons.
I've directly faced this problem with automatic code formatters, but it was back around Claude 3.5 and 3.7. It would consistently write nonconforming code - regardless of having context demanding proper formatting. This caused both extra turns/invocations with the LLM and would cause context issues - both filling the context with multiple variants of the file and also having a confounding/polluting/poisoning effect due to having these multiple variations.
I haven't had this problem in a while, but I expect current LLMs would probably handle those formatting instructions more closely than the 3.5 era.
I'm finding my agents generate code that conforms to Black quite effectively, I think it's probably because I usually start them in existing projects that were already formatted using Black so they pick up those patterns.
I still quite often have even Opus 4.5 generate empty indented lines (regardless of explicit instructions in AGENTS.md not to (besides explicitly referencing the style guide as well), the code not containing any before and the auto-formatter removing them), for example. Trailing whitespace is much rarer but happens as well. Personally I don't care too much, since I've found LLMs to be most efficient when performing roughly the work of a handful commits at most in one thread, so I let the pre-commit hook sort it out after being done with a thread.
I don't mean this personally against you, please don't take it as such, but the number of people in this thread who seem to have absolutely no idea what a work truck is used for is absolutely wild.
Not surprising, since Asians & Europeans get lots of work done without using monster American trucks. They use vans, pickups with drop sides, trailers, et cetera.
The closest big city to me is 150 miles away. I don't know anything about how general contracting is done in mainland China, (I bet they use trucks!) but other than that I'm really not sure any other Asian or European countries are facing the same logistical hurdles as Americans.
Truck is used for different kind of vehicles around the world. When you say truck i would bet many people imagine freight trucks, heavy machinery or medium sized "cube" freight trucks that are used for last mile deliveries to shops. They won't imagine american pickup to be a truck.
Perhaps this term is specific to americans, however to an Australian a 'work truck/ute' would be used for labour purposes and not for the family, for example hauling materials, transporting tools or as part of the business itself ?
Yes, American. There's other better descriptions here, but generally speaking most contractors I know have a truck, which they use for work. That's really all that I mean. I mean we just call them trucks. Nobody would say "Hey, nice work truck!"
People buy vehicles based on their needs. The F150 is sort of a hybrid between a work truck and a prestige family SUV like a Ford Explorer. If people are doing serious towing regularly, they will probably upgrade to a 250/350 class (3/4 ton or 1 ton). Plenty of people buy smaller trucks like the Ranger, which is basically like driving a crossover mini-SUV with a bed. People who are doing really serious transport may have a flatbed on an even bigger truck, but nobody uses those as family vehicles. I know people who have those little RHD mini trucks, which seems super useful to me.
I don't know Utes, which by googling, basically looks like a midsize (Ford Ranger, Toyota Tacoma) with a flatbed. We don't really use those.
Actually, it's kind of a market problem. Tons of people I know have expressed desire for a smaller truck like that little barebones Toyota Truck, but they don't make them here and we aren't allowed to import them.
I saw (and rode in) a lot of them in Alberta (Canada's Texas). Typical day for a work truck:
-owner starts you up from the hotel parking lot
-3-5 guys get in, you get your morning coffee via a drive through
-You pick up a 'slip tank' of diesel (think a metal box with its own fuel pump that sits in the bed and holds about a ton of liquid when full). You might fill up your own tank at the same time, typically on the employer's dime.
-you drive 1-3 hours over dirt roads and ice to get to the work site
-you fill up the heavy equipment from your slip tank, then stand for about 10 hours - you might be idling for part of that depending on temperature
- you drive another 1-3 hours back to the hotel parking lot. the owner plugs in your block heater so your fuel doesn't solidify overnight and you get ready to do it again the next day.
Trucks look impractical when they're getting groceries in the city, but everything about them - the height, the large cabs, all of it - is highly optimized for a particular kind of job. It might not be as common a job as it was when this design rose to prominence, I have no insight as to that, but there is a reason for everything about them being the way it is.
I wonder whether it's a nostalgia thing. People rode in these trucks and saw senior guys they admired owning them when they were young and on the make, and now they think that's the kind of truck successful people own even if it's not necessary for their own workday.
I'd generally rather see a crew cab pickup on the road than an oversized SUV with a single, tiny person driving solo. There is a lot more utility to a pickup, and the SUV doesn't particularly do much better on fuel economy.
That said, my SO has a large SUV, mostly in that I have trouble getting in and out of a low car now, and I'm no longer able to drive myself. My daughter has a smaller SUV/Truck (Hyundai Santa Cruz) with a smaller bed, that suits her needs nicely.
For that matter, there are plenty of people here that would do well if they could import the Japanese sized smaller trucks, which have a lot of import restrictions.
That said, I wouldn't want to drive such a thing offroad, up and over hills etc. regularly. I know a lot of Jeep/Pickup drivers that tow heavier things than you can with a car and go offroad to places you can't get to in a light vehicle regularly. Being functional for workloads as well is another benefit even if it isn't your job. That doesn't cover tradesmen who need the utility regularly and includes those who live in an apartment and can't otherwise just keep a large trailer parked at a random spot.
And yeah, it might be a status symbol... so is a typical super car, large suv or things like a Range Rover. There's nothing wrong with it, if someone wants to have it and anyone who has a problem with that can fuck right off.
> I'd generally rather see a crew cab pickup on the road than an oversized SUV with a single, tiny person driving solo.
If it's the same person doing the same activities, why would you prefer if it's a large truck instead of an SUV? Shouldn't we prefer people realistically right-size their vehicle choices? If it's just a small person driving around running small errands shouldn't they probably be in something other than a large SUV or a large truck?
Also, you mention the SUV has less utility than the truck. That's all about perspective and needs. I used to drive a large Durango back in the early 2000s. We regularly rented and towed camper trailers a few times a year, so we needed the towing capacity. But we regularly also needed to seat six or seven. A truck would have had less utility for us and been a worse fit for our needs.
IRT small trucks, while import restrictions limit bringing those exact cars there's nothing legally stopping them from making similar-ish small trucks in the US. Examples are like the Santa Cruz and Maverick, but I understand many Kei trucks can be significantly smaller than that. But in the end there's tax incentives for vehicles that have a GWVR > 6,000lbs, so as a company truck fleet machine buying a tiny truck is a non-starter. There's also the image of "not a real truck" of these smaller trucks that make them unpopular with a lot of traditional US truck culture. Between safety regulations, emissions regulations, tax incentives, and the market demands such a truck would probably be hard to sell at any kind of big profit compared to the giant trucks they sell today.
> I know a lot of Jeep/Pickup drivers that tow heavier things than you can with a car and go offroad to places you can't get to in a light vehicle regularly
Sure, I get it. I too know people who actually do take their vehicles off-road, or who actually do regularly haul things or tow their boat to the lake every other weekend or whatever. I'm not against someone buying a machine and actually using it, that's cool. Have fun. As mentioned above, I did the same when I had camper trailers often. But for everyone I know buying a Wrangler or FJ to go do off-roading, I know several who would never do so. For every truck owner I know who actually use it as a truck I know several who just use it to commute to their office job and pick up the kids from school. I know several who bought a big truck specifically because they could expense it better with their small businesses, even when their business was insurance sales or real estate sales or marketing or whatever.
> And yeah, it might be a status symbol... so is a typical super car, large suv or things like a Range Rover. There's nothing wrong with it
There is a lot of things wrong with people massively oversizing their vehicles to their actual needs. It makes our parking lots bigger as they restripe for ever larger vehicles. It makes our roads wider and harder to cross as a pedestrian. It means you're more likely to die as a pedestrian in a collision. It means you're more likely to die in a car accident when a larger vehicle hits you. It means we're releasing more emissions and making the air less healthy to breathe. It means we're worse off just because someone wants to feel big in their big pick up truck.
Its totally my business when their choices make my family and friends less safe and less healthy and makes our communities worse off.
Imagine if someone had a machine that they could press a button and it would just give them a bit of happiness, but gave your kids asthma and lung cancer, poisoned the water, killed crops, and could potentially kill a random innocent person in a gruesome way. Should they press that button? Are you good with them pressing that button all the time for practically any reason? Do you feel you should have a say on if they should press that button, or how often they could press that button? Do you think you'd probably go around talking to people about these machines and the issues of pressing that button, to try and convince others to only buy the machine and press the button if they actually need to, or maybe buy the machine that poisons us less per press?
Should you have a say when a company excessively releases cancer-causing particulates into the air? Should we have a say when a company releases machines into our communities that have an excessively higher risk to maim and kill the people around those machines? If we should have a say when a company does these things, why shouldn't we when its private individuals doing the same?
I've said in my previous comment, if you actually do drive around in places where you need the ground clearance, when you actually do tow things, when you actually do use the bed in ways that are needed, fine by me. I see lots of trucks doing actual truck things as well. But the vast majority of these vehicles aren't used in these ways. This is the problem I'm talking about. I've had someone say to me they needed their pickup truck, no other vehicle could possibly be used because sometimes they have to carry their kids bicycles around and the only way that could be done effectively was in the bed of their truck. There was someone in the comment section here suggesting a truck was necessary to take a canoe someplace, as if that's something only a truck could do. The craziest thing about that canoe story, I've heard it from several other people as well, incredible this is a common idea it seems.
Other replies here have covered 'work truck' better than anything I'd come up with but I'll also add that some of the reasons people purchase trucks is:
- To be able to help your friends move.
- To be able to purchase supplies and move big things over long distances.
- If you raise horses, you have to have a truck to pull your trailer.
- If you own a tow behind or fifth wheel, you have to have a truck to pull it.
- If you like canoeing or camping it is a lot easier if you have a truck.
- If you live in a seriously rural area, or you enjoy hiking, you will need a truck or other vehicle in order to reach your home or many other destinations. I've gone up mountain roads in a Camry, and it's not a great experience.
The rest of the world does all of this without widespread truck ownership. The reason trucks are so widespread in the US is a combination of culture and regulation, not any special needs Americans have.
Trucks have been produced en masse for near a hundred years, and the majority of the world has various levels of access to a whole range of those creations, parts, modifications, blah blah blah meaning there are lots of trucks in lots of the world, widespread. Blanket statements
Ive helped my friends move many times. We just rented a uhaul and did it in way fewer trips (one, generally). If we did the same in a regular pickup it would have been a lot more work and a lot more time just to "save" $50 or so.
The vast majority of people don't have horses.
The vast majority of people don't have a fifth wheel.
I've tossed canoes on top of a focus hatchback. You don't need a truck to go canoeing. A canoe is like 50lbs, you don't need a few tons of towing capacity to carry a canoe. I've also gone camping in small cars. Get this, I've gone camping with just what I've carried in person for many miles! You don't need a few tons of towing to go camping.
I comfortably carry multiple kids and a spouse in vehicles other than a pickup truck. In fact, other vehicles have generally been comfier and easier. In the minivan the little kids can easily get in their seats and buckle up on their own. In the truck I had as a rental, there was practically no chance they had to climb in on their own, much less open the doors.
And yet trucks make up the majority of the most sold vehicles in the US.
A lot of people do where I'm from, and I've bottomed out multiple sedans on rough roads outwhere I live. I totaled a vehicle because the rear axel broke for rough roads.
I do all these things with my Camry, I'm pretty sick of having to park 5 miles down the trail, and I wish I had a truck.
I did about $3200 in damage to my (at the time) Challenger just going up an unpaved mountainside driveway... I definitely wouldn't take such a thing seriously offroad.
> Other replies here have covered 'work truck' better than anything I'd come up with but I'll also add that some of the reasons people purchase trucks is
When my neighbors hire a contractor to do some work, they show up in a work truck carrying supplies and tools. If their truck is broken, they are losing money every day.
When I was working at Boeing, my lead engineer explained it to me this way. When the airplane is flying with a payload (note the word "pay" in payload), the airline is making money. When the airplane is sitting on the ground, it is losing money at a prodigious rate.
The point of making an airliner is so the airline can make money, and that means minimizing time on the ground and maximizing time in the air carrying payload.
If all you want is to obfuscate the fact that your social media site only has 200 users and 80 posts, simply use a permutation over the autoincrement primary key. E.g. IDEA or CAST-128, then encode in base64. If someone steps on your toes because somewhere in your codebase you're using a forbidden legacy cipher, just use AES-128. (This is sort of the degenerate/tautological base case of format-preserving encryption)
The article is self-contradictory in that it acts like that key is super-important ("Operations becomes a nightmare. You now have a cryptographic secret to manage. Where does this key live? Protected by a wrapping key living in a KMS or HSM? Do you use the same key across prod, staging, and dev? If dev needs to test with prod data, does it need access to prod encryption keys? What about CI pipelines? Local developer machines?") but then also acknowledges that we're talking about an obfuscation layer of stuff which is not actually sensitive ("to hide timestamps that aren't sensitive"). Don't get me wrong, it's a definitive drawback for scaling the approach, but most applications have to manage various secrets, most of which are actually important. E.g. session signing keys, API keys etc. It's still common for applications to use signed session with RCE data formats. The language from that article, while not wrong, is much more apt for those keys.
That being said, while fine for obfuscation, it should not be used for security for this purpose, e.g. hidden/unlisted links, confirmation links and so on. Those should use actual, long-ish random keys for access, because the inability to enumerate them is a security feature.
I always thought they are used and stored as they are because the kind of transformation you mention seems terribly expensive given the YT's scale, and I don't see a clear benefit of adding any kind of obfuscation here.
Not that uncommon failure mode for some SSDs, unclean shutdown is like a dice roll for some of them: maybe you get what you wrote five seconds ago, maybe you get a snapshot of a couple hours ago.
Early SSDs were particularly prone to phantom writes due to firmware bugs. Still have scars from the many creative ways in which early SSDs would routinely fail.
In college I had a 90GB OCZ Vertex, or maybe it was a Vertex 2.
It would suddenly become blank. You have an OS and some data today, and tomorrow you wake up and everything claims it is empty. It would still work, though. You could still install a new OS and keep going, and it would work until next time.
What a friendly surprise on exam week.
Sold it to a friend for really cheap with a warning about what had been happening. It surprise wiped itself for him too.
Always makes sense to subscribe to the security-announce mailing list of major dependencies (distro/vendor, openssh, openssl etc.) and oss-security.
reply