Hacker News Reader

> We have "reasoning machines" that are intelligent...

That's quite a statement.

We have expert systems, theorem provers and planners but OP probably didn't mean this.