Hacker News new | past | comments | ask | show | jobs | submit login

Is this actually an implemented language?

As far as I can tell, it's really just a large prompt template for ChatGPT + a very minimal TextMate grammar.

The talk about constraint-solving and stuff all sounds great (in theory), but if you're just prompting an LLM to follow those constraints it will fail a lot.




I assume they don’t, you can force constraints to be followed by manipulating the logits.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: