寱语

喜欢 Windows Mobile 操作系统的一个重要原因就是可以使用的 GPS 软件很丰富。很长一段时间在 HD2 上使用的主要导航软件是 iGO 8。虽然 Garmin XT ，TomTom和 CoPilot 8 Live 等软件也不错并且各有长处（譬如Garmin XT可以使用 Google Search 已经下载实时的交通状况，CoPilot 有 TTS），但是从开车的易用性上讲还是和 iGO无法相比，所以从还在用 Touch Pro 的时候起，iGO 就是导航的首选，但是运行在 HD2 上的时候， iGO 8 却出现了一个不可思议的 bug：Text to Speech (TTS）无法使用。

以 HD2 的硬件配置， TTS 应该不是一个大问题，但是在 Touch Pro 上就可以流畅运行的 TTS 到了 HD2 上却非常不稳定，虽然在重启手机特别是停止 Sense UI 以后 TTS 可以正常使用一段时间，但是为了 TTS 而不断的重启手机，或者放弃 Sense ，抑或是使用一些功能比较弱的 rom 还是很不方便。

需要输入大量的数学公式和证明的时候，Lyx 绝对是惯于使用 LaTex 写文章的人必不可少的帮手。不说别的，就是单单是括号的 \left \right 就能把人累死，更不要提输入复杂的等式了。其实就是输入一些简单的算式，Lyx 也要便捷很多，譬如 x/y， 在 LaTex 下你不得不输入 \frac{x}{y} ，一共十一次敲击键盘，但是 Lyx 中使用 sciword 的 keybinding（就是使用 Scientific Workplace 和 Scientific Word 的快捷键），只需要 ctrl+f, x, down,  y，只需要四次敲击键盘，还有譬如麻烦的希腊字母，LaTex 里 \alpha 六次，Lyx 里 ctrl+g, a 两次 ，并且所见即所得的编辑方式还是会省一些力气（至少你不会等到编译的时候才发现 \alpha 拼成了\elpha），而当你不得不用 LaTex 的地方，Lyx 也可以方便的插入 LaTex 源码，甚至套用 LaTex 和 Lyx 也不会有问题，譬如你可以用 \resizebox{} 来调整 Lyx 里表格的大小。

但是稳定版 Lyx （版本 1.x ）有一个比较不方便的地方，就是拼写检查。虽然它支持全文拼写检查，但是 Lyx 并不支持连续拼写检查——也就是像 Word 一样在你书写的时候同时进行拼写检查，如果有错误的单词，就用红色曲线标出 —— 这应该是文本编辑软件一个必要的功能。这样的不便之处显而易见，当你完成了全文在进行拼写检查的时候，很多拼错的单词会让你自己一头雾水，因为根本想不起来原本要拼的是什么单词了。

Kindle DX 2.5 升级的新闻都已经变为了旧闻，可是传说的自动升级还是没有光顾我的 Kindle DX （US版），不知道是不是因为我装了汉化 hack 的缘故。前两天搜索了手动升级程序，但是发现网上可以下载的只有 2.3.2 到 2.5 的程序，而我现在 Kindle 固件的版本是 2.3.3。又等了这几日，总算发现了从 2.3.3 升级到 2.5 的程序。这次亚马逊直接跳过 2.4 的版本号，而发布2.5，足见这次升级的“革命性”，其实也确实如此，这次升级包括：

1. 支持分类：通过 collection 来整理你的电子书籍——以前 Kindle DX 被诟病最多的缺陷，海量的文献如果不能分类，查找起来太麻烦；
2. PDF 支持缩放拖动：这项功能那个对于阅读专业期刊实在是帮助很大 —— Kindle DX 总算在竞争对手的压力下，改进对 PDF 的支持了；
3. 密码保护：——对我用处不大，基本不看秘密读物；
4. 更多的字体以及更好的清晰度：增加了两款大字体，改善了显示的清晰度；
5. Facebook 和 Twitter 支持：——用处不大，看书这么私人的事情，为什么要贴在 facebook 上；
6. Popular Highlights：还是在增强 kindle 的社区功能，对我也没什么太大用处，

升级主要是为了支持分类和PDF。这里是几个升级文件的下载点： Read more »

天天和各种程序的编辑器打交道，有一个恶习，就是苛求编辑器的颜色搭配和字体。譬如用 Lyx 编辑 Tex 文档之前，会不断的去修改它的 preferences 里的各项颜色设定（路径在 "Documents and Settings\Username\Application Data\Lyx"），以便使用习惯的配色。

也是因为配色的缘故，我舍弃了 WinEdt，舍弃了 Tinn-R，舍弃了 Visual Studio 去使用 Sublime Text 编辑 Tex，R，或者是 VB，VC++；也是因为不支持 TT 字体（并且界面太丑），舍弃了 Texnicenter —— 当然，从功能上讲，Sublime Text 并不算强大，譬如对 LaTex 的支持远不如 WinEdt 或者 Texnicenter，以至于编译复杂的 LaTex 文档时 （譬如使用 pstricks package 画图，必须使用 LaTex –> DVIPS->PS2PDF 的时候），就不得不先在 Sublime Text 里面编辑好，然后用 WinEdt 或者 Texnicenter 来编译，因为 Sublime Text 只支持简单的 PDFLatex （顺便感慨一下世界如此之小， Sublime Text 的 LaTex 插件的开发者，竟然是我的微观经济学老师 。）

其实与其说喜欢 Sublime Text，倒不如说喜欢 Monokai 这款颜色搭配（如上图），不仅纯粹从视觉效果上来说，这样的灰底彩色搭配更容易减缓视觉疲劳（现在绝对不用白底黑字，看一个小时以后，眼睛肯定要花），并且这个色彩的名字跟我很有缘分（迷信！），所以在无可替代的时候，譬如 Lyx，譬如 Maple，就只好改这些程序的 style 设定了，好在现在一般的程序都支持客制化。为了方便，特提取了 Monokai 所包含 11 种颜色的 Hex 码如下，方便使用。

要搁在战国，我肯定是那个买椟还珠的郑人：“楚人有卖其珠于郑者，为木兰之柜，薰以桂、椒，缀以珠玉，饰以玫瑰，辑以翠羽。郑人买其椟而还其珠。”：）

之所以忠诚于 Windows Mobile 系统，很大程度是因为 XDA 的那些神奇的厨师们。如果手机不能自己炒菜（cook），自己刷 Rom，那玩手机的乐趣就减了一半。但是刷 rom 有风险，不小心手机就成板砖，今天就遇到了一次。

手机用 USB 线连电脑，正在刷新 rom 的时候，一不留神，蛋花跳上了桌子，她一边伸着懒腰，一边踩着猫步施施然的走到电脑屏幕前，举起毛茸茸的前爪，一巴掌摁在我的键盘上，正好摁住电脑的休眠键，电脑进入待机状态，手机的操作系统刚升级了 20%，戛然而止。赶走惹祸的蛋花，重新唤醒电脑，出现 USB 通讯错误，升级程序被中断，提示“恢复”操作：把手机断开，取出电池，然后再把电池放回去，开机，进入三色 boot 屏幕，然后连接电脑，如果顺利，手机将再次被电脑识别，可以重新升级，但是不幸的是，我重新连接电脑后，电脑提出出错：无法识别的 USB 设备。

重复了几次，都无法让电脑识别升级失败的手机，换了电脑，换了USB口，都毫无反应，真成了板砖。虽然以前没有遇到过这样的问题，但是想到了从 Miscro SD 升级，这样就不用经过电脑了。找了一张没用的 Micro SD 卡（我才发现我竟然有这么多没用的各种储存卡），格式化为 FAT32 （很重要），然后把需要升级的 Rom image 拷贝到 Micro SD 卡的根目录，把*.nbh名字重命名为LEOIMG.nbh，然后把储存卡塞回手机，启动，进入引导界面，选择安装新的 OS，自动开始安装，很快就完成了。板砖又变回了手机。

当然幸运的是这次出错是在升级的过程中（如果足够的幸运，升级即使出错也可以重新直接来过，而不会出现电脑无法识别USB设备错误），所以仍然可以用 Micro SD 卡引导。如果手机砖得更彻底一些，连储存卡安装都不行，那就只能用 MTTY 了，但是这种方法风险很大，运气不好的话，会彻底的伤害手机，所以要慎重。

所以，一根栓猫的绳子，有时候可以挽救一部手机。

收到 Maple 的电子邮件，Maple 14 上市了，不知道新的版本会有多大的更新，希望很快能就能拿到来测试一下。Maple 是我使用频率最高的数学软件之一，几乎所有的 paper 都是先在 Maple 里演算并且简要写完，然后再在 LaTex 里完工。事实上，写 paper 最 enjoy 的就是在 Maple 中尝试各种新的想法，满足自己的好奇心，真的到了需要把 paper 彻底完成、在 LaTex 里编译出来时，却觉得无比的枯燥，因为最新奇的部分已经结束，而一点点的写 paper 的过程就像吃自己嚼过的馒头 ，毫无新意…… 当然从客观而不是情绪的角度讲，写的部分却是最重要的。

不过 Maple 这样的工具也让人变得越来越笨了，譬如用惯了 dsolve()，结果现在手算解微分方程的水平大大的降低，同样的因为 diff(), int(), limit()，彻底的把常用的微分、积分和极限公式忘到九霄云外； Statistics package 大大简化了涉及随机变量的符号运算，特别是复杂的 conditional probability 和 expectation 的计算，但结果是在某次的 talk 里，我想举一个简单的贝叶斯更新的例子，但是卡在那里半天算不出 conditional on  signal 的 expectation。

呵呵，依赖工具对于人脑来说，不知道是进步还是退步；不过念 Ph.D. 确实会造成 permanent head damage，这点是肯定的。

P.S. Office 2010 RTM 也出来了，从订阅的 MSDN 那里得到了注册码和下载链接。用了几天，最直观的感觉就是比 beta 版更漂亮了，其它的新功能，唯一值得一提的是 OneNote 总算支持数学符号输入了，并且还能作简单计算。

用过不少 Windows Mobile 的手机，但是很长时间以来汉化使用都是：CE-Star GBK 和 微软雅黑 6.0 这个组合。 CE-Star GBK 是从 CE-Star 中提取出来的汉化程序，微软雅黑 6.0 是字体文件。但是这个组合也有很多不便之处：首先， CE-Star 的汉化虽然稳定彻底，但是文件的尺寸太大，里面仍然包含了一个没有太大用处的中文输入法和宋体（UniSun）字体，其次就是微软雅黑在 Winodws Mobile 上的显示并不是特别的好看（特别是和 iPhone 使用的中文字体相比），所以最近改变了一下，改用：BlueFairy Chinese Support (no font) + Anakie LiHei Rendered By with GDI++ 这个组合——堪称用过的做好的汉化方案。

首先， 因为没有字体库，BlueFairy Chinese Support 的size非常小，并且也很稳定；其次， Anakie LiHei 用的就是 iPhone 上的丽黑中文字体，并且是用 GDI++ 渲染的，比 ClearType 渲染的微软雅黑效果好很多（同时也推荐在 Windows 电脑上用 GDI 渲染字体，非常漂亮），譬如左上图中日期的显示，如果用 ClearType 雅黑，“星”字的几条横道很容易就叠在一起了。下面是其他一些截屏的画面：

和 LD 逛街，正好 iPad 今天上市，顺便转进一间苹果专卖店，因为是下午，人不算多，但是 iPad 的展示柜台前还是熙熙攘攘，突显的 iPhone, Mac Pro 等桌面空空荡荡。虽然店里有十几台 iPad，但是因为想把玩一下的人太多，还是需要排队才能玩得到，因为对 iPad 也不是特别的感兴趣，所以就没去排队，只是近距离的大概看了一下，做工不错，也很轻薄，就是边框有些宽，整体感觉就是一个放大的 iPod Touch。大致看了 iPad 的阅读功能，LCD 背光还是刺眼的亮，作为阅读器，觉得还是不如 Kindle DX 好；作为平板电脑，因为无法运行多任务，恐怕功能也实在有限；当做媒体播放器不错，不过苹果支持的视频格式实在有限，肯定不会支持 RMVB，如此一来，恐怕还不如一个200块以下的 Netbook 实在。实在想不出 iPad 的卖点是什么，唯一让人赞叹的是苹果铺天盖地的广告，出了苹果店到隔壁的 B&N 书店逛了一下，消费电子类的杂志几乎全部长篇累牍的报道 iPad，就连 Digital Arts 这样的杂志，也有 iPad 的专题（在 iPad 上作 CG 设计？）。呵呵，不知道 iPad 的销售量会怎样，实在感觉不出有什么革命性的变化。

其实就是一张照片：

下午和LD在植物园照的，阳光充足的时候，HD2的拍照效果还能接受，但是仍然不如入门级的 DC 效果好，色彩还是有些失真；HD2 的闪光灯设计比起 Touch Pro 来要进步一些，Touch Pro 需要先把 LED 灯像探照灯一样打开，然后再摁快门，HD2 的 LED灯是在摁下快门时自动激发的。在闪光灯的辅助下，拍摄黑暗中的远距离的物体还可以，如果是近距离的物体，很容易花成一片。所以觉得 HD2 的五百万像素的相机功能只是一个噱头，虽然图片的分辨率增大了，但是受限于 cmos 的镜头，效果仍然只是一般，唯一好玩的地方就是可以和 GPS 配合使用，使照片上带有 geotagging，这样照片除了有时间记录，同时也会有地理位置记录，一些流行的相片管理工具譬如Picasa 3.6 已经支持照片的 geotagging，所以以后再浏览相片，同时也可以在地图上看到精确的拍摄地点，大概“记录感”会更强。

通过相互推荐，早已经达到了 5G 的免费上限，可是就在刚才，突然蹦出一个通知气球，说我的 dropbox 空间增加到了 5.8G，又多出了 0.8G ，奇怪，查了 Dropbox 的 blog，并没有什么新闻更新，不知道为什么又慷慨了一下。不管怎样， Dropbox 已经成了学习研究不可缺少的工具，如果让我给出一个 web 2.0 工具的ranking，Dropbox无疑是 top 5，它彻底解决了多电脑，多操作系统之间文件同步的问题，使得家与办公室的界限不在清晰（这到底是好事儿还是坏事儿。。。），再次推荐一下。