算法与计算机科学arxiv.org编辑精选
物理、拓扑、逻辑与计算：一块罗塞塔石碑（2009）[PDF]
Physics, Topology, Logic and Computation: A Rosetta Stone (2009) [pdf]
2014 — 2017，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
这是 John Baez 与 Mike Stay 于 2009 年发表的著名综述论文，用范畴论作为统一语言，系统梳理物理学、拓扑学、逻辑与计算四个领域之间惊人相似的数学结构，如同数学版的罗塞塔石碑。文中把量子力学、拓扑量子场论、逻辑证明论和编程语言理论逐一对照翻译。
为什么经久不衰：它以一篇论文的篇幅展示了范畴论如何贯通看似无关的学科，多年来反复登上 HN 首页，至今仍是理解范畴论跨领域应用的经典入门读物。
HN 评论精选
推荐作者 John Baez 的主页，其科普与讲解文章质量极高。
John Baez 是一位出色的作者，他的个人主页上有大量精彩的插图和讲解性文章（物理、数学、气候科学等）。
FredrikMeyer查看英文原文
John Baez is a fantastic writer. His home page is full of wonderful illustrations and expository stuff (physics, mathematics, climate science, ...) http://math.ucr.edu/home/baez/
这篇论文的思想催生了 Subhask——一个基于 GHC 但重构了类型层级结构的类 Haskell 语言。
还有一个基于这项工作、构建于 GHC 之上的代码库叫 Subhask。它名义上是 Haskell，但替换了如此多的函子/单子层级结构，实际上相当于另一门语言。
tbenst查看英文原文
There's also a code base for GHC based on this work called Subhask. It's technically Haskell but replaces so much of the functor/monad hierarchy that it's effectively a different language. https://github.com/mikeizbicki/subhask
提问：类型论与范畴论的区别与联系。
类型论和范畴论有什么区别？它们是如何关联的？
zengid查看英文原文
What's the difference between type theory and category theory? How are they related?
指出该文曾多次在 HN 上被重复提交，建议合并讨论。
这篇文章已经被转发过几次了，有没有办法合并讨论？
LolWolf查看英文原文
This article has been reposted a few times [1][2]. Is there any way to merge discussions? ------ [1] https://news.ycombinator.com/item?id=12317525 [2] https://news.ycombinator.com/item?id=7928924
历次讨论
同类还值得读
位运算技巧集
Bit Twiddling Hacks
斯坦福页面上的经典位运算技巧合集，收录了 popcount、前导/尾随零、位反转、交换、舍入等大量技巧，并附有解释和性能讨论。
算法与计算机科学上首页 8 次 · 2011–2024graphics.stanford.edu编辑精选如何不按平均评分排序
How Not To Sort By Average Rating
经典文章解释了为什么按平均评分排序不可靠：只有少量评价的条目（比如仅一条五星）会轻易排到最前，而评价数量的差异被忽略。
算法与计算机科学上首页 7 次 · 2009–2024evanmiller.org编辑精选数据结构可视化
Data Structure Visualizations
旧金山大学 David Galles 教授制作的数据结构与算法交互式可视化网站，涵盖 B 树、红黑树、排序、图算法等，可逐步操作观察其运行过程。
算法与计算机科学上首页 6 次 · 2011–2021cs.usfca.edu编辑精选1996 年以来的计算机科学最佳论文奖
Best Paper Awards in Computer Science since 1996
Jeff Huang 维护的一个汇总页面，收录了自 1996 年以来计算机科学各主要会议的“最佳论文奖”获奖名单，并按年份和会议整理，方便读者一站式浏览历届获奖论文。
算法与计算机科学上首页 6 次 · 2010–2018jeffhuang.com编辑精选算法（Jeff Erickson）
Algorithms, by Jeff Erickson
伊利诺伊大学 Jeff Erickson 教授的算法课教材，免费在线开放。
算法与计算机科学上首页 5 次 · 2018–2022jeffe.cs.illinois.edu编辑精选