Hacker News new | ask | show | jobs
by bpt3 242 days ago
And those abstractions need to be encoded using symbolic and formal logic.