Hacker News new | ask | show | jobs
by AstralStorm 3308 days ago
The only way to automatically replace nontrivial algorithms safely to provide a formal proof of each one then do a library match.