Kinzhal is ballistic missile flying on high altitude trajectory, so it is easily visible and somehow interceptable.

Drones and cruise missiles often fly very low, which makes them much harder to detect and intercept.

> with support and clearer expectations around licensing and roadmap

nothing prevents them from hiking pricing, so expectations are not clear.

> www.gravityanalytica.com

no ssl?

> Having seen a lot of AI-generated ads, I'm so skeptical that AI is actually improving marketing metrics. Every time I see one of these abominations on YouTube I think "is this working for you?"

they likely track conversions, so someone is clicking and buying.

> But given a well specified problem, it can bruteforce search through lean tactics space at an extremely superhuman pace. What is lacks in intuition and brilliance, it will make up in being able to explore in parallel.

right, but because math is not well specified and formalized yet, it could be a problem, and that's where humans with intuition and more rigid reasoning still necessary.

> ChatGPT still has 81% market share as of this very moment, vs Gemini's ~2%

where did you get this from?

> I've been writing tens of thousands of lines of Lean 4 in a software engineering job

I am wondering what exactly you are doing? What tasks you are solving using generated lean?

Any benchmarks to compare to sqlite and pg?

> deploy submarines which could attack offenders

While letting U.S. kit paint the submarines they'll presumably want to use on Taiwan.

> fast develop large quantity of ocean attack drones

This is plausible. (Still not worth it for Beijing. But doable.)

They could sell on credit submarines, drones, and so on to Venezuela, along with some training. They could even make it into a war by proxy, but asymmetrical by the Chinese themselves? They have too much to lose to do that these days.

Lol what a joke. It would take a Chinese SSN about a month just to make the transit. By the time they reached the op area it would be almost time to turn around and go home.

Tensions in region started few months ago, so assets could be deployed already.

Also, my bet Maduro will still endure multiple months from now.

Nah. Chinese submarines aren't that quiet so if there were any in the area then the US Navy would have them localized already and there's no sign of that. And Chinese subs lack the persistence to stick around without support for long. The reality is there are zero Chinese subs anywhere near Venezuela.

Thank you for your theoretical speculations.

Submarines needing support isn't theoretical.

Now who is speculating?

Support ships are not speculations.

A speculative deployment is.

Sure, I specified this in all comments using "can" and "could" words.

You bet! I'm always happy to educate people who don't understand this stuff.

My opinion is that you are the one who doesn't understand this stuff.

Why, do you think the Chinese believe this illegal blockade by the US will cease?

China would be stupid not to show some force

Regardless of legal issues and whether it would be stupid or not, China still lacks an effective blue water navy capable of projecting sustained power in the Caribbean Sea. They just can't do it in any meaningful way. They're expanding fast and might be able to do it in a few years but not today.