[derrak]

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

[whattheheckheck]

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

What looked interesting in there to you?