DeepSeek V4 Pro draws quiet code buzz

This looks like a serious contender on paper, but it has not become the community’s default talking point yet. The release is strong; the distribution and tooling story are what’s keeping the noise down.

• –DeepSeek’s official docs say V4-Pro Max posts top-tier coding and agentic results, including 93.5 on LiveCodeBench and 3206 on Codeforces, with 1M context and open weights
• –In the Reddit thread, users say they cannot test it locally yet because llama.cpp support is missing, which slows real-world adoption and hands-on comparison
• –Anecdotal comparisons in the thread still favor GLM 5.1 for messy tasks like git rebase conflict resolution, while Kimi K2.6 is described as faster and a safer daily driver
• –The likely split: V4 Pro may be strongest as an API/backend model for long-context agentic work, while Kimi and GLM still own the grassroots “people are actually using this today” conversation