How we built Cedar with automated reasoning and differential testing (2023) | Dark Hacker News