文章

所有公开发布的文章。

• 装插件容易,卸插件难:一篇把动态组合讲明白的论文

  2026年8月14日

  北大和 DeepSeek 研究者把 effects/coeffects 从静态类型理论搬到运行时,为插件系统、热更新、自演化 agent harness 这类动态组合场景补上形式化基础,并给出生产级实现 Cordis 和 Koishi 案例。

• 蓝牙耳机能听不能说，问题居然出在 BIOS

  2026年8月6日

  蓝牙耳机能正常播放音乐，麦克风却一直没有声音？常规排查方法全部无效后，最终发现是 Intel 蓝牙的 HFP 音频卸载模式与 BIOS 音频拓扑不匹配。这篇文章记录了完整的排查过程。

• Adobe Acrobat vs PDF-XChange：PDF 标准的制定者，不一定最好用

  2026年8月5日

  同样是 PDF 工具，一边是 PDF 标准的制定者 Adobe Acrobat，一边是后来居上的 PDF-XChange。从实际使用体验出发，对比流畅度、功能易用性、解析准确度和格式转换表现，并给出轻度阅读与编辑场景的选型建议。

• 从神经网络到 GPT-5.6：大语言模型是怎样一步步进化的

  2026年8月2日

  从人工神经元、反向传播和 Transformer，一路讲到预训练、RLHF、推理模型、多模态与 Agent，用通俗语言梳理大语言模型的关键进化。