You don't need to mathematically prove the security of your kernel. OpenBSD is more secure than Linux.

There are different levels of security. Linux can improve their security without putting in all the effort to mathematically prove it secure (or switching to a different language).

The idea behind giving ULA this contract was to keep viable competitor in the launch market

I think this is still a major concern and a reason why they will probably not drop that contract no matter how behind they get, possibly even bail out Boeing a bit simply for national strategic reasons.

Very happy the flight worked as planned! The more people, and companies, in space the better.

They're already testing AI fighter jets. Why is an AI dog-with-gun so beyond the pale?

VASTLY less dangers of friendly fire in the areal space, super easy to isolate valid targets. *And* you would only activate that in a hot war Zoe with zero other valid air presence for hundreds of miles. And also there the ability to withstand high-gs matters, and also there in fact time does matter in a way that simply does not on the ground, and never will.

The robot dog can and will be used in mixed civilian populations.

"The human is too slow and sometimes makes mistakes. Let's put an AI in control for the next version".

Nope. That is what I am telling you is a GIANT step the military is unwilling to take. Not a giant step technically, but a giant step in terms of effect and possible negative consequences.

We have proof, because this robot dog exists and it does not work that way, even though it obviously could have.

And what does "human is too slow" even mean? The robot itself can only move so fast, the decision time of the human to fire is already near-instant. Because the robot dog is in harms away and not a human soldier, you actually do not have AS MUCH of a concern about time, because once the dog sees a target it does not matter if that dog is destroyed. At that point the soldiers nearby know there is a hostile, know where it is positioned, and can leisurely pluck it/them out.

Time is the least point of concern where the robot dogs are concerned.

I think in a lot of ways the government is starting to lean away from such contracts having been burned too often recently,

Maybe, but SpaceX won the other portion of that fixed bid (ironically a smaller portion than Boeing) and they delivered on time and made money...

I think you just can't expect a company structured to work via "infinite bid" to ever switch to a fixed bid format.

That said companies like ULA were never under any real competitive pressures before and they are clearly struggling adapting to that,

I read a long article on this issue (maybe one linked to in the summary) and they mentioned a pretty huge issue was this is a fixed bid contract, which Boeing had not done before for space stuff... them having to eat cost overruns and fighting with contractors has taken a lot of willpower away from getting it finished. Every cent more they spend is a cent lost.

I shall quote myself from an earlier post:

"Look nobody is saying EVs are for everyone, especially not yet. I'm pushing back against the mouthbreathing apes who claim that EVs are bad because they don't suit a lifestyle that includes towing a trailer home between Florida and Montana in a single sitting three times a week."

And if by "doubling down" you mean "substantiated with fact" then sure, I guess I did that.

"Power yes, power you can use for charging your car no"
Please explain this to me. I recently bought an EV, and for a few months before I bothered getting a wall charger, I used a regular 2.2kW charger that plugged into a regular outlet. The same outlet that I plug my power tools into. In hindsight, I don't know why I bothered. Having my car finish charging at 1am makes no material difference to it finishing at 4am.

"Many people have to park on the street"
This is a tiny minority

"or in a parking lot that doesn't have charging points at all or most of the parking spaces"
OK so I guess their buildings aren't ready for EVs yet, they may want to hold off on buying an EV until it is.

Look nobody is saying EVs are for everyone, especially not yet. I'm pushing back against the mouthbreathing apes who claim that EVs are bad because they don't suit a lifestyle that includes towing a trailer home between Florida and Montana in a single sitting three times a week.

Calling ignorance for what it is is not smugness.
If you don't like being called a dumbass, there's an easy fix: read more.

Well, EVs don't have to be crammed with 10,000 chips to squeeze ever last drop of efficiency out of a tank of gas. EVs by their nature are vastly more efficient, and so the entire drive train is simpler AND better. EVs are overall a superior tech to ICE. Sure, top end ICE vehicles are more elaborate and refined than today's EVs, but ICE vehicles hit the top of their potential decades ago, hence the need for ever more elaborate gimmicks to make them appear better than last year's model.

