Hacker News new | ask | show | jobs
by whattheheckheck 82 days ago
Program synthesis from formal specs is doomed to fail if im interpeting the books mechanistic myth correctly

What looked interesting in there to you?