趣物

需要输入大量的数学公式和证明的时候，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 一样在你书写的时候同时进行拼写检查，如果有错误的单词，就用红色曲线标出 —— 这应该是文本编辑软件一个必要的功能。这样的不便之处显而易见，当你完成了全文在进行拼写检查的时候，很多拼错的单词会让你自己一头雾水，因为根本想不起来原本要拼的是什么单词了。

还好，Lyx 2.0 的开发计划里宣布支持连续拼写检查。Lyx 2.0 α 3 大约一周多前发布，使用了一周多，没有发现任何严重的问题，已经算是比较稳定可以用于实用了吧，所以推荐一下，Windows 下可执行文件可以从这里下载。

拼写检查有时候可能会误报，但是总的来说，还是很方便的，可以及时的更正尴尬的拼写错误。

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。这里是几个升级文件的下载点：

http://www.megaupload.com/?d=QZFOX1Y6
http://www.mediafire.com/?avdrz5jl55m
http://jump.fm/YWHWS
http://rapidshare.com/files/38700238...00057.bin.html
http://hotfile.com/dl/42762475/8d824...00057.bin.html

来源是 mobileread 的这篇帖子。如果曾经汉化过，既得先卸载你的汉化 hack，另外， 2.5 似乎还没有可用的汉化，所以升级以前做好失去汉语的准备。

P.S. 刚才试了一下 PDF 放大的功能，由于缺乏快捷键，觉得使用起来还是受限制。

天天和各种程序的编辑器打交道，有一个恶习，就是苛求编辑器的颜色搭配和字体。譬如用 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 雅黑，“星”字的几条横道很容易就叠在一起了。下面是其他一些截屏的画面：

上图显示了 Sense 2.5 的汉化，所有曲目无论繁体简体均可显示，并且文字效果很好。（btw，刘若英的这张新专辑不怎么样，最好听的是一首老歌《同桌的你》，但是刘若英没有改歌词，所以听起来很奇怪，因为原唱是男的，老狼唱：“谁为你作嫁衣” 无妨，但是刘若英唱同样的歌词，就有些怪了。）

上图是目录的显示，目录的汉化也正常，没有出现乱码。

上图和下图是在电子书阅览器器里显示的结果，常用中文软件的中文菜单显示也没有丝毫问题。并且文字的显示效果要优于雅黑。

但事实上网络里流传的 Anakie LiHei   并不能直接汉化我用的 Rom（Energy Cookie HomeTab April 17版），因为 Energy rom 把系统的默认显示字体映射更改为 Calibri 了，而 Anakie LiHei 并没有考虑到这点，它 cab 包里只是对常用字体作了映射，所以我重新修改 Anakie LiHei 的安装文件，添加对对于 Calibri 字体的更换，所以现在显示没有任何的问题了。如果你使用别的 rom 发现文件目录下游汉字显示为方框，也很可能是同样的原因。

下面是上文提到的汉化文件和字体的下载，其中的 Anakie Lihei 是我修改过后的，因此如果你也是 Energy Rom 的粉丝，就可以省些时间了。这个汉化解决应该通用于各种 Windows Mobile 手机。

• BlueFairy Chinese Support (no font)
• Anakie LiHei Rendered By with GDI++

和 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，它彻底解决了多电脑，多操作系统之间文件同步的问题，使得家与办公室的界限不在清晰（这到底是好事儿还是坏事儿。。。），再次推荐一下。

正值 Apple 起诉宏达电（HTC）侵犯专利之际，卖掉了用了一年多的 HTC Touch Pro，换了 HTC 的 HD2，用实际行动支持这家台湾的手机制造商。

在 HD2 和 iPhone 3GS 之间踌躇了很久，最终还是选择了不支持美国 3G的 HD2 （具体说是不支持 AT &T 3G），因为没有 Contract，想什么时候出手，就可以转手卖掉，特别是 Windows Mobile 7 即将上市，而 HD2 是否支持 WM 7 的仍是未知数。

简单的说一下 HD2 的优缺点：最大的缺点不得不说是 Windows Mobile 6.5，在刷了无数种 rom 之后，选择了潘多拉，这是最稳定的一个，以前在 Touch Pro 上中意的 Energy Rom的 HD2版本很不稳定，接电话的时候会死机；但是 Windows Mobile 6.5 毕竟不是给电阻屏的手机设计的，所以在没有触笔而只能用手指操作触屏的时候，WM 6.5 的问题就凸现出来了，特别是关闭窗口，或者是拖动滚动条的时候；

而 WM 6.5 也是 HD2 的优点之一，因为无数的已有 WM 程序都可以很好的运行，包括 GSP 软件，譬如 Garmin XT 和 iGo 8。最推荐的还是 iGo 8，在HD2 4.3寸屏 480x800 分辨率下性能显得更为卓越，TTS 仍然可以使用，并且没有 GPS Lag，现在想来，Touch Pro 上 iGO 8 的  lag 很可能是机器造成的。同时 HD2 锁定卫星的速度极其之快，不亚于 iPhone 3GS。冷启动，10秒以内肯定能锁定卫星，这种快速的反应也使得 HTC 的 footprint 和 twitter tab 有了实际的用途，记得用 TP 的时候，在时代广场想要留个足迹，都已经走到朵颐了，卫星都还没有锁定。。。

当然 HD2 最大的优点还是 4.3 寸的屏幕，超薄的机身，以及 1 GHz Qualcomm Snapdragon 的 CPU，记得我在大学里用的笔记本主频也不到 1G，所以不管是上网浏览速度，还是 GPS 导航，以及运行各种各样的程序，都速度飞快。

最后想到的一个不便利之处是 HD2 的 reset button，使用 WM 的同好都知道，WM的死机如同 Win 98 一样频繁， Touch Pro 的 reset button 就在手机的外部，需要重启一捅就可以了，而HD2的 reset button 必须把后盖扣开才能找到，更郁闷的是 HD2 已经不配备触笔了，而 reset button 仍然是像以往一样是凹陷下去的，如果正还走在马路上手机死机了，想重启一下都万难，刚拿到 HD2 的时候，因为不停的刷 rom，手机很不稳定，结果在车里 GPS 运行到一半手机死掉了，不得不停车到处去借曲别针。。。