标签
A developer discovers a decades-old bug in Knuth's Algorithm D for long division, leading to a new theorem added to the TAOCP errata, and also uncovers a related bug in LLVM's implementation.
一篇深入浅出的教育性文章，探讨动态规划作为最短路径算法、神经网络训练和上下文无关文法解析背后的统一原理，并将自动机、最优控制和线性规划联系在一起。
Carson Gross 在演讲中讨论了 AI 对大学计算机科学教育的影响，认为在 AI 时代仍需教学生写代码和读代码，同时指出 AI 带来了评估危机和教学变革的机会。
A tweet recommending Jeff Erickson's free online algorithms textbook, highlighting its great illustrations and overall quality.
美国大学的计算机科学入学人数正在下降，但像Colby College这样的学校正在将人工智能教育融入各个学科，为学生适应不断变化的劳动力市场做好准备。
OpenAI 的内部下一代主要模型在数学和理论计算机科学的长期开放问题上产生了10项新成果，按 GPT-5.6 Sol API 价格计算，使用了价值约 2,000 美元的 token。
OpenAI 宣布在数学和理论计算机科学的长期未解问题上取得十项成果，这些成果由其下一代模型 Astra 的内部版本实现，证明已用 Lean 形式化。
一篇文章解释了为什么浮点数是泄漏的抽象，涵盖精度限制、减法问题和溢出/下溢，并引用了Goldberg的经典论文。
图灵奖得主 Gilles Brassard 访问北京大学前沿计算研究中心，发表了关于艾伦·图灵遗产的演讲，并被聘为北京大学图灵导师。
Coding Interview University 的详细概述，这是一个免费的开源 GitHub 仓库，提供为期 8 个月的自学计划，涵盖数据结构、算法和系统设计，帮助准备大型科技公司的技术面试。
本文从第一原理介绍函数式编程，涵盖函数的数学定义及编程语言范式的分类。这是面向命令式编程者系列文章的第一部分。
推荐MIT的免费650+页教科书《计算机程序的构造和解释》（SICP），该书教授基本的解决问题和计算机科学概念，而不仅仅是编码语法。
本文探讨了计算机科学教授离开学术界，前往Anthropic、OpenAI、Meta和DeepMind等人工智能公司获取高薪职位的趋势，这导致研究集中在工业界，开放的学术研究日益减少。
荣誉教授迪米特里·贝尔塞卡斯是一位开创性的计算机科学家，以其在优化、强化学习和人工智能领域的贡献而闻名，著有20多本有影响力的书籍，已于83岁去世。
北大本科生将自学计算机四年积累的高质量开源课程资源（来自MIT、斯坦福、伯克利等）按实战顺序整理成一份开源文档，旨在帮助零基础者系统学习编程。
由Eric Lehman、F. Thomson Leighton和Albert R. Meyer合著的教材《Mathematics for Computer Science》的免费PDF版本可通过MIT开放课程获取，为计算机科学提供了必要的离散数学基础。
伯克利 CS162 提供免费全面的在线操作系统课程，包含讲座、项目和作业，涵盖进程、虚拟内存、调度和分布式系统等关键操作系统概念。
本文探讨了计算机科学中寻找最快乘法算法的未解问题，追溯其历史从学校的O(n²)方法到现代突破如Karatsuba在1960年的发现和近期的2024年结果，并解释了为什么这对AI、加密和其他数字任务至关重要。