Shopify回归原生，DeepSeek开源TopK内核
angusdevgo/IDM_Pro_Tool
Internet Download Manager 的激活与状态维护被做成了一整套工具，而不是一段一次性脚本。
亮点 把"激活"和"后续状态维护"两部分都覆盖了，热度 277，是今日唯一位居前列的 Windows 桌面工具项目。
做什么 解决 IDM 授权失效、状态反复掉的问题，提供从激活到日常维护的操作集合。
上手 按仓库 README 安装，入口见原文链接。
适合谁 长期在 Windows 上用 IDM 下载大文件的开发者。
提醒 涉及授权绕过，商用环境有法律风险，用之前先确认所在地区的许可条款。
类型: 库 · ★ 277 · 可直接上手 · angusdevgo/IDM_Pro_Tool (C#) · 打开仓库
deepseek-ai/DeepSelect
DeepSeek 把稀疏注意力和采样所需的 TopK 内核单独拆成了一个开源库。
亮点 不发布模型而是发布内核：专注 DSA（DeepSeek Sparse Attention）与采样器中的 TopK 计算这一层，热度 243。
做什么 稀疏注意力和采样都要从大量候选里挑出前 K 个，这一步直接决定推理速度。库把这段 CUDA 实现做成可复用的内核，方便嵌进自己的推理链路。
上手 按仓库 README 安装（需 CUDA 环境），入口见原文链接。
适合谁 做 LLM 推理加速、愿意自己改 kernel 的 CUDA 工程师。
提醒 强绑 NVIDIA 显卡与 CUDA 工具链，纯 CPU 或非 N 卡环境用不上，也需要一定的内核调优基础。
类型: 库 · ★ 243 · 可直接上手 · deepseek-ai/DeepSelect (Cuda) · 打开仓库
kevinzakka/mjbatch
mjbatch 让开发者能在 CPU 上并行跑成千上万个 MuJoCo 仿真。
亮点 关键词是"CPU 并行"和"上千"，不依赖 GPU 集群就能把仿真吞吐拉起来。
做什么 强化学习训练和机器人控制研究常要同时跑海量仿真，单进程逐个跑太慢。这个库把任务铺到多核 CPU 上批量执行。
上手 按仓库 README 安装，入口见原文链接。
适合谁 做强化学习、机器人仿真的算法工程师和研究者。
提醒 面向 MuJoCo 专用，换成 Isaac Gym 等其他仿真器要另找方案。
类型: 库 · ★ 234 · 可直接上手 · kevinzakka/mjbatch (Python) · 打开仓库
Shopify 从 React Native 迁回 Swift 和 Kotlin
Shopify 决定把移动端从 React Native 迁回 Swift 与 Kotlin 原生开发。
亮点 又一家大厂公开"回头"，此前是 Airbnb、Dropbox；这次工程博客给出了决策过程，热度 785 居全榜第一。
做什么 说明跨端框架在长期迭代、规模变大的 App 上会碰到性能与平台能力的边界，原生实现能更直接地对接系统特性。
上手 阅读工程博客原文即可，入口见原文链接。
适合谁 正在选移动端技术栈的技术负责人和 React Native 团队。
提醒 Shopify 的体量与场景特殊，中小团队照搬迁移成本过高，值不值得跟要看自己的迭代节奏。
★ 785 · Shopify is moving from React Native back to Swift and Kotlin · 查看原文
研究者能否信任 OpenAI 处理未发表数学成果
数学界再次质疑研究者是否该把未发表的成果交给 OpenAI。
亮点 争论焦点不在模型能力，而在未发表数学成果的保密与署名归属。
做什么 讨论研究者与商业 AI 团队合作时，未公开的论文和证明该怎么保护。数学领域"想法即成果"，一旦泄露几乎无法挽回。
上手 阅读原帖讨论，入口见原文链接。
适合谁 与商业 AI 团队有合作的学术研究者，以及负责协议的企业法务。
提醒 素材来自社交平台的讨论，不是机构结论；签合作前先把数据使用范围和署名条款谈清楚。
★ 678 · More questions about whether researchers can trust OpenAI with unpublished math · 查看原文
Cognition 发布 SWE-2 模型
Cognition 发布 SWE-2，宣称在软件工程任务上对标 Fable 5.1 与 GPT-Astra。
亮点 直接点名两个竞品作对比，定位明确指向仓库级代码修改任务，而非聊天式补全。
做什么 面向真实代码库的改 bug、写补丁这类活，目标是减少人工介入的环节。
上手 按官方博客说明接入，入口见原文链接。
适合谁 正在评估代码助手选型的平台团队与工具链负责人。
提醒 对比数据来自厂商自述，暂无第三方复现，真实仓库上的表现还是要自己压测。
★ 355 · Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra · 查看原文
今日观察
看好"原生优先"在大型移动团队中的回归，但谨慎看待中小团队跟风迁移。Shopify 的选择背后是多年迭代累积的维护成本，而不是 React Native 本身不行——同样用 RN 的中小团队，很可能还处在收益大于成本的阶段。对开发者的实际含义是：原生能力（Swift/Kotlin 的平台特性、性能调优）重新变成硬通货，值得投入；跨端框架则更适合作为快速验证和中小项目的起点，而不是"一套代码打天下"的长期答案。