upvote
You should submit your own ShowHN to talk about it rather than hijack some other language’s announcement thread.
reply
> Even though you can write this by hand, the core idea is to get a very dense and terse language that LLMs can emit while guaranteeing safety and performance.

So now your safety and performance issues are in the LLM and whatever prose you feed it for it to generate slang. Have you gained anything?

(Not meant to detract from the language. It's just that this particular goal seems... strange).

reply
Try Common Lisp and Coalton. Also, Common Lisp and that one math proof solver.
reply