逻辑引擎

数学

• 数学基础

Peano Axioms
Non-Standard Arithmetic
Yablo’s paradox
Well-founded_relation
What the Tortoise Said to Achilles, Wiki: What the Tortoise Said to Achilles
Deduction theorem

• 形式语言和自动机

Formal languages and grammars
Model checking
Model Checkers: SMV, NuSMV, SPIN

• 辅助证明

Agda, a dependently typed functional programming language, a proof assistant
Coq, a formal proof management system
Epigram 2, an experimental dependently typed functional programming language.
Matita, an experimental, interactive theorem prover
PRL, Proof/Program Refinement Logic

• 数论

筛法：Sieve of Sundaram, Sieve of Atkin, Legendre sieve, Brun sieve
用信息熵证明素数无穷多

• 算法

圆周率计算：BBP Formula, BBP-Type Formula, Pi Formulas
NP hardness

• 数学程序库

gf2x, NTL
GMP, MPFR (based on GMP)

• 泛函分析

GMP, Functional derivative

• 力学

GMP, Material derivative
Exact solutions of N body

• 对策论、数学游戏

The game of Chomp

物理学

• 广义相对论

FAQs on Black Holes
Penrose diagrams
Causal structure of analogue spacetimes

• 量子场论

Bogoliubov transformation
String Theory Reviews

• 复杂系统

Zipf, Power-laws, and Pareto

计算机

• 程序设计

Haskell(Wikibook), Haskell(Wikipedia), GHC(Wikipedia)
Haskell Platform
Try Haskell(interactive tutorial, runs in browser)
<Real World Haskell>
Curry
C – – (Haskell compiler GHC uses it as its intermediate assembly language)

• TeX

TeX package: picins

• Artificial Intelligence

Elbot, the robot
fwjmath谈人工神经网络
统计学习猜拳游戏

• Productivity

Splashtop(Remote Control your PC from iPad)

行为学

• 心理学

核磁共振成像读心术

• 经济学

蓝笨笨：民主的适用范围

生物学

• 分子生物学

Simulation of millisecond protein folding: NTL9 (from Folding@home)

维基

• Wikimedia: 所有维基项目的入口
• Wikipedia: 自由的百科全书
• Wiktionary: 自由的多语言词典
• Wikiquote: 格言谚语库
• Wikibooks: 开放的教科书库
• Wikisource: 自由的图书馆，由志愿者搜集的自由内容文本
• Wikinews: 新闻投稿
• Wikiversity: 开放的学习社区
• Wikispecies: 自由的物种目录
• MediaWiki: 维基百科的软件包
• Meta-Wiki: 元维基，讨论维基项目的建议和方案
• Wikimedia Commons: 自由的媒体文件
• Wikimedia Incubator: 维基项目的培养皿
• Wikimedia Foundation: 维基基金

软件
PortableApps

• Graphics

InkScape, vector graphics editor.
Blender, 3D content creation suite.

• Video

Avidemux, Avidemux@sourceforge, Avidemux for Windows, multi-purpose video editing and processing.

• Diagramming

yEd Graph Editor
Gaphor, UML2.0 modeling environment.
Dia

• Office Suit

GnomeOffice, a collection of software, include InkScape
KOffice, KDE Office
Calligra Suite, split from KOffice in 2010
Libre Office

在线服务

• Media

Zamzar, online file converter

• Web File Host

FilePigeon, online file exchanger (free for less than 100 MB)
DropBox
SugarSync
SyncPlicity

生活
Eric–How to Ask Questions-the Smart Way, Eric—提问的智慧
Windows 1 – 7一路兼容升级

游戏

• Flash

Prisme1, Prisme2, Prisme3, Prisme4
密室逃脱攻略大全
Onslaught(塔防)

电影

• 心理片

异度空间（罗志良），记忆碎片（诺兰），跟踪（诺兰），救我（张琦），深海寻人（徐克）

投资

• 书籍

股票书籍

科技出版

• 同行评审

The Truth about Scientific Peer-Review

哲学

• 科学方法

物理学的逻辑和霍金的答案
科学新闻没告诉你的那些事儿
用癌症换核电的哲学计算

• 宗教

撒旦圣经

音乐

• 理论

Chord Progressions on Tonal Music