Hacker News new | ask | show | jobs
by pjmlp 21 days ago
Robots need formal specification languages, to tame non deterministic compilers.