Hacker News new | ask | show | jobs
How we built Cedar with automated reasoning and differential testing (2023) (amazon.science)
2 points by pramodbiligiri 44 days ago