eru

I've used Kimi K3 for my (hobby) Linux kernel work recently, because unlike the offerings from OpenAI and Anthropic it didn't flatly declare everything to be a cybersecurity issue.

(And, yes, I know we should blame C. C turns every bug into a cybersecurity nightmare.)

You are more creative than me. I just had short sales in mind.

Increases in productivity are deflationary, all else being equal.

(And that's good, that's how it's supposed to work. See eg prices for transistors or hard disks or solar power over the last few decades.)

As an advanced technique, you can also sell high and buy low.

I guess the problem is that they don't charge for these parking spots, hence they are underprovided?

The electric truck doesn't make anything worse here, does it?

We won't be running out of hard problems to attack anytime soon, even if we produce a bunch of counterexamples to some of them.

It was easy to reproduce. It's no longer so, because the web search part of what you described is 'poisoned' now. Partially by this very discussion we are having here.

Yes.

Though not everyone who works in the sausage factory still wants to eat sausages.

The original author works for Anthropic. And even without that, Anthropic might find this important enough to dig up the trace?

Oh, Fable can be surprisingly witty and sassy, when you get them in the mood.

Can confirm, Claude is flabbergasted.

Gemini just checks the web first it seems, and already references the news.

Kimi doesn't quite believe it.

I'm not so sure. People had been trying to use brute force to find counterexamples before.

Thanks! I wonder if Claude has something similar?

Like, we don’t say Rust isn’t robust since it doesn’t add dependent types and general purpose static verification that can do more general proofs.

Give it a few years! I've noticed an explosion in interest in formal verification recently, especially since nowadays the bar to entry is so low: just ask your LLM agent to give it a go.

Yes. And in addition, Claude and Kimi and friends will happily do version control and write tests etc.

They'll even volunteer to do so and recommend.

Of course. But it's close enough as a reply to "your algorithm for multiplication involves doing multiplication?"

What's their track record for other state sponsored high tech work?

I remember a few high profile failures; but perhaps on average these things work out?

I assume a lot of these 8-10 hours are spend calling tools and getting feedback from that?

I suspect this is where our AI agents will really come to shine: helping people who might have a technical bend but are not programmers do cool things.

Well, and to display your score.

Yes, confirmed. Though depends on what you mean by 'decent amount'.

When talking informally, people often omit mentioning the base case when it's obvious or trivial.

Btw, your recursion doesn't necessarily need a terminating case.

See eg this definition of the list of Fibonacci numbers in Haskell:

    fibs :: [Integer]
    fibs = 1 : 1 : zipWith (+) fibs (tail fibs)

You might want to learn about recursion. It'll blow your mind.

Are welding machines at the Volkswagen factory robots?

Venus has lots all her lighter elements in the atmosphere. Basically no hydrogen left (not even in the form of water).

It would have been, 20 years ago.

Customers are customers because of capital.

Do you mean that in general, or only in this specific situation?

In general it's obviously not true.

Management represents the owners (capital.)

Only insofar as any employee represents the owners.

Any other framing is delusional.

See https://en.wikipedia.org/wiki/Principal%E2%80%93agent_proble...

It sure attracts the wasps. Whether you have less of them on your real food compared to the counterfactual, I don't know.

Why blame capital? Why not the customers, or management (which is just another representative from labour)?