en.wikipedia.org推荐经典文章8 次提及
Fermi problem - Wikipedia
费米问题指用数量级估算与量纲分析，回答看似无法精确计算的问题。
主题
数学 math
本主题收录 29 条资源。列表已写入静态 HTML，按综合推荐分与提及次数排序；可打开详情页查看推荐理由、HN 原评论和原文证据。
-
-
bivector.net推荐经典文档5 次提及
BiVector.net: Geometric Algebra Resources
BiVector.net 汇集几何代数在图形学、视觉与工程中的教程、库和工具资源。
-
swtch.com推荐经典文章4 次提及
Regular Expression Matching Can Be Simple And Fast
Russ Cox 对比两种正则匹配实现，指出常见回溯引擎在特定模式下极慢。
-
fstar-lang.org推荐近期文档3 次提及
F*: A Proof-Oriented Programming Language
F* 是面向证明的通用编程语言，结合依赖类型与 SMT 自动证明，可提取到 OCaml、C 或 Wasm。
-
projecteuler.net推荐经典工具10 次提及
About - Project Euler
Project Euler 提供需编程与数学结合的挑战题，供爱好者循序渐进学习。
-
www.mathjax.org推荐经典工具3 次提及
MathJax
MathJax 是可在各类浏览器中渲染数学公式的 JavaScript 引擎。
-
en.wikipedia.org引用近期文章37 次提及
Goodhart's law - Wikipedia
古德哈特定律：指标一旦成为目标，就不再是好的指标。
-
en.wikipedia.org引用近期文章13 次提及
Curry–Howard correspondence - Wikipedia
柯里-霍华德对应指出程序与证明、类型与命题同构，是类型论与函数式编程的理论基础。
-
en.wikipedia.org引用近期文章13 次提及
Gödel's incompleteness theorems - Wikipedia
哥德尔不完备定理表明任何含算术的一致形式系统都存在无法证明的真命题。
-
www.math.wisc.edu推荐经典其他3 次提及
Elementary Calculus
Keisler 的《初等微积分》教材用鲁宾逊无穷小方法讲解微积分，可在线免费阅读。
-
arxiv.org回答经典论文3 次提及
Dissolving the Fermi Paradox
论文指出德雷克方程忽略参数不确定性，修正后费米悖论的矛盾基本消失。
-
en.wikipedia.org引用经典文章6 次提及
German tank problem - Wikipedia
德军坦克问题用缴获坦克的序列号统计估计总产量。
-
en.wikipedia.org引用经典文章4 次提及
Simpson's paradox - Wikipedia
辛普森悖论指分组内成立的趋势在合并数据后消失甚至反转的统计现象。
-
beza1e1.tuxen.de引用经典文章4 次提及
Accidentally Turing-Complete
文章收集了 C++ 模板、TypeScript 类型系统等意外图灵完备的系统。
-
journals.plos.org引用经典论文5 次提及
Why Most Published Research Findings Are False
Ioannidis 论证多数已发表研究结论为假，取决于研究效力、偏倚与先验概率。
-
en.wikipedia.org引用经典文章3 次提及
Prisoner's dilemma - Wikipedia
维基百科介绍博弈论经典囚徒困境，说明合作与背叛的收益结构。
-
en.wikipedia.org引用经典文章3 次提及
Mediocrity principle - Wikipedia
平庸原则认为随机抽取的样本更可能来自数量最多的类别，人类与地球在宇宙中并不特殊。
-
en.wikipedia.org引用经典文章3 次提及
Random-access machine - Wikipedia
随机存取机是计算理论中带间接寻址寄存器的抽象计算模型，与计数器机相近。
-
en.wikipedia.org引用经典文档3 次提及
Long and short scales - Wikipedia
长短级差是两套十的幂命名法，小数一致、大数不同，各国采用其一。
-
en.wikipedia.org引用经典文档3 次提及
Dual_EC_DRBG - Wikipedia
Dual_EC_DRBG 是被指暗藏 NSA 后门的椭圆曲线随机数发生器，2014 年撤标。
-
en.wikipedia.org引用经典文章3 次提及
Fast inverse square root - Wikipedia
快速平方根倒数算法用魔术常数加一次牛顿迭代估算 1/√x，因 Quake III 的实装而闻名。
-
bartoszmilewski.com引用经典文章3 次提及
Category Theory for Programmers: The Preface
Bartosz Milewski 的《程序员范畴论》前言，用 Haskell 讲解范畴论概念。
-
en.wikipedia.org引用经典文章3 次提及
Amdahl's law - Wikipedia
阿姆达尔定律指出串行部分限制多处理器系统的理论加速比。
-
www.scottaaronson.com引用经典文章3 次提及
Ten Signs a Claimed Mathematical Breakthrough is Wrong
Scott Aaronson 列出十条快速识别错误数学突破宣称的迹象。
-
en.wikipedia.org引用经典文章3 次提及
NP-hardness - Wikipedia
计算复杂性理论中 NP 难问题的定义及其与 P、NP 关系的基本结论。
-
lean-lang.org引用近期工具4 次提及
Lean Programming Language
Lean 是开源编程语言与证明助手，用于形式化数学和可验证软件。
-
xkcd.com引用近期其他18 次提及
Is It Worth the Time?
xkcd 图表给出五年尺度下的自动化止损表：优化耗时不超节省的时间。
-
xkcd.com引用近期其他3 次提及
Physicists
xkcd 漫画讽刺物理学家把任何复杂系统都简化成「简单模型加扰动项」。
-
www.tylervigen.com玩笑经典数据集3 次提及
Spurious Correlations
网站罗列高度相关却无因果关系的变量配对，用荒诞例子提醒相关不等于因果。