公理体系的世界 | First Principle

· by · in

写程序的人都很清楚，当程序越来越大，功能越来越多，可能出现的漏洞就会越来越多。 我们的世界内容如此丰富，功能如此之多。可是为什么我们没有发现很多的漏洞呢？ 长程相关: The Far Future of Us 怀旧的四月 孩童的宇宙 最近很满意

我们的宇宙可能由闭宇宙演化为开宇宙么？[第一节]

· by · in

目录： 我们的宇宙可能由闭宇宙演化为开宇宙么？[第一节] 我们的宇宙可能由闭宇宙演化为开宇宙么？[第二节] 我们的宇宙可能由闭宇宙演化为开宇宙么？[第三节] 我们的宇宙可能由闭宇宙演化为开宇宙么？[小结] 这是一个系列栏目，我们将对一个初步问题逐步剖析，给出解释并不断引出新的问题。 准备知识： Q：什么是开宇宙？什么是闭宇宙？ A：选取球坐标：\({t,r,\theta,\phi}\)。给定一个FRW度规： \begin{equation} \left( \begin{array}{cccc} -1 & 0 & 0 & 0 \\ 0 & \frac{a[t]^2}{1-r^2 k} & 0 & 0 \\ 0 & 0 & r^2 a[t]^2 & 0 \\ 0 &…

寒江雪、诀别诗、月光 与 C++、XML、JSON

· by · in

今天介绍三首歌：寒江雪、诀别诗和月光。同时介绍三种语言，一种是真正的程序语言，另外两种是标记语言。 注意，文中仅仅是示意，很多地方的使用是不严格的。 下面介绍寒江雪。对应的语言是C++。 长程相关: 美丽的TeX： texample.net | txt2tags.org | S5 Google+ Vs C++ | 对象的遗产 RSS出问题了 豆瓣阿尔法城地图 | 关于阿花城的一些小事

云输入法

· by · in

搜狗云输入刚刚出来的时候，我用过一段时间，但是用起来非常头疼，别的都好，就是响应非常慢。 今天测试了QQ云输入和搜狗云输入，发现虽然QQ的准确率和纠错能力（主要是纠错能力）要差得多，可是响应速度确实极其快，使用的时候跟本地的输入法基本没什么区别。但是这么久了，搜狗还是一如既往的慢。 长程相关: RSS出问题了 换身皮 Google +1 写html很累

我的成长日记

· by · in

偶然看到百度有个成长日记活动，就顺手参加了一下。结果就生成了这样一篇文章： 长程相关: GRE报名 百篇纪念 Bang！ 寻找新的未来

一周总结[2011-07-18][非物理部分]

· by · in

网络： 为组里更新了网站。稍微动了下旧版，发现很多table，所以我就打算重写。 当然不能从头开始，就随便找了一个框架进行改动。 第一步先砍掉不必要的东西，剩下支架，这时候原作者的东西基本没有了。 第二部，根据现有框架从新设计网站的版面。由于最近比较流行单页面的网站，所以我就打算写一个单页面的。 长程相关: 怀旧的四月 Google +1 最近很满意 iAstro及其他

CMBEASY使用笔记

· by · in

一、在Ubuntu中安装CMBEASY 先到cmbeasy.org下载相应的code。 准备以下环境： 1. cmake （一般使用cmake，如果自己写makefile，那么可以不用cmake，但是cmake要省力多了。） 2. gsl 3. cfitsio 长程相关: 工作进展（2011-12-18） GADGET-2安装 宇宙各成分之间关系 | Tikz和PGF CosPer : Cosmological Perturbation Theory Package (Mathematica)

豆瓣开始使用Mathjax

· by · in

在我离开豆瓣之前，曾经多次写建议到豆瓣的邮箱说可以添加\(\TeX\)支持，然后举了各种例子说mathjax的好处，并且建议豆瓣可以让比较专业的小组，比如物理组数学组申请TeX支持。但是从来没有得到回复。 今天刚刚发现，原来豆瓣在豆瓣读书笔记添加了mathjax. 长程相关: 美丽的TeX： texample.net | txt2tags.org | S5 写html很累 Google +1 Online Html+Mathjax Editor