News for hackers. Stuff that matters.
Re:King – man + woman is queen; but why? by barrkel on Sunday January 08, 2017 @08:19AM (#13349592)
in practice that's either going to use unambiguous language or it's going to need human help or verification.

The former doesn't exist in human languages (we'd otherwise have gotten rid of the lawyers long ago), and the latter is infeasible. There is a another way.

There are no comments on this comment yet.