Making my way through TAOCP