ML and symbolic AI will remarry and have many children soon IMO
Conversation
When they do just remember there's a whole extra field of people covertly doing symbolic AI in weird logics and you know where to find us
1
1
24
Automatic transport as type directed search is higher dimensional path finding, baby
2
1
20
Y'all should check out e-graphs they're pretty cool 😎 I'm going to bed goodnight let's make computers do cool things tomorrow and onward
4
2
26
Replying to
gah I really need to get my head around these at some stage - to see why you are so excited 😅