[fud101]

I'm still waiting to see the first show HN I made a language designed for LLMs to write programs better.

[fcatalan]

A few days ago I asked Claude what kind of language it would like to program in, and it said something like Forth but with static typing, contracts, and constraint solving, implemented on the Erlang BEAM.

So I have been prodding Claude Code for a few sessions to actually do it. It's a silly experiment, but fun to watch. Right now it's implementing a JSON parser in the generated language as a kind of milestone example.

[ryanmcl]

This is one of the more interesting uses of Claude I've seen. Instead of asking it to write code in an existing language, you asked it to design the language it wants to think in. There's something philosophically fun about that I feel = like asking a painter to design their ideal brush.

I'm curious whether the generated language actually makes Claude produce better/more reliable outputs when writing in it, or if it just reflects Claude's training bias toward what "good language design" looks like in its corpus. Would be a fascinating benchmark to run.

[alexisread]

If you don't mind, could you drop some code? I'd be interested to see the result :)

[mickael-kerjean]

It came up a few weeks ago already, can't find the link

[fourthark]

There have been a few.