Proving Policy Properties with Cedar's Symbolic Compiler (dvlog.dev)

1 points by dvaddi 1d ago ↗ HN

1 comment

[ 4468 ms ] story [ 719 ms ] thread

[dead] dvaddi 23h ago ↗

[flagged]

A showcase of shard-db. Data from the Hacker News API. Refreshed every 15 minutes.

Source · Live DB stats