3 ms·
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
by alexeldeib 3y 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
- abrahms 3y agoOPA allows you to make API calls from it. This doesn't. This makes the latency more deterministic.
- alexeldeib 3y agoAh, 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 :)