Hacker News Reader

> This time is the first time we've automated higher level reasoning.

That’s very generous of you to call it that way.

It’s a parody at best.

That's an optimistic view -- and even if it is, as the cryptographers like to say, "attacks only get better".