fisf

> It's like they can't step back from the problem and realise that they need to simplify to make it work better. Nope, just keep hammering more code/proofs against the problem and eventually you'll hit the goal.

There is nothing wrong with that approach if it accomplishes the goal faster, i.e. you can work at the speed of an AI.

>I think it's not just to check - it's to interpret, simplify, apply taste, basically get these proofs into a form that humans can grok and build on.

Sure, but we are approaching a time at which we will have to answer a "why" here. I.e. anything beyond checking and validation becomes of mostly artistic value at some point. And there is nothing wrong with that.

I think you are slightly missing the mark of the historical reference.

What you say is true for modernized budō disciplines. They have very different purposes.

But this this is not what Musashi was concerned with. He was practicing kenjutsu (not kendo) / writing about hyōhō.

The primary criterion was absolutely murdering people as efficiently as possible in a life and death situation.

"The true Way of sword fencing is the craft of defeating the enemy in a fight, and nothing other than this"

That's overly dramatic.

At this point, the assumption would be that they are a non-party witness.

So, beyond not destroying any potential evidence, you might as well tell them to shove it.

By that measure, most software developers should be unemployed.

Last time I head of them, Bosch was planning to cut 13000 jobs in Germany.

Both of those killings sparked protests, and are subject to ongoing investigations and lawsuits.

Well, the National People's Congress / CCP define and frame that practically for you.

It's not like 1.4 billion Chinese have much say in that.

If I am wrong, please remind me again how much say Chinese people had on the escape hatches of Article 51 in your constitution.

Platformio is not simple by any means. That few .ini files generate a whole bunch of python, and this again relies on scons as build system.

That's a nice experience as long as you stay within predefined, simple abstractions that somebody else provided. But it is very much a scripted build system, you just don't see it for trivial cases.

For customizations, let alone a new platform, you will end up writing python scripts, and digging through the 200 pages documentation when things go wrong.

Are you ignoring the codex desktop app on purpose? Or the integrations?

Those use cases are already actively implemented, or being implemented in current software. The 5-10 year estimate is wildly wrong.

You do not need a plugin anymore.

People are accountable for the results they produce using AI. So a scientist is responsible for made up sources in their paper, which is plain fraud.

Getting an automated reply concerning the submitted issue is deeply iconic.