Steady on! This looks almost useful... RT @Simon_JF: Dependently-typed DNS packet parsing! Woo! https://twitter.com/Simon_JF/status/439398203994021888/photo/1pic.twitter.com/7rgzvJaAEZ
6:43 AM - 28 Feb 2014
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.