Viewing profile — trenchgun

Interesting, so they shipped slop? Succumbed to their own AI psychosis?

I did write small programs myself, but mostly with Claude Code. It was very pleasant to work in it with Claude Code. Implemented a shell and 40 of coreutils. Did not really get ver…

Lean4 is a general purpose programming language.

CMD+F "reward hacking" -> 0 hits. Fail.

They are already proven false through Jacobian conjecture having been proved false.

Yes, assuming the stuff it depends on is already formalized.

This is a product I have wanted to exist for quite a while, and tried to create myself, but lack the skill. Thank you for building this!

Then it is really not about language design... I would rather recommend https://www.plai.org/

I think mass deportation of people with wrong skin color goes beyond "stricter view on immigration" >large scale remigration https://en.wikipedia.org/wiki/Remigration

>But when people think of decentralized training, they don’t first think of gigantic datacenters, owned by the same company, training models across large distances. Instead, they i…

Yes, and then you need to have the datacenter. Do you get a permit? How long does it take to build it?

This pattern reads heavily LLM in style, but also... that is spot on.

So... you did not read it, or did not understand what you read.

Where?

But everything else still works fine, right?

Article is mostly LLM written slop.

CEO observes performative work, and his inference will be that means more people need to be fired. Let only the AI native, customer obsessed 10x engineers(/ AI swarm managers) rema…

This is LLM written comment

How is this useful?

Which of the 78 copilots? https://teybannerman.github.io/strategy/2026/03/31/how-many-...

You’re a literature cycle behind. ‘Middle-layer shared representations exist’ is the observed phenomenon; ‘why exactly they form’ is the theory. You are also confusing ‘mechanistic…

Yes but this is probabilistic. Skill, documentation etc help by giving it the information it needs. You are then in the more correct probability distribution. Fine for docs, tips e…

Yes this + also APIs! Due to LLMs needing APIs suddenly things that were strictly behind GUI can easily opened up for programmatic use. Double edged sword, due to infosec etc conce…

Do you run security review by agents over this?