3 ms·
“we formally verify the programs — written in a custom Lisp-like programming language — that our nameserver executes when it receives a DNS query” nice
by spdegabrielle 2y 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