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