虽然刷机已经很熟练了，但是有些命令并没有背下来，为了以后查找方便，决定写一篇日志，把要点记录下。

刷机刷的是 rom，但任何 rom 都有自己对应的 SPL 和 Radio，如果 rom 和 SPL 以及 Radio 不对应，那么是无法进入系统的，因此刷机的第一步是升级/降级 SPL 和 Radio。

这里略过 AndroidSDK 和驱动的安装问题。将要刷的 rom 拷进 sd 卡，在关机的情况下，同时按住电源和后退键，进入 fastboot 模式，然后将手机用数据线连接至电脑，接着要在电脑上输入如下命令行：

fastboot flash radio Radio_HTC_PVT_32A_6.35.10.18.img
fastboot flash hboot hboot-1.76.2007.img
fastboot flash recovery recovery-RA-hero-v1.5.2.img
fastboot erase system -w
fastboot reboot-bootloader

其中，可以将上面的命令替换成自己想刷的 Radio，hboot 和 recovery 的文件名。

到此为止，刷好了 SPL，Radio 和 recovery，可以刷 rom 了。但是有的时候，想刷的 rom 对应的是低版本的 SPL 和 Radio，这就需要降级。

我自己的理解是，在升级 SPL 和 Radio 时，是先刷 Radio 再刷 SPL，所以降级时先降 SPL 再降 Radio。

fastboot flash hboot xxxx.img
fastboot flash radio xxxx.img
fastboot erase system -w
fastboot erase boot
fastboot erase recovery
fastboot flash recovery xxxx.img

下面是关机，然后同时按住房子键和开关键，等到出现第一屏时松手，手机会进入 recovery 模式，wipe 之后就可以刷 rom 了。

今天帮 NickyYe 同学在 inter.it 上买队服的时候, 不知道怎么说起域名续费的问题, 然后说到 name.com 续费时比 godaddy.com 便宜, 我萌生了转到 name.com 的想法. 看了一下网站, 域名转入要6.99美元, 一开始我们都以为除了这6.99美元, 还要自己再付一年的年费, 但我觉得既然 name.com 每年续费比 godaddy 便宜不到2美元, 那持续几年, 这6.99也就回来了, 所以决定转.

回家后开动, 从 godaddy 索取验证码, 在 name.com 申请转入, 然后再到 godaddy 同意转出... 一系列手续不到1小时完成了, 域名成功转到 name.com 名下. 更让我惊喜的是, 域名自动延长了一年, 也就是说, 我以6.99美元完成了一年的续费加转出. 因为把域名转入 godaddy 也是6.99美元, 顿时就想, 岂不是每年续费的时候转一次就可以了? 比直接续费便宜. 但感觉不会有这么好的空子给钻, 如果有监管的跟踪, 说我恶意转换域名商, 那就不好玩了. 既然 name.com 便宜, 还是安心用吧.

真是又到一年续费时啊, 虚拟主机还有一段时间要续费了, 然后 flickr 的 pro 帐户也要续费... 都是美元啊...

我发现自从我升级到 Snow Leopard 并且在跟随官方数次安装更新包的过程中, bug 不断: 先是年前电池突然挂掉, 使用电池供电时每到90%电脑就断电; 然后是开机时 PPPOE 自动连接; 接着是开机一段时间后, F8-F11 几个特别好用的快捷键就会没反应, 导致 Expose 或者 Spaces 无法呼出...

但是昨天, 在写论文写到无聊的情况下, 不知是什么超自然力促使我拔掉了笔记本电源, 接着我惊奇的发现电量跌过90%以后, 屏幕仍然十分争气的亮着, 查看系统状态, 电池的健康程度居然变回了 Normal (而不是之前的 Check Battery). 怀揣一颗紧张的心, 我一直将电池用到低电量, 平安无事. 我打算从现在开始每个月校正一次电池, 还是原装的好, 工包电池在外观上实在不符合完美主义的作风.

若要校正電池：

步驟 1

插入 MagSafe 電源轉換器來將您的 MacBook 或 MacBook Pro 電池完全充滿電，此時 MagSafe 插頭上的燈光變成錄色，並且選單列的上的“電池”圖像顯示電池完全充滿。

步驟 2

讓電池維持在完全充滿電的狀態兩個小時或更長。只要電源轉換器還處於插電狀態，您可以在這段時間使用電腦。

步驟 3

將電源轉換器的接線從電腦拔下，並且開始使用電池的電力操作電腦。當電池電量低的時候，您會在螢幕上看見低電量的警告對話框。

步驟 4

繼續讓電腦保持開啟直到進入睡眠狀態為止。當電池電量降低但還未進入睡眠狀態時，儲存您的工作進度並關閉所有應用程式。

