Hacker News new | ask | show | jobs
by crankylinuxuser 2557 days ago
> * ACL rules with full support for logical if statements [1]

That is a terrifying "feature".

Turing completeness is not a feature. That "feature" allows complete emulation of other computation types.. Including an infinite ways of doing something wrong or bad.

1 comments

AFAIR first-order logic is not Turing-complete.