Hacker News new | ask | show | jobs
by UltraSane 146 days ago
Opus 4.5 is very good at using TLA+ specifications to generate code.