Rob Pike's happiest day in 2023