5 ms·How we built Cedar with automated reasoning and differential testing (2023)2 points by pramodbiligiri 4mo ago