News for hackers. Stuff that matters.

A comment on Cedar is an open source policy language and evaluation engine. Parent comment

Re:Cedar is an open source policy language and evaluation en... by sarahcec on Monday May 15, 2023 @12:23PM (#35950711)
The main benefits of Cedar are: *Verifiable/Analyzable *Deterministic Low Latencies *No Security Sandboxing Needed *Ergonomic (easily readable) *Enables parallel execution More here: https://www.youtube.com/watch?t=1798&v=k6pPcnLuOXY&feature=y...
[ Parent | on HN ]
Re:Cedar is an open source policy language and evaluation en... by alexeldeib on Monday May 15, 2023 @02:48PM (#35952806)
I love the dual implementation, I hadn’t heard of Dafny.

Can you speak to the point about latency? I wasn’t aware it made performance guarantees

[ Parent | on HN ]
Re:Cedar is an open source policy language and evaluation en... by abrahms on Monday May 15, 2023 @03:03PM (#35953041)
OPA allows you to make API calls from it. This doesn't. This makes the latency more deterministic.
[ Parent | on HN ]
Re:Cedar is an open source policy language and evaluation en... by alexeldeib on Monday May 15, 2023 @03:09PM (#35953116)
Ah, I didn’t realize that. I was thinking in the context of pure policy evaluation. I know rego/opa had a policy performance doc so was curious. Thanks :)
[ Parent | on HN ]