2 ms·
This article demonstrates the main trait of 90s Lisp programmers - they are extremely condescending even when they turn out to be wrong. Since modern AI (the ki
by astrange 3y ago
This article demonstrates the main trait of 90s Lisp programmers - they are extremely condescending even when they turn out to be wrong. Since modern AI (the kind that actually works) doesn't need knowledge graph systems nor image computing.
- mepian 3y ago>the kind that actually works I'm pretty sure computer algebra systems and automatic theorem provers work quite well. The CPU you wrote this comment on was developed using the other kind of AI that supposedly doesn't work: https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2
- astrange 3y agoThey don't have the property of "working but still being called AI". Traditionally AI is the things that doesn't work, and then once it works it becomes software engineering.