Ask HN: Anyone still prefer o1 than o3-mini? | Hacker News Reader