Replying to
@kevin Saw this thing a while ago, might be relevant: https://github.com/hazelgrove/tylr
Remote
Alex G
@clayrat@types.pl
mastodon 4.8.0-alpha.2+glitchproof engineer / programming language dev
35 Followers
55 Following
3 Posts
Joined November 27, 2021
Homepage:
Telegram:
clayrat
Replying to
@emc2@indieweb.social @lindsey@recurse.social I thought automated reasoning was always a big(gest) part of symbolic AI?
Replying to
@emc2@indieweb.social @lindsey@recurse.social Yes, my point is that AI is a bigger and older field than ML. Up until about the 1990s, it was mostly about symbolic methods like SAT, first-order resolution, tableaux, etc.