atppp’s Blog

做一个花粉过敏后陷入死循环的人，日子真苦！

花粉过敏，hay fever，主要是由于空气里漂浮的花粉进入人体后，人体免疫系统排异反应过度所致。典型症状有：打喷嚏，流鼻涕，眼睛瘙痒等。

/**********

附送另一类死循环：

发信人: sls (cadillac), 信区: Joke
标  题: 同事死循环了
发信站: 水木社区 (Fri Mar 21 14:24:31 2008), 站内

去卫生间洗手，听见水龙头放水的声音就有xuxu的意思了，xuxu完又去洗手…

**********/

另外，hutuworm 同学发给我看 Twenty-Five Moves Suffice for Rubik’s Cube，解魔方最多只要 25 步（作者还号称正在研究 24 步是否可能）！这个结果太新了，不知道正确与否，不过最多只要 26 步是去年 ISSAC 大会上的报告，应该是靠铺的……还有，世界各地经常有各类奇奇怪怪的魔方比赛，牛人平均 11 秒就能搞出六面，想来我从小到大只能搞一面的，实在是太土了（不过两年前学了一套规则，现在勉强能按秘籍搞定六面）。

Knuth 在 1984 年发过一片研究厕纸问题的论文（The Toilet Paper Problem，后收入 Selected Papers on the Analysis of Algorithms）。在很多卫生间都可以看到如右图所示的双卷卫生纸架，以防一卷用完时出现尴尬情景。Knuth 研究的问题就是一卷用完时另一卷平均还剩几张的问题。他论文里写道：世界上有两种人，喜欢从大卷里用纸的和喜欢从小卷里用纸的；但是无论是谁，如果碰到两卷都用完了，那就有麻烦了！（很多人都说 Knuth 是因为自己碰到过这个事情所以才写了这篇文章）。Knuth 在 Mathematical Writing 第 31 页 15. Excerpts from class, October 30 提到发表这个论文时遇到的麻烦。杂志编辑对这个图灵奖得主的论文评价是“在我们杂志上讲笑话是危险的！”。Knuth 最后同意修改有粪便学双关含义的论文章节标题，但是论文题目死活不肯改了，因为 Knuth 号称已经用这个题目做过两次演讲。最后编辑只好说：Your toilet paper is accepted！

Knuth 推导出的结果如上图所示（憎恨数学者请跳过此段） 。n 是厕纸初始张数（张的含义是单个人 D.B. 后使用的厕纸数量），p 是大卷厕纸爱好者的比例，M_n(p) 为一卷用完时另一卷剩余的张数。结果很符合逻辑：如果 p 很小，大部分人都用小卷厕纸，最后剩下的一卷肯定很大；而大卷厕纸爱好者一旦占优（p > 50%），则最后很有可能出现两卷厕纸差不多一起用完的情形（M_n(p) 极小）。一个细节问题是这篇论文里面的 Catalan 数定义略有不同，论文里的 C_i 是通常定义下的 C_i-1。

Knuth 推导出公式之后感叹：When a formula turns out to be so simple, it must have a simple explanation. But the author hasn’t been able to think of any direct proof.（统计学里常见，很多时候确实可以找到简单方法）Knuth 一直很追求简单性，写 TAOCP 里很多算法都要斟酌词汇找到最有效的表达方法，不过在厕纸问题上却碰了个钉子，于是直接把郁闷的心情写进了论文。Knuth 在厕纸问题论文最后感谢：I wish to thank the architect of the computer science building at Stanford University for implicitly suggesting the problem… 大牛是不是都喜欢搞笑，想起诺贝尔物理学奖得主 Ramsey 大师在巨著 Molecular Beams 的参考书目里有一条是这样的：RAM50e N. F. Ramsey, private communications and lectures (1950)。囧，private communication 一般表示和别的大牛私人通信，他居然自己和自己私人通信……

Knuth 更多八卦可以看收入水木精华区的 helloooo 的文章。Knuth 中文名字是高德纳，我们一般叫他高老头，高老头非常可爱，几个月会出来讲个学（Computer Musings 有视频）。