步驟 5

關閉電腦或讓它睡眠五個小時或更久。

步驟 6

重新接上電源轉換器，然後保持連接狀態直到電池完全充滿為止。在這段時間，您可以使用電腦。

我想要达到的效果是这样: 当鼠标悬停在链接上时, 会跳出一个有透明感的气泡. 见如下的例子,

Hover over me

当然除此以外还可以实现其它效果, 详细的可见插件主页.

如何安装插件?

1, 在这个页面下载了插件以后上传到服务器;

2, 在 header 里添加如下几行(具体应根据上传位置的不同进行调整):

<script type="text/javascript" src="/jquery-1.4.1.js"></script>  
<link rel="stylesheet" href="/stylesheets/tipsy.css" type="text/css" />  
<script type="text/javascript" src="/javascripts/jquery.tipsy.js"></script>

第一行的意思是调用 jQuery; 第二行设置动态效果的 css; 第三行则是调用实现此效果的插件: tipsy;

3, 在 body 当中添加如下代码:

<script type='text/javascript'>  
$(function() { $('#example').tipsy(); });  
</script>

这是定义链接的 id;

4, 最后就是按如下方式编写链接:

<a id="example" href="http://ichentao.com/blog/" title="Hello World">主页</a>

说说 homezz 相比梦游的好处: 对我来说, 我最看重的是一些插件又可以正常使用了. 比如 twitter tools, easy latex, 没错, 甚至还有 WP Thread Comment. 前两者的原因比较清楚, 因为 twitter 和 wordpress.com 被贵国封为"优秀境外网站", 所以国内的主机无法访问, 导致我的 twitter 帐号没法被检测, 以及无法通过 wordpress.com 的 latex 服务器生成数学公式; WP Thread Comment 的问题比较蹊跷, 曾几何时, 我也是可以正常使用这个插件邮件通知留言者新回复的, 但不知怎么, 去年秋天开始突然无法正常发送邮件, 无奈只好改用 mail to commenter, 这种情况下, 留言者就无法自主选择是否接受邮件通知了. 现在搬到 homezz, 我又测试了一下 WP Thread Comment, 已经可以完好使用了.

另外, 从技术参数上来说, homezz 的功能也比梦游强大: 空间大小, 月流量的限制都更宽, 而且支持梦游所不具备的 cgi 等功能, 这意味着, 我可以自己搭建一个 latex 服务器. 当然, 如果我不安分的话, 我可以悄悄搭建 twitter api.

六十大兽快到了, 气氛也比较和谐, 像 iWildChild 同学的 blog 就被和谐了, 所以我挺胆战心惊的, 发帖注意关键词, 不过相信大家还是能看懂的.

最后, 我要再次重申: 上帝已死!

另补: 因为没有迁移 sk2 有关的数据库, 所以这几天留言时总有各种各样的问题存在, 现已把反垃圾评论插件更换成 akismet.

买了 MacBook 以后的一个惊喜大概是系统升级非常容易: 想当初机器里还是预装的 Tiger, 当 Leopard 出来时, 我很担心从网上下载 dmg 镜像后的序列号问题. 谁知道 Apple 根本不像微软那样在安装系统时要求用户输入序列号, 没错, 乔布斯的确要求用户购买新系统的安装盘, 但是他不阻止你下载光盘镜像自行刻盘安装系统.

现在网上疯传 Snow Leopard Build 10A432 就是即将进厂压盘的 Golden Master 版, 所以我终于忍不住出手了. 安装速度果然大幅提高; 外观改变不大, 默认的 wallpaper 虽然还是极光与恒星, 但与 Leopard 有了不同; 系统所占的空间比起 Leopard 减少了一半; 因为手上这台 MacBook 的 EFI 是32位, 所以没法开启64位内核, 但核心软件用64位编写还是让人感觉运行速度快了不少. 此外, 还有一项重要更新是 Bootcamp 升级到3.0, 在 Windows 系统下已经可以直接打开修改 Mac 系统所在的分区.

总之, 不管 10A432 是不是最终版, 最多等到9月9日, 全新的 Snow Leopard 就将上市了.

半夜起来看了尤文 vs 国米，赛季踢到这份上，已经无欲无求了，所以除了尤文队员踢人让我恼火之外。其它的进球，丢球，漏判点球都不足以让我太过激动。

巴洛特利进球后手指胸前的意大利国旗，好像在说，我们是意大利最强的球队。

虽然最终令人惋惜的踢平，但每个国米人的心情都是轻松的。

