Ken Thompson's website has moved to

www.kenthompson.info