Hacker News new | ask | show | jobs
by jraph 314 days ago
These algorithms were designed and verified by humans.