Top
Best
New

Posted by souvlakee 11 hours ago

Kotlin creator's new language: talk to LLMs in specs, not English(codespeak.dev)
267 points | 235 commentspage 5
WillAdams 9 hours ago|
This raises a question --- how well do LLMs understand Loglan?

https://www.loglan.org/

Or Lojban?

https://mw.lojban.org/

herrington_d 9 hours ago||
Isn't the case study.... too contrived and trivial? The largest code change is 800 lines so it can readily fit in a model's context.

However, there is no case for more complicated, multi-file changes or architecture stuff.

Cpoll 9 hours ago||
> The spec is the source of truth

This feels wrong, as the spec doesn't consistently generate the same output.

But upon reflection, "source of truth" already refers to knowledge and intent, not machine code.

newsoftheday 8 hours ago|
> not machine code

Actually, computers, being machines, do equate machine code and source of truth.

leksak 9 hours ago||
I think I prefer Tracey https://github.com/bearcove/tracey
ljlolel 10 hours ago||
Getting so close to the idea. We will only have Englishscripts and don’t need code anymore. No compiling. No vibe coding. No coding. Https://jperla.com/blog/claude-electron-not-claudevm
pure-orange 10 hours ago|
this will have to compile to something tho? So there will always be code
ljlolel 2 hours ago||
No!
cesarvarela 10 hours ago||
Instead of using tabs, it would be much better to show the comparison side by side.

Also, the examples feel forced, as if you use external libraries, you don't have to write your own "Decode RFC 2047"

frizlab 8 hours ago||
The next step will be to formalize all the instructions possible to give to a processor and use that language!
good-idea 8 hours ago||
"Shrink your codebase 5-10x"

"[1] When computing LOC, we strip blank lines and break long lines into many"

jasonjmcghee 7 hours ago|
I don't think this is the gotcha you think it is...

I imagine this is before and after- not just after.

As in, they aren't just making lines long and removing whitespace (something models love to do when you ask it to remove lines of code)

good-idea 7 hours ago||
Yep, you're right, I read this too fast - it's also breaking long lines into many and I read this in reverse. I just imagined how much I could reduce my own LOC by adjusting the print width on my prettier settings..
amelius 10 hours ago||
I want to see an LLM combined with correctness preserving transforms.

So for example, if you refactor a program, make the LLM do anything but keep the logic of the program intact.

koolala 8 hours ago|
Looks like JSON like YAML. It is still English. Was hoping for something like Lojban.
More comments...