It’s expensive? We were quoted 60k last year. Maybe a scammy company but that’s a lot up front.

It’s not just a windows problem. File systems are an absolute disaster across all platforms. David Wheeler has a lovely article on the topic: https://dwheeler.com/essays/fixing-unix-linux-filenames.html

The 260 character limit is just a Windows problem. See my other comment in this subthread for a summary of the eldritch horror in question. The tl;dr is that backwards compatibility is a helluva drug.

Does the human find enough bugs that they stay on guard, or just rubber stamp everything without really looking at it? It’s hard to stay vigilant when stuff looks plausible.

Complete speculation: you could instruct Claude to hide one random mistake in every document.

And Claude should write down the mistake in a sealed envelope, so it doesn't make into the database.

A review that doesn't find the mistake counts as invalid.

This is what bag scanners at airports do - the hit rate is so low and the job so boring the software projects fake contraband onto the imagery. Fail to spot the knuckledusters and expect a chat with the manager.

You could do this for code reviews. Have Claude include one subtle bug into each PR. If the reviewer does not spot it, then the PR is not mergable.

Yes. Or you want to have a potentially more than one flaw planted, so people don't get lazy after the first one.

NATO is certainly weaker with the USA having lost her mind. But Russia seems to have gotten herself into a total quagmire in Ukraine and she is bleeding badly with no end in sight. Nobody is winning here.

I like this mindset and I’m going to steal this quote. Everyone is figuring things on their own skill journey with their hobbies and careers. Wherever you are, you can learn more and help people to come with you.

Hrmn. Maybe you’re about to lose everything you have anyway, you’re ticked off about it, and you don’t value any life besides your own. Like, say, a total narcissist nearing end of life/reign.

It’s common for formal proof efforts about software and hardware to involve thousands to tens of thousands of small lemmas.

13M lines does seem extreme and there is probably a lot of inefficiency given the way the proof was developed. Cutting it down is probably a long road, but is also a very well defined problem that AIs can probably just go do with enough time and budget now.

Nah. At the end of the day it’s candidate A vs. B. Once they’re all corrupt you still have to decide between them and pick the lesser evil as you see it. They’re creatures of ambition and incentives, and the corruption is a feature of the system. It sucks but what can you do but vote for the corrupt dems or the corrupt republicans?

The reality is one of those two people is going to get elected. Your vote for Mickey Mouse isn't going to affect the outcome.

Of course most elections aren't close enough for your vote to matter at all.

2025-09 would be helpful context for the article link

Haha. Yeah. I somehow find Claude Code’s utter lack of time reasoning to be very fun. “The work we did two weeks ago…” oh friend that was this morning…