Roy shares how to leverage o1, OpenAI's new series of reasoning models. Sourcegraph presents their production use case.