o3-mini faster than GPT-4o-mini | Dark Hacker News