Ask HN: Former grok-code-fast-1 users, what coding model are you using now? | Dark Hacker News