imron

Blockchain!

1.5 billion lines of Cobol are still written per year.

This _is_ how strict types work. Problems creep in when people introduce lax types into the strict type system.

dict[str, Any] is a type, and sometimes it is the right type to specify, but most of the time it's used by someone who wants to shut up the type checker rather than think about the right type.

Definitely a reasonable thing to consider and this is the direction I would like to see programming languages evolve towards in the AI era.

Move errors from runtime to compile time as much as possible.

What I'd recommend is languages that move entire classes of errors to compile time - like Rust.

> one lab spends $$$ on bleeding edge R&D and expensive RL runs to improve capabilities, and other labs just yoink the raw reasoning traces and mid-train/post-train on them to get 90% of the way there for a small fraction of the cost.

"You're trying to kidnap what I've rightfully stolen."

> I constantly have to tell it to not use terms that were not part of the initial prompt.

Hah, yeah even when you put it in AGENTS.md or a skill.. constantly having to remind it.. "what does AGENTS.md" say about doing that?".. Thinking.. Thinking.. "Oh, it says I should never do that, I'll remember that next time.."

Next session - same thing.

I like communication that is brief and to the point. The problem is when it is so brief that the point isn't conveyed well.

You can double click on the 'thinking' text and it will expand and you can read it. The problem is that it will often have multiple thinking/tool call sections and it can be a needle/haystack problem to find the one with the thinking you are interested in.

I don't think it's twitter. My guess would be that it's been trained for conciseness as way to improve token efficiency in the same vein as caveman.

> My favorite part of the new Groks has been how they speak in plain english. I simply cannot stand Claudish.

Grok has its own feel too. It's not as bad as Claude, but one of the things that bugs me is that it is far too terse.

It regularly seems to come up with terms and descriptions for things in its chain of reasoning and then uses these terms in its output assuming you understand what it's talking about.

I find I often have to ask it to re-explain what it means.

I expect the reduced prevalence of Claudish will have its own mannerisms that become the new Claudish.

The Claudish is dead. Long live the Claudish.