undefined | Better HN

0 pointsderrak4d ago0 comments

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

0 comments

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

0 pointsderrak4d ago0 comments

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?

j / k navigate · click thread line to collapse