News for hackers. Stuff that matters.

A comment on Chris Lattner Joins Google Brain. Parent comment

Re:Chris Lattner Joins Google Brain by lmeyerov on Tuesday August 15, 2017 @12:14AM (#15015424)
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

[ Parent | on HN ]
Re:Chris Lattner Joins Google Brain by cf on Tuesday August 15, 2017 @08:55AM (#15017712)
Welcome to the party!
[ Parent | on HN ]