Hacker News new | ask | show | jobs
by hwayne 1196 days ago
I hope so! So far I've been unimpressed with ChatGPT and Copilot for generating TLA+. It mixes in idioms from other programming languages, like RETURN, which make no sense in TLA+.

What I'm hoping is that it'll be helpful for writing J. That'd be a feat.