Hacker News new | ask | show | jobs
by bhntr3 1718 days ago
Thank you. I just finished my master's thesis in program synthesis/induction. You're explaining this better than I could.