最近有一些与数学有关的电影，比如凯文史派西演的《21点》还有这部《The Oxford Murders》。《21点》看了一部分，感觉意思不大，讲一个记忆力很强的大学生。TOM个人感觉要好些，不去评价它的剧情，我感兴趣的是它想传达的思想。

这是部由小说改变的电影，原作者就是数学教授，所以出现了很多数学，物理和哲学上的概念，像海森堡测不准原理（这是我高中最着迷的一个定理啊，虽然当时看不懂，呵呵），毕达哥拉斯学派，蝴蝶效应等等。也许数学教授和学生间的日常对话出现这些元素并不奇怪，但是我仍然觉得放在剧中有时略显牵强，尽管作者也通过人物打圆场，但是如果能再自然些无疑就更优秀了。

影片开场是维特根斯坦在战场上冒着枪林弹雨写他的著作《逻辑哲学》，然后是引述这个故事的主人公Seldom的演讲，我最感兴趣的片段也就在这里。Seldom介绍了《逻辑哲学》，他说维特根斯坦运用数学逻辑进行推理，最终得出的结论是在数学之外，没有严格的逻辑存在，而除了逻辑这一条，我们人类又可以相信什么呢？因此哲学没落了，销声匿迹了，对于自己无法描述的东西，人类只能选择沉默。这里我要插一句话，维特根斯坦，或者Seldom得出这个结论真是正中我的下怀，很长时间以来我就不相信哲学了，所谓的哲学家们往往将所谓的哲学原理写的非常晦涩，阐述的过程也非常晦涩。我也试着读过一些，但是很难坚持10分钟以上，最好的情况是看到了几个精妙的句子，然后很快就不知所云，更别提很多作品写的乱七八糟，以至于合上书根本无法在头脑里留下任何印记。为什么“哲学家”要用这些复杂的语言？我不能理解，这些语言有时候隐藏的是很简单的道理，如果是这种情况，那么和数学就很相似，但是数学之所以看上去深奥难懂，那是为了保持其严密性而不得已的选择。哲学呢？写的如此晦涩是不是为了掩盖在逻辑上的漏洞，我妄下这个论断，也是带有我个人的好恶的，呵呵。

接下来，伊利亚伍德对Seldom提问了，他表达了他的看法，也是不同意维特根斯坦的看法。他认为自然界按照数学的法则运作，像斐波纳切数列，黄金分割数，甚至雪花当中都存在着数学结构。Seldom给出了精彩的反驳，他问伊利亚伍德能否说明为什么一个沉睡的癌细胞突然被激活并开始影响周围的健康细胞；能否解释蝴蝶效应，虽然我们知道蝴蝶扇一下翅膀会激起一次风暴，但是我们没办法把某一次风暴单独拿出来研究。人类总是举黄金分割数的例子来描述自然，那是因为人类了解它，但是对于癌细胞和风暴，人类根本不了解，不提及它们甚至是因为对它们感到恐惧。黄金分割数，斐波纳切数列有道理，但是与真相无关。这就是电影要表达的，仅仅用逻辑解释世界是不可能的，在数学世界以外，没有严密的逻辑，对人类来说，还有不可掌握的随机与偶然。

多么有力的开头，绝对可以紧紧的抓住观众，不过电影接下来的部分好与不好只能见仁见智了，无论如何，这是一部电影，它以表达和赚钱为目的，以此为逻辑，作为一个成品，它被投向观众，至于究竟谁说它好，谁说它不好，这是电影本身无法把握的，因为所谓艺术，很多时候本身就是偷懒，随便与偶然的。

这个latex插件基于MimeTex，大致原理是由代码从公用服务器调用图片显示公式，但是公用服务器不保险，随时有停用的可能，为了应对这种情况的发生，可以自己编译mimetex服务并上传到虚拟主机上，目前我还没有这样做，仍然使用公用服务器，如果哪一天停了再搞自己的mimetex服务。

为了庆祝实现这个梦寐以求的功能，呵呵，讲讲最近听到的一个消息。

系里的Sun Zhiwei教授在几年前（据说是几年前）提出了一个以他名字命名的猜想，这个猜想说的是除了216之外的整数都可以分解为一个三角数（所谓三角数就是形如的数）和一个素数的和，而且他最近好像在考察由这个猜想推出哥德巴赫猜想的可能性，虽然这种可能性还只是建立在对素数个数的估计上，anyway，能证明这个猜想的话也是可以让人狠狠的自我陶醉一番的，呵呵。不过，这个猜想看上去有些诡异，那个莫名其妙的216不知道是从哪里跳出来的，而且Terence Tao对这个猜想的评价是random，言下之意有点“随便乱猜”的意思。今后到底怎么发展，根本上说，还是要取决于自然的法则了。

