Hacker News new | ask | show | jobs
by UltraSane 360 days ago
a TLA+ model combined with a good LLM to generate code from it is the ultimate level of useful abstraction.