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