I heard from people at the University of Belfast say that CAR Hoar had never used the universities computer system during the time he discovered quicksort. When asked about this he supposedly answered: "I proved it works, so why should I implement it"