Hacker News new | ask | show | jobs
by saithound 200 days ago
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.