First screen, captured .
1195 points by cloudking | 501 comments
Ask HN thread asking whether anyone has fully replaced Claude or GPT with a locally run model for daily coding, and what hardware and token speeds they get.
459 points by guzik | 604 comments
An Ask HN thread inviting founders of hardware startups (IoT, robotics, consumer electronics) to share what they are building.
919 points by Liwink | 505 comments
DeepSeek's X post announcing DeepSeek-V4.1-Flash, a small model with native visual understanding, shown with benchmark comparisons against rival models.
657 points by dnhkng | 313 comments
DeepSeek API docs changelog entry announcing the DeepSeek-V4-Flash API public beta with improved agent benchmark results.
530 points by theanonymousone | 289 comments
An Artificial Analysis page meant to benchmark DeepSeek V4 Flash's intelligence, performance and price, which returned a 404 Page not found error.
733 points by wertyk | 253 comments
DeepSeek API docs news post announcing the DeepSeek-V3.1 release, featuring hybrid think/non-think inference, faster reasoning, and stronger agent skills.
359 points by meetpateltech | 74 comments
GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.
706 points by Alifatisk | 273 comments
Project homepage for Reasonix, an open-source DeepSeek-native terminal coding agent built around DeepSeek's prefix cache for low-cost long sessions.