Automated programming, symbolic computation, machine learning: my personal view [pdf] | Dark Hacker News