Hacker News Reader

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...

View on HN

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

OPA allows you to make API calls from it. This doesn't. This makes the latency more deterministic.

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 :)

Reply on news.ycombinator.com