上面这俩是啥？是新的厕纸设备，只有使用完第一卷时才能使用第二卷（图片来源）。这么看来，Knuth 那篇论文完全是在自娱自乐，有统计学上的价值却不能解决实际问题。现在新厕所都用上面这类新装置了，（啊，我终于回到我写这篇文章的起因了）不过上个月我上厕所，发现两卷居然都被人用光了！看来这种新装置也不靠铺。当时我身上一没手机二没女朋友照片三没人民币，连选择的条件都没有，只好等有老大爷进来求他给我送点纸。更奇怪的是，过去了两天居然还没有人装上新厕纸，资本主义的效率是不是就是这么低啊？看来我碰到的恐怕不是什么小概率事件，而是清洁工罢工了……

说到资本主义的低效率，我住的公寓楼地下室的垃圾箱要维护，这一维护，居然就维护了三个多月，搞得垃圾通道完全停用，门口的临时垃圾箱一到周末就会满出来。据说他们把垃圾箱拆开了才发现少零件……零件来了每天叮叮咚咚敲一会儿就收工了，晕啊，修个垃圾桶就能修三个月，这就是资本主义！

这篇文章思维好跳跃，我最近逻辑有点乱……

某人说，Blog 再不更新就长草了。我常常和某人说，Blog 就是有事写点，没事不用写。或者反过来也可以，有事忙了就不写，没事空了就写点。Blog 不是为了别人而写的，更不是为了留言和访问量而写的，Blog 是为了促进自己思考而写的。

这么一篇空洞无意义的文章实在是很浪费大家时间，于是我贴一张图吧。这是上周末在我阳台上拍的，定时每分钟一张，一共 29 张照片合成，动画速度是真实速度的一千倍。短短半个小时云行千里，请大家珍惜生命，远离博客，去看看大自然，哈哈。

技术信息：相机 Canon A570IS，使用 CHDK 脚本定时拍摄。土鳖低端相机也能用 Intervalometer，呵呵呵。

换夏令时啦！丢了一个小时。每年都要调两次时间，每次调时间，都会出点事。

（标题引自 chen3feng 留言）最早认识到夏令时的邪恶是多年前改夏令时那天我刚好赶早班飞机，人还在外地完全没想起来要调时间，幸好我临睡前突然想起来，需要再提早一个小时出发，后来到机场的时候只剩 20 分钟就起飞了，真是后怕……

早期不知道是 samba 还是 windows 有问题，总之调时间以后两边看共享目录的时间会差一小时。有一次我几 TB 的数据被自动重新同步了一次，真衰。

有人在 crontab 里放了两点半执行的命令，结果调夏令时那天事务流程完全乱掉…… crontab man page 专门在 BUGS 一节指出：

If you are in one of the 70-odd countries that observe Daylight Savings Time, jobs scheduled during the rollback or advance will be affected. In general, it is not a good idea to schedule jobs during this period.

因为有了一些教训，有同事写程序开始用 UTC 时间，这样就不会受到本地时间调整的影响。去年不知道哪个土鳖提出来把调夏令时的日子提前一个月，各类操作系统都需要更新过才能正确调整夏令时。有位同学没更新操作系统，看时间不对就直接把电脑时钟拨快了一个小时，结果反而那些先进的用 UTC 时间的程序出错了（因为没有调整时区，所以电脑的 UTC 时间就错了）……

sigh，到底是用本地时间，还是 UTC 时间写程序？

为什么要执行夏令时？？不是说夏令时不省能源反而费吗？？？

下面这个材料转载自 Guide to LaTeX（第四版 146 页 7.5.1 节）。如果你直接看第三列，可能会觉得有点别扭，但又不一定说的上来哪里别扭；事实上，别扭的是有些符号之间的水平间距不理想。而第二列则是微调过水平间距的，看起来比第三列好看一些。熟悉 LaTeX 的可以仔细看第一列里相应的水平间距微调命令（这材料很有名，很多 LaTeX 书里都有，如果你看见过不要说我 TOOOOOLD！）。举例来说，第一行根号 2 和后面那个 x 之间需要稍微有点空隙；如果不留空隙（如第三列所示） ，看起来就比较难看。

如果你没觉得第二列比第三列好看，甚至没看出来两列有什么不一样，这很正常，不要觉得自己有问题！即便是每年成千上万屁挨着地用 LaTeX 生产出来的博士论文里，也只有极少数专门美化了这个水平间距问题，而这里面德国人占了大多数。为什么德国人这么注重形式？我也不知道，可能和他们民族严谨的作风有关。事实上，上面那本葵花宝典 Guide to LaTeX 的作者 Helmut Kopka 和 Patrick W. Daly 就是俩德国人。

