Hacker News new | ask | show | jobs
by pjmlp 19 days ago
The way forward will be more focused on formal specifications kind of approach, and there are already a few attempts at it.