Ned Batchelder's personal web site, blog, writings, software, math, parenting, autism