Hacker News new | ask | show | jobs
by higherkinded 2451 days ago
Okay but they are formal systems and don't have anything to do with AI either, do they?