Ask HN: Examples of applications that are using o1 style reasoning models | Dark Hacker News