4 ms·
Haha I was going to say, solving synthesis via PL+AI is way more exciting than either technique alone. -- A former PL researcher making AI way more useful via
by lmeyerov 9y ago
Haha I was going to say, solving synthesis via PL+AI is way more exciting than either technique alone.
-- A former PL researcher making AI way more useful via vanilla PL techniques
- cf 9y agoWelcome to the party!
- deleted 9y ago[deleted]