This is great, using Brownian motion to introduce stochastic processes is a neat way to introduce the idea of priors over a function space.

My small contribution to this area is an interactive notebook where you can add data points and see how different GP kernels behave: https://observablehq.com/@herbps10/gaussian-processes