研究者提出使用神经细胞自动机(NCA)生成的合成数据来预预训练语言模型,发现 1.64 亿 NCA tokens 的效果竟然超过了 16 亿自然语言 tokens,在数学、代码和推理任务上均取得显著提升。
GreenBoost 是一个 Linux 内核模块,通过 DMA-BUF 技术将 GPU 显存透明扩展到系统 DDR4 内存和 NVMe 存储,让你能在 12GB 显存的消费级显卡上运行 32GB 的大语言模型。
作者 Gabriella Gonzalez 指出,试图通过规范文档来生成代码的「agentic coding」主张存在根本性谬误:足够精确的规范文档本质上就是代码,而且这种方式并不能可靠地生成可工作的实现。
Rob Pike 总结的五条编程黄金法则,涵盖性能优化、算法选择和数据结构设计,是每一位程序员都应该掌握的智慧结晶。
Eric Lengyel 回顾 Slug 算法诞生十周年——这项直接在 GPU 上从贝塞尔曲线渲染字体的技术,如何改变了游戏、科学可视化等众多领域的文字渲染方式。
Python 3.15 的 JIT 编译器提前达成了性能目标,在 macOS AArch64 上比尾调用解释器快 11-12%,在 x86_64 Linux 上快 5-6%。本文讲述了社区协作、技术突破和一点运气如何让这个项目起死回生。
作者探索了如何在不人工审查的情况下信任 AI 生成的代码,提出了通过属性测试、变异测试和约束检查来验证代码正确性的方法,为 AI 辅助编程提供了新的思路。
Node.js 终于有了虚拟文件系统(VFS)!本文介绍 VFS 如何解决单文件应用打包、测试隔离、多租户沙箱、AI 代码执行等痛点,以及 node:vfs 核心模块与 @platformatic/vfs 用户态实现的技术细节。
作者 Bruce Dawson 分享了他在 2005 年作为 Xbox 360 CPU 专家时发现的一个 CPU 设计缺陷——一个因分支预测器导致的投机执行问题,与后来的 Meltdown 和 Spectre 漏洞有着惊人的相似之处。
Mistral 发布 Leanstral,首个专为 Lean 4 证明助手设计的开源代码智能体,在形式化验证领域展现出优异的性价比,成本仅为 Claude Opus 的 1/92。