Looks similar
Related stories
DeepSeek-v3.1(api-docs.deepseek.com)
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.
Open Source is one person(opensourcesecurity.io)
325 points by LawnGnome | 132 comments
Blog post by Josh Bressers on Open Source Security arguing that many open source projects are maintained by a single person.
DeepSeek reasonix, DeepSeek native coding agent with high caching and low cost(esengine.github.io)
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.
DeepSeek-R1(github.com)
1582 points by meetpateltech | 585 comments
GitHub repository for DeepSeek-R1, DeepSeek's open reasoning language model, with the paper PDF, figures, README, and MIT license.
DeepSeek-Prover-V2(github.com)
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.
Redis is open source again(antirez.com)
1808 points by antirez | 718 comments
Blog post by Redis creator antirez announcing Redis is switching to the AGPL license, making it open source again after the SSPL change, and explaining why.












