Hacker News new | ask | show | jobs
by pjmlp 2 days ago
Yes, DSLs or formal verification tools are a much better solution for many scenarios.