News for hackers. Stuff that matters.

A comment on What Is miniKanren?. Parent comment

Re:What Is miniKanren? by ashton314 on Thursday January 02, 2025 @03:01PM (#42578188)
AWS uses a SAT solver (Z3) to resolve permissions.

I can see miniKanren (or some other logic programming language) being helpful in the realm of authorization.

[ Parent | on HN ]

There are no comments on this comment yet.