node.js ... 完全没前途的东西嘛

#10 楼 @knwang transcript 怎么 pull?

transifex ?

#2 楼 @lostleaf 你以为他是 Prolog 那它就是 Prolog

不需要复杂的数据分析啊，像这样就可以了吧

know(A, B):
    user(A),
    user(B),
    follow(A, B),
    follow(B, A).

mightknow(A, B):
    not(know(A, B)),
    know(A, C),
    know(B, C).

完全看不懂啊

#35 楼 @jasl 都穷举了，怎么还不是证明啊 ...

#31 楼 @jasl

像 api 的设计，是种很感性的“品味”问题，这种东西数学很难去证明啊

API 设计还品味，API 能用得起来就很不错了好不好

被迫用穷举法来找出比卡马克给出魔术更优的解

你怎么知道卡马克不是类似穷举的？

#13 楼 @quakewang 老板你好

#27 楼 @jasl 卫星啊，卫星 Bug 就 Bug 了，报废就报废了，大天朝现在完全可以再射一枚火箭把卫星打下来的...而且，一般卫星上的电路都有 n 份备份，怕什么

你知道，高铁会...，但地铁也会，这就很危险了

#28 楼 @jasl 我是说和反对只有充分设计和对代码进行形式化证明才能说明系统和代码可用矛盾

#22 楼 @jasl

只有充分设计和对代码进行形式化证明才能说明系统和代码可用

+1

我还是认为大学的各种理论课还是非常有价值而且应该学好

你这不是自己和自己矛盾么

没有 transcript 就是耍流氓...

XMPP Link-Local

当年也很烂吧

#8 楼 @luikore 还没来得及用过 Datalog ...

至少 DES，有两种模式，一种是后端用 SQL 数据库，一种是直接就用 Prolog 的。可以生成 SQL，但是，不是所有查询都可以用一句 SQL 搞定

http://en.wikipedia.org/wiki/Datalog

其实性能真不是问题，目测有太多地方不需要性能的地方，其实用 Datalog 会更好，现在都没什么人用。我感觉，Datalog 应该和正则表达式差不多流行才是正常的

#2 楼 @quakewang

SQL 其实是这个星球上最动态，最灵活，最快速，最强大的语言...

...Datalog 的子集

Spam Filter-垃圾邮件陷阱： 也被称为“蜜罐”， Spam Trap-钓鱼邮件： 钓鱼邮件指利用伪装的电邮

哭了

30.1M 的 PDF，哭了

因为个人感觉有道德问题受煎熬，三个月后项目终止。

为啥？美丽说、蘑菇街这类的不都是这样的？

#2 楼 @luikore 用 C 写的代码就被坑了啊

/home/deployer

try turn off javascript and/or css

english is ok

@luikore Python 的unicode讲的不对

2.x      vs  3.x
str      ->  byte
unicode  ->  str

unicode是编译器一个选项决定是 UCS2 或者 UCS4 或者其他的

Python3.3 开始unicode内部实现是个坑爹的新存法。简单的理解可以认为

• 假如一个unicode里面所有字符都能只用一个字节表示，那么就只用一个字节
• 假如一个unicode里面所有字符都能只用两个字节表示，那么就只用两个字节
• 用四个字节

#41 楼 @xds2000 就业形势肯定是越来越不好的，无论短期还是长期，其实摩尔定律的意思是，你的所有现在学会的技能每 12 个月都会贬值一半...

#39 楼 @waterwood 对啊，PHM 就是这么认为的

#4 楼 @jasl 写程序的怎么可以有妹子

特别是 Perl 都有组织了，赶紧加入 PerlMonks 吧

http://www.perlmonks.org

LDAP 哭了

#30 楼 @xds2000 我就要用你家的 rhcloud...