Huh, that's not a thing?
The parent poster is probably referring to Kimi-Dev-72B¹, which is a much smaller and older model, while people are probably more familiar with the big and fairly powerful 1100B Kimi-K2.5².
[1] https://huggingface.co/moonshotai/Kimi-Dev-72B
[2] https://huggingface.co/moonshotai/Kimi-K2.5
alt Hacker News
The parent poster is probably referring to Kimi-Dev-72B¹, which is a much smaller and older model, while people are probably more familiar with the big and fairly powerful 1100B Kimi-K2.5².
[1] https://huggingface.co/moonshotai/Kimi-Dev-72B
[2] https://huggingface.co/moonshotai/Kimi-K2.5