High end EVs are starting to emerge, though.

"Most people can't even get a parking spot, much less a charger they can overnight on."
I don't understand how the anti-EV mob think that having a power point near your car is some rare luxury. What the fuck is wrong with you people? Do you all live in log cabins in northern Montana or something? Power near parking spaces is available to the vast majority of the population and has been since your grandfather's time.

"24/7 tracking"
EVs can't do anything ICE vehicles don't already do.

"having to have your EV "approve" your trips"
Where the fuck did you get this idea? An EV will recommend routes to go past superchargers, if that's what you mean, you fucking meathead. But that's not having it "approve" your trip. If you're worried about the gubbermint remote blocking you, well they can do that with an ICE vehicle too. Unless you think that rusty bucket of bolts you inherited from your lumberjack Pa will work forever.

"having someone hack your keyfob"
Has never happed with an EV to date. Has happened to plenty of ICE vehicles though.

"a hit at 5 kph will total the vehicle because the battery is an integral part of the frame"
Completely false, dunno where you got this idea from.

"Free charging? Good luck with that."
Well, I had free charging this afternoon while buying groceries, so good luck to me then?

"If the EV charger isn't vandalized"
By mouth breathing fucktards like you

"you have to find the right app to use"
It was free. I just plugged and walked away. No app or nothing.

"I don't want an EV"
OK, Earle, you keep driving whatever you want. But at least do try to pull your head out of your ass because sounding as incredibly misinformed as you do is an embarrassment to your mother and sister who, from the sound you, are probably the same person.

"A PHEV does everything an EV does, but I don't have to put an additional strain on the grid."
You know, the grid is a business. They make money by selling power. EVs use power. You know, about the only people NOT complaining about EVs are grid operators, who are rubbing their hands together and wishing ignoramuses like you would just shut the fuck up and let their businesses grow.

"All that capacity designed for EVs is going for Chinese Bitcoin mining companies. Hell, Texas pays the companies not to mine."
What the actual fuck has to happen to someone that this actually sounds reasonable.

"long lines and fights outside charging stations"
So charge at home you fucking retard. Most EV drivers will tell you that they only use public chargers when they are free, or on the few occasions that they are doing long haul trips.

"For urban runabouts, they are great, especially if you are privileged enough to have your own charger."
400+ mile cars are now available for the $50k mark, and again, having a power point near your car is not some ultra rare luxury, you cave dwelling neanderthal.

"For the rest of us proles who can't afford $100,000 for a new car, we will keep our gassers."
$55k is the price of the average EV sold today.
https://insideevs.com/news/719....
Sure, EVs are more expensive than ICE vehicles, just like smartphones were more expensive than dumbphones until they caught on and budget models appeared.

The saving is just one benefit. Others include:
Quieter, smoother ride
Convenience of charging at home
Better technology
Actually useful remote control features
Free charging at malls and other places

I understand that.

I'm going based on what you said here, that a "frozen" kernel is an insecure kernel.

It's not that the current kernel is secure, it's just that the security bugs haven't been found yet. And the implication is that in the current kernel, there are a lot security bugs (otherwise freezing the kernel would be ok, and backporting the patches feasible). So updating to a current kernel won't fix your security problems, it'll just hide them a bit longer.

If you look into details, it has a human controlling where the dog goes, and if/what it shoots.

Yeah maybe it has an aimbot to help hit a marked target, but I see nothing wrong with making a remote extension of a soldiers will. You can imagine saving a lot of guys from getting hurt with remote robot dogs, like for urban building clearing. Is it really any different than other kinds of drones with remote feeds, which are used today?

It's only when you hit the point where it's not a human deciding to fire that things get even questionable at all to my mind. But we are not at all close to that point because the military is unwilling to go there anytime soon.