Jan Hajic's notes on Gaussian processes