vannevar bush of course, but also lesser-known figures