DeepSeek-V3(github.com)
21 points by mgt19937 | 5 comments
21 points by mgt19937 | 5 comments
271 points by meetpateltech | 41 comments
473 points by helloericsf | 66 comments
GitHub repository for DeepEP, DeepSeek's open-source expert-parallel communication library for Mixture-of-Experts model training and inference.
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.
381 points by mfiguiere | 65 comments
GitHub repository for DeepSeek's DeepGEMM, a library of clean and efficient FP8 GEMM kernels with fine-grained scaling, released under the MIT license.
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.
939 points by pierre | 226 comments
GitHub repository for DeepSeek-OCR, DeepSeek's open-source "Contexts Optical Compression" OCR model, with code, paper PDF, and MIT license.
473 points by helloericsf | 66 comments
GitHub repository for DeepEP, DeepSeek's open-source expert-parallel communication library for Mixture-of-Experts model training and inference.
531 points by Palmik | 58 comments
GitHub directory in DeepSeek's open-infra-index repo with a README describing their plan for open-sourcing the DeepSeek inference engine.
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.
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.