Hacker News new | ask | show | jobs
by zelphirkalt 1183 days ago
Symbolic reasoning is for things we truly know how to do. It can be used as supplemental implementation for known special cases as well.