, but for it to be infeasible for us to write a program to specify constraints that we would be happy with in retrospect.
The point I believe that 27chaos is trying to argue isn’t that writing down the constraints would necessarily be hard (although it very likely is) but that trying to satisfy them may be tough.
The point I believe that 27chaos is trying to argue isn’t that writing down the constraints would necessarily be hard (although it very likely is) but that trying to satisfy them may be tough.