- 关于“芝加哥机器”，在庞加莱的时代，芝加哥是以机械设备制造和肉类加工闻名的，估计和这有点关系。以前看过个芝加哥黑帮的电影，里面有个帮会就叫Chicago Machine。 另，大概由于德国人爱吃香肠，英语香肠 （sausage）还用来贬称德国佬，不知道当时怎样、法语怎样，或身为法国人的庞加莱了不了解……展开全文
希尔伯特的形式主义只重形式不论含义，对此庞加莱有一个“不怀好意”的比喻，说那样的话数学家仿佛是一端输入肥猪，另一端输出火腿和香肠的机器（他称之为“芝加哥机器”，不知典出何处），只不过换成以前提为输入，定理为输出而已，他们不必比机器更知道自己在干什么——BTW，这是在计算机问世之前。展开全文
- M-R法理论上就简单了，就是人们早已熟知的费马小定理。第一个P-确定性素性检测算法是2002 ICM上发表的AKS，当时很轰动，因为之前普遍认为素性检测应该是NP的。不过AKS虽然是P，N却很大，所以目前工程应用还是M-R的天下。//@sorcerers: Deterministic Miller–Rabin algorithm的正确性是基于广义黎曼猜想展开全文
【数学的奇妙八卦】前两天跟一个老同学聊近年来数学上的重大发现，结果作为科普人的我说着说着就发现，数学史原来就是一部八卦史。这个圈子奇葩辈出，怪事叠显……
- 原来昨天是Richard Stallman六十大寿，readwrite.com上有人分享了几段GNU之父、Free Software God的视频：http://t.cn/zYdutKh（草上飞亲）。Happy Birthday, rms!
- Renew again。有感于github.com墙内版得而复失。==> //@我: 发现关于Flame的讨论挺多的，前两天刚看见MS打破惯例推了一个紧急补丁。不过说实话，以俺政治上不那么正确的一点粗浅认识，证书攻击事实上根本无法防止。尤其在“我们这儿”。renew旧帖以为证。展开全文
刚发了条微博说根证书的问题，提到如果装了不可信的根证书，那和给自己电脑安个后门也没啥区别。发完后总感觉有哪儿不对劲，这感觉持续了几分钟，有点回过神来了，立刻查看笔记本上的证书状况，果然，自己就是在坑里的那个。
- http://t.cn/zWNN4jI，全手工Assembly打造PE/PDF/JAR/Py/HTML合体，Cool！Bypass些弱智AV再好不过。当然，如果已用上了Windows 8，PE还得再打磨下，真得承认，安全，MS一直在努力：http://t.cn/zWOLSVK。想起了大牛ElicZ当年的EXE/SYS合体。余亦能高咏，斯人不可闻呀……展开全文
- 整理旅行包发现个从成都带回来的桔子，味道不错，模样却不招待见。当初一进酒店房间就见它和一只苹果、一根香蕉躺在案几上托盘里。光线原因，乍看仿似坏的，便没理会。夜间街上晃悠，见路边小摊成堆的在卖，才明白这是一个品种特有的外观。忘了打听名称，还要请教下@CDP2000 ……
- 刚发了条微博说根证书的问题，提到如果装了不可信的根证书，那和给自己电脑安个后门也没啥区别。发完后总感觉有哪儿不对劲，这感觉持续了几分钟，有点回过神来了，立刻查看笔记本上的证书状况，果然，自己就是在坑里的那个。
- 娃哈哈，果然好词啊，好词。特遍查古书，觅得东坡先生原篇如下，与君共赏。（注：少儿不宜，请慎点“查看大图”，以免受精神污染。切勿谓言之不预也！）//@沈醉2011： 莫听穿林大爷声,何妨淫笑且徐行,哈哈哈哈
- 回复@ghhardy1877: 洪退选了，难道被你说中了？//@ghhardy1877： 理性的社会环境里这种抹黑很容易甄别。如果洪的选情因此受负面影响，说明老美对天朝的恐惧，已经超出之前因经济竞争而对日本产生的敌意，而接近苏联当年在政治军事方面给整整一代人带来的阴影。
【对手竞选广告激怒洪博培】共和党总统选战参选人、前驻华大使洪博培周五表示不满竞争对手支持者拍摄的一个竞选广告。这个广告拿洪博培的养女杨乐意大做文章。洪博培在广告中全部用中文说话，其背景音乐播放的也是中国特色的悠扬笛声。广告称洪博培是一名“满洲候选人”。🔗 网页链接
- 牛人啊，20年的文学教授转学CS拿下系统方向最顶级的2大会议之一OSDI的最佳论文，还有Queen吉他手Brian在乐队解散后50多岁拿下天文学博士（话说还看过bang!，没注意到老人家）。不禁想起当年历史学博士德布罗意君投身物理，创立波动力学的壮举。相比之下钱伟长老大二从历史系转物理系不过尔尔啊。。。展开全文
偶然发现一励志奇人：计算机系统顶级会议之一OSDI 2010最佳论文奖得主Amittai Aviram。在当了20年文学教授之后，突然对计算机科学产生浓厚兴趣，于是从本科读起，现还在耶鲁读计算机博士。🔗 网页链接
