Hacker News new | ask | show | jobs
by sarahcec 1131 days ago
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...
1 comments
alexeldeib 1131 days ago
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

link
abrahms 1131 days ago
OPA allows you to make API calls from it. This doesn't. This makes the latency more deterministic.
link
alexeldeib 1131 days ago
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 :)
link