I will first explain a version of geometric Langlands correspondence in positive characteristic for a reductive group. I will then explain how to use the method of quantization in positive characteristic to construct generic parts of the correspondence.
This is a joint work with Xinwen Zhu.