DeepSeek 新开源了数学定理证明模型DeepSeek-Prover-V1.
DeepSeek 新开源了数学定理证明模型DeepSeek-Prover-V1.
蚁工厂的文章
Chrome用户，将 uBlock Origin 等使用Control Mani
Chrome用户，将 uBlock Origin 等使用Control Mani
转发抽3本 的新书《C++之美：代码简洁、安全又跑得快的30个要诀》。8月23日
转发抽3本 的新书《C++之美：代码简洁、安全又跑得快的30个要诀》。8月23日
Awesome Modern C++ 网站是一个专门收集和整理现代 C++（C+
Awesome Modern C++ 网站是一个专门收集和整理现代 C++（C+
这个网站：grokimagegenerator.app/zh可以体验马斯克新出的
这个网站：grokimagegenerator.app/zh可以体验马斯克新出的
李沐大神分享了创业一年的经历，包括创业动机、公司命名、融资挑战、硬件购买、商业模
李沐大神分享了创业一年的经历，包括创业动机、公司命名、融资挑战、硬件购买、商业模
大事件？
大事件？
![说的挺对[doge] ](http://dayu-img.uc.cn/columbus/img/oc/1002/453e2daa14e0728d999db1484fcc4cc2.jpg)
说的挺对[doge]
说的挺对[doge]
lmsys Chatbot Arena 刚公布了马斯克的大模型：sus-colu
lmsys Chatbot Arena 刚公布了马斯克的大模型：sus-colu
[doge]这届奥运真火。看了下奥运期间的微博的5000多个热搜，其中有3000
[doge]这届奥运真火。看了下奥运期间的微博的5000多个热搜，其中有3000
![川宝在用Anker安克的充电宝[doge] ](http://dayu-img.uc.cn/columbus/img/oc/1002/481a8d2cacd3fcb7ca6683b700950453.jpg)
川宝在用Anker安克的充电宝[doge]
川宝在用Anker安克的充电宝[doge]
一个刚开始起步的浏览器项目verso项目地址：github.com/versot
一个刚开始起步的浏览器项目verso项目地址：github.com/versot
Stirling-PDF，一个本地托管的pdf工具集项目地址：github.co
Stirling-PDF，一个本地托管的pdf工具集项目地址：github.co
Win11Debloat，一个针对win11系统的优化脚本项目地址：github
Win11Debloat，一个针对win11系统的优化脚本项目地址：github
find命令用法示例制图：sysxplore
find命令用法示例制图：sysxplore
![[哆啦A梦吃惊]要有4TB的sd卡了 ](http://dayu-img.uc.cn/columbus/img/oc/1002/589839586d62f3bec1760c6005892bda.jpg)
[哆啦A梦吃惊]要有4TB的sd卡了
[哆啦A梦吃惊]要有4TB的sd卡了
Google DeepMind 的研究员Nicholas Carlini 介绍了
Google DeepMind 的研究员Nicholas Carlini 介绍了
[星星][星星][星星]，#白蛇：浮生# 剧情基本套用了民间传说。感觉但没太处
[星星][星星][星星]，#白蛇：浮生# 剧情基本套用了民间传说。感觉但没太处
Dr Milan Milanović绘制的SQL思维导图
Dr Milan Milanović绘制的SQL思维导图
一个CUDA/C++ 笔记 / 大模型手撕CUDA / 技术博客地址：githu
一个CUDA/C++ 笔记 / 大模型手撕CUDA / 技术博客地址：githu
作者信息
