How to sample efficiently from time series data?

You need to write the for loop into a theano.scan for performance.

You can specify that in https://docs.pymc.io/api/inference.html?highlight=metropolis#module-pymc3.step_methods.metropolis with proposal_dist kwarg