Hacker News Reader

Looks interesting. Anything in particular from it that you think relates to my comment?

Program synthesis from formal specs is doomed to fail if im interpeting the books mechanistic myth correctly

What looked interesting in there to you?