吴志扬根据自己多年对几何的思考选出了人类历史上几何学发展的十件大事，并说明了为什么这十件事是重要的。

1. 毕达哥拉斯定理（勾股定理）：这个定理的诞生标志着人类有了方向的概念，向东走3步，再向南走4步，等于转一个角度走5步。吴教授说任何一个民族，如果不 能理解这个定理（是不是本民族发现的倒不重要）就不可能有真正的文明，中国人懂这个定理，埃及人也懂这个定理，否则他们造不出金字塔。

2. 阿基米德测球的体积。还有中国人也发现的一个定理，就是两个物体，无论形状是否相同，只要每个横截面的面积和高度都一样，那么它们的体积就相同。阿基米德很会计算物体的面积和体积，这是因为他当时已经会求一些简单的无穷级数了。

3. 笛卡尔的坐标系。从数学的角度来说，坐标系的发明使得几何问题可以代数化，由此推出了Galois理论，再进一步就是代数几何。同时，吴志扬还认为这是现代西方国家拥有高度文明并领先东方的基础。

4. Newton和Leibniz发明微积分，以及力学理论的建立，万有引力定律的发现。在这之前，人类虽然会计算诸如圆和矩形的面积，但对不规则的几何体则束手无策，微积分发明后，不规则的图形面积也可以计算了。

5. Gauss和Riemann的贡献。其实是从更深的层次来看待几何：Gauss Theorema Egregium（高斯优美定理）。吴教授说，在高斯之前，人类认为自己所处的空间毫无疑问是标准的3维欧氏空间，但是高斯告诉人们，这是不一定的，需要 计算才能知道。与之相关的一个原理就是：Gauss Curvature is intrinsic. 高斯和黎曼的工作是重大的进步，人类开始学会从外在和内在这两个不同的角度研究物体或空间的几何性质。再举一个例子就是，不要以为在球面上活动的蚂蚁只能 感受到平坦的二维世界，实际上球面的高斯曲率是内蕴的，因此无论是在三维空间中的人类还是球面上的蚂蚁都能感知（也许要通过计算）。

6. Poincare关于向平面和基本群的工作。之所以重要，是因为他告诉人们：从不同的观点看问题。比如想要研究一个空间的性质，那么就找一个简单的图形比 如单位圆，同胚到这个空间里，看看是什么样的。直接研究有困难，那么就采取间接的办法。物理学家研究粒子时，用中子撞击，看有什么反应，其实也是这个道 理。

7. Ricci关于张量分析的工作，其实是建立了弯曲空间上的微积分。

8. Einstein的广义相对论，吴志扬认为这个领域还非常广阔，虽然Einstein开创的这个理论很了不起，但是这么多年来，并没有太多重大的后续工作出现，他也勉励我们如果感兴趣，可以试试这一方向。

9. Cartan-Chern的工作。如果写微分几何方面的书，那么就一定要提到这两个人，这也是中华民族的骄傲。Cartan和Chern的工作告诉我们， 无论是做研究还是观察，正面进攻有难度，可以选择dual的角度，往往直接解决一个问题很困难，但对偶过去就很容易。

10. Mandelbrot的分形几何。这也是吴教授提到的唯一创立者还在世的重大工作。分形几何是一种不同scale的几何，放大一些看或者缩小一些看，都有相似的形状。这就带来一个问题，长江的边界到底在哪里？这就要看不同的人所选择的不同scale。

吴志扬教授一再声明这只是他个人的观点，也许不太高明，而且因为他所处的年代，选择的近期工作很多，再过100年做一个选择，选10件重大突破，也 许又是另一种情形。吴志扬教授还提出了他认为目前比较空白，可以大有作为的几个领域，除了之前说的广义相对论，随机概念和几何的关系；digital geometry也需要人们去研究。

因为演讲在座的大多是青年学生，吴教授不仅谈数学，也通过数学谈人生。他说：也许你去做一个很hard的问题，做出来就很容易出名，但是将来人们写 书的时候能不能写到你？就好比一个坑已经挖的很deep，下面很硬，你又向下挖了一点点，然后说自己是世界上做的最deep的人，但是在地面上的人能看到 你吗？所以，为什么不从地面开始，自己来挖一个坑呢，也许将来也可以和其它的坑一样deep。如果选择一条别人没走过的路，可能就发现了一座大山，但是肯 定也有迷失在山中的危险，这就牵涉到人生选择的问题，是选择一种easy life，还是和别人不一样的路？中大的学生，台大的学生，南大的学生都是华人中非常优秀的青年，应该有一些人有勇气去走不一样的路。