:quality(85)/https://cdn.upit.com/yu8rm0migtebxj8jsq2hwwp9.png)
:quality(85)/https://cdn.upit.com/w0092fbv5fasyei8qztjq9nj.jpeg)
:quality(85)/https://cdn.upit.com/806mw8wmqsrukupx0hf2ox4a.jpeg)
Cloudflare: How we prevent conflicts in authoritative DNS configuration using formal verification
Cool little Racket shoutout https://blog.cloudflare.com/topaz-policy-engine-design/
8mo
23
0
Be the first to comment
Cloudflare: How we prevent conflicts in authoritative DNS configuration using formal verification
Cool little Racket shoutout https://blog.cloudflare.com/topaz-policy-engine-design/
23
Be the first to comment
