News for hackers. Stuff that matters.

A comment on Kotlin creator's new language: a formal way to talk to LLMs instead of English. Parent comment

Re:Kotlin creator's new language: a formal way to talk to LL... by antonvs on Friday March 13, 2026 @04:21AM (#47361853) 

    theorem goldbach : Goldbach := *message truncated*
[ Parent | on HN ]

There are no comments on this comment yet.