电子书《逻辑学简短入门》牛津通识读本的重译版。地址：wxflogic.gitbo
电子书《逻辑学简短入门》牛津通识读本的重译版。地址：wxflogic.gitbo
蚁工厂的文章
cc switch使用手册，出品网页链接很详细的教程
cc switch使用手册，出品网页链接很详细的教程
Larus Canus （推特id：MrLarus）创作的《平面几何字体海报》提
Larus Canus （推特id：MrLarus）创作的《平面几何字体海报》提
国产螺丝刀成了老外的梦中情刀喝热水的外国人正被中国螺丝刀硬控这波“螺丝刀出海”其
国产螺丝刀成了老外的梦中情刀喝热水的外国人正被中国螺丝刀硬控这波“螺丝刀出海”其
Arena的编码排行榜上GPT-5.5的排名太低了。。负责人出来解释了下，现在虽
Arena的编码排行榜上GPT-5.5的排名太低了。。负责人出来解释了下，现在虽
即梦AI的图标变这样了呢和HappyHorse的发布有关……？抓马？~~AI创造
即梦AI的图标变这样了呢和HappyHorse的发布有关……？抓马？~~AI创造
小米 MiMo-V2.5系列的两款模型（ MiMo-V2.5-Pro、MiMo-
小米 MiMo-V2.5系列的两款模型（ MiMo-V2.5-Pro、MiMo-
容器文件系统工作原理：从零构建类 Docker 容器网页链接容器的一个超级能力是
容器文件系统工作原理：从零构建类 Docker 容器网页链接容器的一个超级能力是
焦虑时可以听听鸟鸣的声音。据说因为原始社会里鸟鸣意味着周围一般没有大型野兽，是周
焦虑时可以听听鸟鸣的声音。据说因为原始社会里鸟鸣意味着周围一般没有大型野兽，是周
一个类似openclaw那样的agent框架：GenericAgent 。核心仅
一个类似openclaw那样的agent框架：GenericAgent 。核心仅
Typeflux，一个mac上的开源语音输入法github.com/mylxsw
Typeflux，一个mac上的开源语音输入法github.com/mylxsw
SGLang 记录了一次跨公司、跨时区的开源协作过程：-----------De
SGLang 记录了一次跨公司、跨时区的开源协作过程：-----------De
《训练 Transformer 让它每层组合一步，并证明它做到了》作者：Bren
《训练 Transformer 让它每层组合一步，并证明它做到了》作者：Bren
4月份开源的大模型架构图对比。作者：Sebastian RaschkaAI创造营
4月份开源的大模型架构图对比。作者：Sebastian RaschkaAI创造营
写给所有人的DeepSeek-V4www.k-a.in/DeepSeek-V4.
写给所有人的DeepSeek-V4www.k-a.in/DeepSeek-V4.
评估大模型数学能力的榜单MathArena里，DeepSeek冲到开源第一且超过
评估大模型数学能力的榜单MathArena里，DeepSeek冲到开源第一且超过
deepseekv4接claude code的时候，注意pro的模型名字是dee
deepseekv4接claude code的时候，注意pro的模型名字是dee
你不知道的 AI Coding：非技术人的上手、场景与实战 网页链接“不少人用
你不知道的 AI Coding：非技术人的上手、场景与实战 网页链接“不少人用
专家呼吁AI短剧制作方把好第一关当前平台已经在AI治理方面投入大量资源，但面对内
专家呼吁AI短剧制作方把好第一关当前平台已经在AI治理方面投入大量资源，但面对内
SGLang 团队写了一篇长文，详细介绍他们是如何在 DeepSeek-V4 发
SGLang 团队写了一篇长文，详细介绍他们是如何在 DeepSeek-V4 发
作者信息
