Archived tweet #2168 from the @leastfixedpoint Twitter Archive

DNS: a perfect case study for some kind of formal analysis! See DJB's list of horrible problems with it: http://cr.yp.to/djbdns/notes.html