3 ms·

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

• whattheheckheck 6mo 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?