botwerks

no utility expressed or implied

gossip protocol

posts 07-Feb-2016

software dataplane verification

posts 03-Nov-2015

guess when google showed up at MICE

posts 25-Jun-2015

may-2015: misc. reading

posts 30-May-2015

may-2015: misc. reading

sulrich-xtr config archive

posts 01-Jun-2014

the culture

posts 21-Apr-2014

the purpose of the CAPTCHA in gogo in-flight, via gogo in-flight

posts 14-Apr-2014

shortest novel

posts 23-Feb-2014

bootstrapping the chicken

posts 03-Feb-2014

harry potter and the goblet of fire

posts 02-Feb-2014