October, 2007

See for yourself. Be careful though, you don't want to hurt their precious eyes.

At 8:03pm, the kittens were feed with their main course (dry food) and dessert (can food and egg). I just finished cooking my own dinner, put the serving tray with my dinner to the coffee table, and was about to enjoy my meal while chatting with Huahai on my cell. It just seem to be a normal weekday night for me these days. Before I took the first bite, however, I heard some huge noise and everything inside the apartment started shaking violently along the building itself. The kittens who were wondering around me startled and quickly ran away.

娇娇姓名：娇娇

性别：小美女。

品种： 巧克力点的巴利猫（Balinese， chocolate-point）

姓名：唐唐

性别：小帅哥。

品种： 沙特尔猫(Chartreux, 法国的国猫喔：-))

The most environment friendly SUV - human powered!

昨天我的从中国来的访问学生说他的电脑中病毒了，然后很形象的给我合掌鞠躬，说，熊猫烧香。这个病毒我听说过，没想到在美国还有人中招，很吃惊。来美国以后，我很有一些年没被电脑病毒所困扰了。唯一的一次病毒事件，还是中了那个有名的‘爱情信’病毒。

人们一般说的逻辑指命题逻辑，它是理性思维的基本规则。比如以罗素为代表的数理哲学家就把逻辑看作数学的基础。命题逻辑的规则并不多，很多人心里都是知道一些大概的的，不过有人没有正式学过，有些地方不太清楚而已。这篇文章就简单扼要地说一说。更重要的是，本文要介绍现在一个新的进展，就是把概率论看作逻辑的扩展，把传统的亚里士多德的逻辑看成是概率论的特例。

Introduction

On my old Thinkpad X31, there is a nice little program called tpb that makes all Thinkpad hotkeys work on Linux. However, that project hasn't been updated for two years, and tpb does not work with the newer Thinkpad models. On my new X61, notably, the sound volume controls are broken: volume UP and volume Down keys produce the same effect - bring the volume to the half level. It seems that piece of hardware called nvram, on which tpb relies, now produces different values than older models. So, I have to ditch tpb.

Thinkpad X61 has an VGA output port, so it supports dual-head display. However, with the Intel GMA965 graphics chipset in X61, the thinkpad_acpi (used to be called ibm_acpi) kernel module does not seem to support switching on or off this VGA port any more. The traditionally used commands, such as "echo crt_enable > /proc/acpi/ibm/video", no longer work.
Fortunately, the xserver-xorg-video-intel display driver supports xrandr 1.2. extension in recent versions of Xorg X server. So we can use xrandr to dynamically switch on or off the external VGA display, and much more.

I got a brand new Thinkpad X61 laptop last Saturday. Unfortunately, the factory loaded Vista Home Basic was too bloated and ate up 700MB memory from a fresh boot without launching any application! If you know me, you know what I will do - remove Windows and load up Linux!

Some people may wonder why would anyone want to do this?

看看能坚持多久，呵呵。先把一些过去写的转过来吧。

有一天，海螺子在路上碰到了小爱和小刚。海螺子经常回答这两个小朋友的问题，和他们比较熟。

小刚抱怨说：海螺子叔叔，我有个问题。买买提信仰版上贴满了很多狗屁不通的信仰文章。好多我看都很荒唐啊，我回贴反驳，可是没人理我，这些人只是不停地贴这些东西，这是为什么啊？

小爱说：对呀。还有好多人使劲来找我谈天，好讨厌哦。

经常有人说现代科学不能解释人的思维活动，所以还需引入灵魂概念。当被问到具体什么问题现代科学解释不清，以至于灵魂都可以被当作不错的解释的时候，梦的问题就往往被列举出来了。这篇文章就试图把现代科学对梦的有关研究大致说说。