收藏

数学

  • 数学基础

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)

维基

软件
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

Leave a Reply

You must be logged in to post a comment.