编程语言与软件工程2025arxiv.org
Alice 漫游可微仙境
Alice's Adventures in a Differentiable Wonderland
入门 · 约 120 分钟读完前置知识：线性代数基础、微积分、基本编程能力
导读
这是一篇以童话《爱丽丝梦游仙境》为叙事框架的深度学习/可微计算入门教材，系统讲解可微编程相关概念。写作风格平易近人，注重把通常被默认的数学概念解释清楚，适合初学者阅读。
HN 关注点：作为一份写得格外友好、可读性强的深度学习入门材料，讨论集中在写作质量与 arXiv 可靠性上。
HN 评论精选
这几条评论里：支持 1 质疑 2 补充 1
质疑吐槽数学写作不够严谨，但整体认可其易读性
「当需要区分时，对应行向量记作 x^T。若从上下文形状清楚，为可读性也可省略转置。」我像在跟风车作战，但一直被数学家写作的随意性惹恼。行吧，你不喜欢啰嗦，但为了教学目的，请别假设读者能自己推断出变量 x 其实意味着变量 y。话虽如此，第一章的写作风格让人很期待这本书会有多平易近人。
0cf8612b2e1e查看英文原文
The corresponding row vector is denoted by x^T when we need to distinguish them. We can also ignore the transpose for readability, if the shape is clear from context. I am tilting at windmills, but I am continually annoyed at the sloppiness of mathematicians in writing. Fine, you don’t like verbosity, but for didactic purposes, please do not assume the reader is equipped to know that variable x actually implies variable y. All that being said, the writing style from the first chapter is very encouraging at how approachable this will be.
支持称赞作者讲解细致、不跳步
向作者致敬。非常容易消化，精心打磨，并且花时间解释了那些大多数地方都默认读者已懂的概念。
superjose查看英文原文
Wow, kudos to the Author. Very easy to digest, beautifully crafted, and took the time to explain the concepts when most places take them for granted.
质疑提醒这是未经同行评审的 arXiv 内容
虽然我很喜欢这个，但它未经同行评审，我不信任 arXiv。
kittikitti查看英文原文
Although I love this, it's not peer reviewed and I don't trust arxiv.
补充建议 arXiv 增加适合电子阅读器的格式
如果 arXiv 能提供小开版 PDF 或原生 epub 格式供电子阅读器使用就更好了。既然他们已经提供 TeX 源文件并在试验 HTML，这感觉是顺理成章的一步。
odyssey7查看英文原文
It would be nice if arXiv included a small-layout pdf or native epub option for e-readers. Now that they serve the Tex files and are experimenting with HTML, it feels like a natural step.
历次讨论
- 2025Hacker News 讨论帖157 分 · 26 评
同领域还值得读
Google 的软件工程（2017）
Software Engineering at Google (2017)
介绍了 Google 的软件工程实践，包括其单一代码库（monorepo）、几乎全部开发在主干进行而非分支、代码审查、构建系统 Blaze、协议缓冲区等工具与流程，并讨论了频繁重…
编程语言与软件工程2017 · 1,127 分 · 465 评 · 引用 15入门 · 约 45 分钟编辑精选Peter Naur：编程作为理论构建 (1985)
Peter Naur – Programming as Theory Building (1985)
Peter Naur 1985 年的经典论文《Programming as Theory Building》提出：编程的本质不是写代码或文档，而是在程序员头脑中构建对程序及其运行…
编程语言与软件工程2016 · 629 分 · 74 评入门 · 约 45 分钟编辑精选SciPy 1.0：Python 科学计算的基础算法
SciPy 1.0: fundamental algorithms for scientific computing in Python
这篇发表于 Nature Methods 的论文介绍了 SciPy 1.0——Python 科学计算生态的基石库，涵盖其核心算法模块（优化、积分、插值、线性代数等）、软件架构与社…
编程语言与软件工程2020 · 387 分 · 98 评入门 · 约 45 分钟编辑精选Lisp 的历史（1979）
History of Lisp (1979)
这是 Lisp 发明者 John McCarthy 于 1979 年为 HOPL（编程语言史）会议撰写的回顾文章，讲述 Lisp 的起源、设计动机与早期演进，文中也涉及 if 表…
编程语言与软件工程2018 · 352 分 · 44 评入门 · 约 45 分钟编辑精选使用 NumPy 进行数组编程
Array Programming with NumPy
这篇 Nature 文章介绍 NumPy 的数组编程模型及其在科学计算中的核心作用：以 ndarray 为中心，通过向量化操作让 Python 高效处理多维数组。
编程语言与软件工程2020 · 318 分 · 134 评入门 · 约 40 分钟编辑精选