时差已经调整完毕。

matrix 发表于 2008年6月13日 14时35分 星期五来自五次方程式部门 密歇根大学计算机科学家开发的一款开源软件(中文)，能将寻找复杂方程式中对称的时间，从数日缩减为数秒。找寻对称是一种能突显通往答案捷径的方法。例如，验证火车时刻表的安全性、确认软件与硬件设计中的臭虫，或着加速一般搜寻任务。 名为saucy（卤莽）的软件由研究人员在2004年开发出来，它能加速基础计算机科学问题的解法

source: http://science.solidot.org/article.pl?sid=08/06/06/062235 matrix 发表于 2008年6月06日 14时00分 星期五来自上帝算法部门 3月份我们曾报道，Tomas Rokick正在开发一个非常高效的方法研究魔方最少的还原步骤，他证明任何魔方都可以在25步内还原。现在根据Tomas Rokick个人主页的更新，他宣布任意

Foldit是由Bakerlab所在的华盛顿大学的生物化学系和计算机工程系联合开发的一款在线游戏，旨在利用人的解题能力来帮助科学家寻找蛋白质在现实中的折叠结构。 这里有我做的两个介绍视频： http://youtube.com/watch?v=UB3R5-NU5pc http://youtube.com/watch?v=FOwrz1tmGXA 然后有中文讨论帖： http://www.equn.c

matrix 发表于 2008年5月24日 21时28分 星期六   来自冷静观察部门 冷核聚变（Cold Fusion）是指在接近常温常压和相对简单的设备条件下发生核聚变反应。多个轻原子核被强行聚合形成一个重原子核，并伴随能量释放。1989年3月23 日南安普敦大学的Martin Fleischmann和犹太大学的Stanley Pons宣称成功进行了冷核聚变实验，引起轰动，但其他科学家却无法重