Very cool! We developed similar technologies for a very different domain (insurance automation).

Side note: I also think that weaving logical inference and llms together into a virtuous cycle is an interesting topic to explore.

I like the idea and the language. Being a declarative language, it's like Terraform on steroids (because of inference, but for Auth purposes). It can be put in a Git repo with CI/CD to deploy when changes are made. The only think I disliked is... semicolons :P

> In fact, we could have used Datalog to achieve our data goals — but that would mean we have to build our own Datalog implementation, backing data store, etc. We don’t want to do that.

Surprising that creating a whole new language made more sense then a backend. I wonder if they did a proof of concept with an existing logic system like Souffle¹ or Rel² first.

¹ https://github.com/souffle-lang/souffle

² https://relational.ai/blog/rel

I think it could be more impressive had it integrated with Hashicorp Vault or smth, I had always felt policy-driven development got inexplicably short legs, and otherwise too clumsy in the ergonomics dept

Oso seems cool. Is it something that can be run locally? Seems like there's an open source library of some kind, but it's deprecated.

nice!

Seems like a lot of unnecessary complexity for something I could do with some if statements and lookups to a table in Postgres. Cool post, but why would anyone use this?