说起德国人的严谨，我倒也认识一位严谨的德国物理学家。他光是让别人设计个 FPGA，就要专门写一个 RFC。这可不是拿 RFC 做个标题而已，而是严格按照标准 RFC 格式和风格书写，并且写完了那个 XHTML Strict 文档他还专门去 W3C 通过了验证。他把这个 RFC 发给同事们，结果半个月过去还没有人理他。于是他召集开会，说我老早就 request for comments，你们怎么一点 comments 都没有？你想啊，这么一群笨蛋物理学家，有谁会知道他电子邮件标题里的缩写 RFC 就是要 comments 的意思啊。

该德国仁兄给实验组建了一个内部 wiki，服务器装的是 Debian。在那个 wiki 的某个小角落里，他写了一大段使用 Debian 的理由，其中的废话包括：我最爱 Debian；Debian stable 很 stable；我装的，当然我选！等等……是因为有人和他争论哪个 Linux 发行版好的无聊问题么？不，事实上，整个实验组只有他一个人懂 Linux……

是严谨？还是形式主义呢？

学校某个楼电梯里贴的讲座预告被人画了个猪头，于是系里发电子邮件通报批评，大意如下：

海报是非常严肃的！

乱涂乱画可不是闹着玩的！！

这是对演讲者的侮辱！！！

演讲者要是看到了会觉得很尴尬！！！！

每一张海报都凝结着心血！！！！！

制作海报的小蜜很生气，后果很严重！！！！！！

所谓“饱暖思淫欲”，有些民间非科研人士在吃饱了穿暖了的情况下就开始强奸科学，这种我们一般叫做民间科学（家），简称“民科”。前几天正在和老板开会，老板接到一个民科电话，唧唧歪歪了十多分钟。此人受教育程度良好，先前声称自己推翻了相对论，最近又有了新的发现希望和物理学家讨论。老板曾经收到此人十多页的《新相对论》手稿，里面没有一个公式！拜托，你可不要以为相对论只有在接近光速或者强引力场里面才能派上用场，光光对准 GPS 卫星上的原子钟，就需要考虑狭义和广义相对论的两种效应，如果没有公式来计算，GPS 的误差就不是几米了，而是几公里，飞机撞到塔台上你给负责啊……

关于民科的特点，我了解的不够全面，随便转载一篇文章里提到的六个特点：1. 选择性近视；2. 新名词极多，逻辑混乱；3. 受困于常识，又喜欢发表一些超越具体问题之上的议论；4. 常常夸大结论的意义，尤其喜欢表达爱国情怀；5. 常常把结论建立在未来的可能性上；6. 往往认为自己受到学阀的歧视和打压。可是有不少讨论民科的文章连现代民科是什么都没搞清楚，比方光明日报有篇科技时评，竟然把现代民科和瓦特、爱因斯坦混为一谈。瓦特、爱因斯坦那都是用正确的思想方法在钻研科学技术，只不过他们起初没有正式的学术职位；而现代民科呢？他们连基本的科学修养都没有，纸上画几个图就敢号称发明永动机了。光明日报这篇文章还说：“在自己感兴趣领域进行自由探索是每个公民的权利，这种探索不会给社会造成任何危害。”能没有危害么？我身边就有物理学家每年要和十多个民科长期作战，还得耐心，不能毁了学术界的公众形象；行骗十多年的“点水变油”，又耗费了多少国家资源，造成了何等恶劣的影响？

相比起来，TIME 杂志多年前的一篇文章对于民科现象的总结就很到位，摘要如下：

Cranks are an occupational hazard that every scientist eventually faces. Fortunately, these characters are usually easy to spot. If someone claims to have a grand theory that overturns centuries of scientific knowledge–especially when the theory spans unrelated fields like physics and biology and economics–the odds are good that he or she is a crank. If the author publishes not in a standard scientific journal but in a book for general readers, watch out. And if the book is issued by the author rather than a conventional publisher, the case is pretty much airtight.

atppp: 我刚才加了某人的mm gtalk
atppp: 然后她问我是谁
atppp: 我说我是某人的男朋友
atppp: 结果。。。。。。。。。。。她问。。。
atppp: 你一般是攻还是受
*helpChang。*unicef王阿草: ……
*helpChang。*unicef王阿草: 谁叫你号称自己是男朋友呢….
atppp: ….
*helpChang。*unicef王阿草: 我会问，你是1还是0…这样不那么尴尬。
atppp: 。。。。。。。。。。。。。！

同学们都很有才。