➡️
继续阅读
-
轻量级开源 CI/CD：Woodpecker 从零部署到跑通完整流水线
本文介绍轻量开源CI/CD工具Woodpecker，它源自Drone，用Go编写，包含Server与Agent，并复用Gitea等代码托管平台的认证。文章...
-
Rust 成为微软一线语言之后：谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言，与C++、C#同级，但目标是替换有漏洞的C/C++存量代码，而非取代C#。C#擅长业务复杂度，Rust擅长资源与安全边...
-
AI 智创简报：《端侧小模型专利成簇，私有化部署的工具生意》
2026年5至8月，Blockchain Labs、微软、奔驰相继公开端侧小模型专利，涉及本地数据签名、边云分层路由和车载模型剪枝，均处于审查阶段。端侧A...
-
CocktailASR-1 开源：目标说话人识别更像一个工程问题了
小米开源CocktailASR-1，聚焦目标说话人语音识别：指定要识别的说话人后，模型只输出该人内容，而非还原全部声音，更贴近会议、车载、客服等场景。文章...
-
Termexo 修终端空白问题：AI 编码工作台先得让人看得见进程
Termexo v0.8.7 修复了终端空白、宽字符处理和重绘阻塞问题，并改用 avt 解析器。作者指出，AI 编码工具常驻终端，界面空白会导致用户误判进...
-
数学之后
陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”，因为数学证明既需逻辑正确，也需人类可...
