undefined | Better HN

0 pointsderrak3mo ago0 comments

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

0 comments

1 comments · 1 top-level

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

What looked interesting in there to you?

j / k navigate · click thread line to collapse