What about reparations? :)

This is an illegal war of aggressions after all.

The justifications all remain fanciful. I mean at least Bush bothered to make it appear legitimate.

> I hope we keep making room for “luxury software”

The risk of making the source in a compiler a black box is pretty high.

Because of your program is black box compiled with a block box, things might get really sporty.

There are many platform libraries and such that we probably do not want as black boxes, ever. That doesn't mean an AI can't assist, but that you'll still rewrite and review whatever insights you got from the AI.

If latest game or instagram app is black box nobody can decipher, who cares? If such app goes to be a billion dollar success, I'll feel sorry for engineers tasked with figuring why the computer says no.

> The point is preventing another North Korea style nuclear blackmail state.

You can bomb the leadership all day long.

Without boots on the ground the regime will probably continue.

I don't see how this stops Iran from building nukes. Sure they may have a temporary set back.

But do you think this will change their minds?

Can they even negotiate a resolution with the US. Given that the current administration won't honor its own agreements.

Did Trump issue an ultimatum here? And demand something?

I'm not so sure.

I think Trump would taco.

A carrier is fair game, especially when you shoot first.

There wouldn't be a coalition with half of Europe. Because of bridges burned.

Hmm, I'm not sure trading is an alliance.

I doubt NK sent anything to Russia without payment in hard currency (gold).

NK was getting some reactor hardware from Russia. 'Unfortunately' the ship that was deliveing it, Ursa Major, went under in the Mediteranean.

Given that we now that to deploy troops to prevent the US from invading Greenland.

I'd agree, it's not a given that the US can count on Europe in a conflict with China.

But probably Europe wouldn't be trading with China or anything.

It's just given the treatment of the US administration, the US probably can't build a volunteer coalition like I Iraq - unless there is an attack on US mainland.

Agreed, nobody is going to help out Iran.

If anyone does it'll be China giving them missiles to hit a US boat.

That would make the US turn tail. Not start a war with China.

As for Iranian leadership, they just need to dig deep and wait this out. I can't imagine they don't have plenty of hardened bunkers.

> If anyone does it'll be China giving them missiles to hit a US boat.

> That would make the US turn tail. Not start a war with China.

The right kind of missiles hitting the right kind of boat could lead to a very grave escalation.

Short of hitting the US mainland.

I doubt there is anything Iran can do that make the US put boots on the ground.

There is no appetite for boots on the ground in the US. And no coalition behind the US.

That scenario has played out before.

Eight hours later Iran's navy was at the bottom of the sea.

And there is no Iranian leadership right now as far as anyone can tell.

> North Korea is in such poor shape that they probably can't maintain much of the equipment

Sadly we know from events in Ukraine that NK artillery works and that they have plenty of it. Yes, it's poor quality, but far from harmless.

Also to be clear: artillery is not exactly rocket science. They idea that NK doesn't have huge stockpiles is ludicrous.

It takes more than stockpiles of shells to be able to use it and maintain offensive positions capable of causing harm. From the reports I have seen NK military in Ukraine has been mostly cannon fodder and they are very untrained. That being said, joining the war effort in Ukraine is likely increasing their readiness.

Right... shells age. They blow up in the barrel, things like that. Maybe they even intentionally blow up in the barrel. Not that I would suggest sabotage. There's no way South Korean intelligence could possibly infiltrate North Korea ;)

But even so, if there was a serious threat of war, which is unlikely because China would stop North Korea, the US would place assets in the region and as we got close to a confrontation the US and South Korea (and as things are looking, probably Japan) would begin an aerial and missile bombardment to destroy in place North Korean offensive capabilities. Some would get through of course, perhaps thousands or tens of thousands of South Korean casualties, but in the context of a conventional war North Korea's capabilities would be quickly overwhelmed, at least in my opinion.

But honestly, the current status quo works pretty well for everyone except the people of North Korea, but there's not much we can do. It's a tragedy and the blame for that falls squarely on the Soviet Union and Chinese Communist Party.

> Some would get through of course, perhaps thousands or tens of thousands of South Korean casualties

This seems rather optimistic considering an incredibly dense South Korean city of 10M people is 20–30 miles from North Korea.

Yea I'm being optimistic - but the buildings themselves provide shelter, plus Koreans can take to the subway.

... And the US, who razed every building in North Korea and killed more than 10% of the entire population of North Korea (that's entire population, including civilians).

Nope. US was there under a UN banner, and the UN force was winning until China threw manpower into the war. Never mind Soviet support. The blame goes to the communists and them alone. Without them Korea would have been likely unified under what is now the democratic South Korea we know today, but the communists in China couldn’t have a democracy so close to them, so they fought to win and establish the brutal regime that we have today in North Korea.

Isn't artillery precisely rocket science?

No, it is precisely ballistics.

Propellant stored in the projectile vs propellant stored behind the projectile.

Thank you.

Even when it's operating normal the webapp is constantly crashing.

Mobile app stops working..

It's a pain.

At least right now.

> good at using coding agents is reading and understanding code.

You can understand the code using an agent; it's much faster than reading the code.

I think the argument the author is making is that: given this magic oracle that make code, how we so contain and control it.

This is about abstractions and invariants and those will remain important.