Hacker News new | ask | show | jobs
TLA+ in support of AI code generation (medium.com)
1 points by atomicnature 89 days ago