Huahai's blog

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

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

Introduction Continue reading »

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. Continue reading »

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. Continue reading »

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! Continue reading »

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

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

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

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

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