Brian Kernighan is trying to write a new book