微软在 Windows 中持续削弱浏览器选择，Mozilla 研究发现
在 Mozilla 独立报告发布一百天后，该报告指出 Windows 如何引导用户使用 Edge，Mozilla 最新研究显示，该公司仍在部署覆盖用户浏览器选择的设计策略。
阅读全文 →最新解读
查尔斯·蒙蒂斯如何编辑 William Golding 的《Lord of the Flies》使其成为文学经典
这篇LRB文章详细描述了编辑 Charles Monteith 在通过具体的结构、语调和寓意修订，将 William Golding 被拒稿的手稿转化为《Lord of the Flies》中的关键作用，同时追踪了在小说成功后、Golding 追求日益复杂主题的过程中他们的合作如何演变。
阅读全文 →
在 QEMU 上运行的最小 Swift 内核
一位开发者使用 Swift 构建了一个能够在 QEMU 模拟器上启动的微型操作系统内核，展示了 Embedded Swift 如何在没有底层操作系统的裸机硬件上运行。
阅读全文 →LLM 生成的 TypeScript 编译器 Rust 移植展示兼容性和速度提升
一个名为 ts‑rs 的实验项目使用大型语言模型将微软的 TypeScript 7 编译器移植到 Rust，保持了原始 Go 基础的行为，同时在基准测试中提供了显著的性能提升。
阅读全文 →Zerobrew 声称通过内容寻址存储，速度比 Homebrew 快多达 100 倍
Zerobrew 是一个新的包管理器，承诺通过重用 Homebrew 的预构建瓶子，但使用内容寻址存储和进程内链接进行安装，从而避免 Homebrew 的 Ruby 评估和每个二进制文件的重新链接步骤，实现显著更快的安装速度。
阅读全文 →
克leo之谜：Stack Exchange 上的匿名数学家被揭露为弗拉基米尔·列谢特尼科夫
在线 pseudonym Cleo 以在 Mathematics Stack Exchange 上提供复杂积分问题的专家解答而闻名，且不展示解题过程，于 2025 年 1 月被揭露为弗拉基米尔·列谢特尼科夫，他是一位乌兹别克斯坦裔美国软件开发者和数学家。
阅读全文 →
Jonathan the Tortoise: Genome Sequencing Reveals Clues to Extreme Longevity
乔纳森，这只阿尔达布拉巨型陆龟，年已194岁，保持着已知最长寿陆生动物的纪录。研究人员对其基因组进行了测序，发现了与DNA修复、胰岛素调节、线粒体功能相关的独特基因变异，以及线粒体甲基组异常纯净，这可能有助于他卓越的寿命。
阅读全文 →
Penguin Mail 为 Linux 带来基于 Rust 的电子邮件和日历，附带可选 AI 助手
Penguin Mail 是一款用 Rust 编写的面向 Linux 的开源电子邮件和日历客户端，提供适用于 Gmail、Microsoft、IMAP/POP3 账户的统一收件箱，采用本地数据存储，并提供可选的 AI 助手，该助手可通过 LM Studio 或 Ollama 在用户本地机器上运行。
阅读全文 →
开发者面临日益加剧的职业不安全感、倦怠和AI焦虑的2026年调查
2026年开发者状态调查揭示了软件开发人员中普遍存在的职业不安全感、倦怠和对AI的观点分化，超过一半的人经历过倦怠，近一半的人预计因不可控的因素而在未来五年内换工作，这反映了科技行业的日益不稳定。
阅读全文 →
AI 导师展现出适度数学收益，但学生参与仍是障碍
一项在田纳西州18所中学进行的两年的随机试验发现，让学生在补习数学课上使用 Khan Academy 的 AI 导师 Khanmigo，提高了他们的成绩，每学期提高了约 1.3 个全国百分位。 然而，这些收益与不使用 AI 的 Khan Academy 的收益相似，研究人员得出结论，关键在于参与：大多数学生几乎没有使用该导师，即使使用时，互动也非常浅显。
阅读全文 →
Ledge.sh 使 Markdown 笔记可运行，并具备持久 shell 环境
Ledge.sh 是一个开源的 Markdown 笔记应用，允许用户直接在笔记中运行 shell 命令、代码、SQL 和 AI 提示，且每个笔记都维护自己的持久 shell 环境。
阅读全文 →
OCaml 量化金融：类型安全的金融工程指南
《OCaml 量化金融》通过利用 OCaml 强大的类型系统在编译时消除整类金融编程错误，教授衍生品定价、风险管理、信用建模和算法交易等核心量化金融主题。书中提供了生产级代码、诚实的数学推导，并涵盖了七部分、31 章中的现代 OCaml 5 特性。
阅读全文 →
研究发现宗教教育融入巴比伦抄写员培训
对公元前第一千年的巴比伦教育的研究表明，尽管没有独立的宗教教育项目，抄写员学生通过标准课程吸收了宗教知识，学习了诸神、庙宇实践以及神人关系，作为行政岗位培训的一部分。
阅读全文 →
不动点理论在学生罢工授权中的应用
一篇2012年的博客文章解释了计算机科学中的fixed point mathematics如何应用于Québec学生工会的罢工授权，直观方法确定哪些工会应罢工往往失败，而寻找greatest fixed point则给出正确解决方案。
阅读全文 →研究者指称 Xray-core 未妥善披露证书固定绕过漏洞
一名漏洞报告者在 GitHub issue 中称，Xray-core 修复早期证书固定绕过问题时没有发布安全公告。项目方 2026 年 7 月的官方公告另行确认，某些 pinnedPeerCertSha256 配置可能导致中间人攻击，并将 v26.7.11 列为修复版本。该公告并未独立证实报告者对早期漏洞或隐瞒意图的说法。
阅读全文 →
可追溯至交换分页元数据的 40ms Go 垃圾回收停顿
一位 Go 开发者发现，当 GC 元数据被换出时，交换使用可能导致 40ms 的停顿世界垃圾回收停顿，揭示了生产系统中的潜在延迟风险。
阅读全文 →
ArtCraft 发布七款基于 Rust 构建的开源创意应用
ArtCraft 推出了一套七款原生桌面应用程序，用于图像编辑、矢量插画、视频、照片库、PDF 工作台、动态图形和页面排版，全部使用 Rust 编写并在宽松的开源许可证下发布。这些应用强调本地文件处理、熟悉的专业工作流程、具备代理就绪的 CLI/MCP 接口以及可用于浏览器的 WebAssembly 构建。
阅读全文 →