Cloudflare Topaz: formal verification to prevent conflicts in DNS configuration (blog.cloudflare.com) 7 points by self 1y ago ↗ HN
[–] self 1y ago ↗ Video: https://www.youtube.com/watch?v=hW7RjXVx7_QPaper: https://research.cloudflare.com/publications/Larisch2024/
[–] spdegabrielle 1y ago ↗ “we formally verify the programs — written in a custom Lisp-like programming language — that our nameserver executes when it receives a DNS query” nice
[–] spdegabrielle 1y ago ↗ Racket! https://racket-lang.org/“Whenever an engineer changes one of these programs, we run all the programs through our custom model checker (written in Racket + Rosette)”
3 comments
[ 4.4 ms ] story [ 9.5 ms ] threadPaper: https://research.cloudflare.com/publications/Larisch2024/
“Whenever an engineer changes one of these programs, we run all the programs through our custom model checker (written in Racket + Rosette)”