www.ctrt.net > 王垠

王垠

1.这段 40 多行代码是给 Scheme 程序脱糖的程序,属于解释器的代码,而不是应用代码。对其的客观评价显然只有设计解释器的人才能给出。 2.这代码不是一般人看的,本身他用的语言就是极客向的语言,而且这搞的又是很专业的东西,主要是与解释器相...

《完全用Linux 工作》《写给支持和反对的人们》《Cornell 感受》《对博士学位说永别》《谈“P=NP?”》《面向对象编程和函数式编程的问题出在哪里》《程序员的心理疾卜

出国了(我记得是cornell?),后来又写了篇帖子表示了对其所在国外实验室深深的失望。这人理想中的科研是十八十九世纪贵族的科研,与当今科研民工的现实完全脱节。所以出国前国外留学生界也普遍不看好他,结果真的如此。

学霸的定义我分为两类:一类比如@白如冰——正宗学霸。第二类是 @曾博(虽然考败来浙,但后来进入世界级名校成功洗白) 再比如@王垠(本科三流川大,但后...

那谁知道你啊

一般评职称需要考计算机。 但是符合下列条件之一者,可免全国专业技术人员计算机应用能力考试: (一)具有计算机专业中专毕业及以上学历的人员; (二)获得硕士学位,初次认定中级专业技术职务任职资格的人员; (三)获得博士学位的人员

匿名用户 扯了一半天,cs的黑数学,数学的黑cs,有卵用?有意思? 根本问题是,数学的本质是符号或者记号么?并不是,符号规范不规范根本和数学无关。甚至计算机语言优美不优美,也跟计算机无关,大不了编译器麻烦一点,最后不还是变成0101么。...

1997年,考入四川大学计算机系97级。2001年,保送清华大学计算机系软件所硕博连读,主要进行集成电路布线算法的研究。2003年发表《完全用Linux 工作》、《写给支持和反对的人们》,痛陈windows弊端、宣扬linux。2004年8月,发表网络文摘《完全用...

读过他的不少blog。我倒是蛮理解他的思维方式:一个人如果追求“不妥协地求真”,追求“真诚地对待自己”并且厌恶虚伪的话倒是确实会和他的做法相近。也许可以称之为“完美主义者中的行动派”。我蛮欣赏他的感觉这个人才华还是有的,但是太自以为是。...

曾经和王垠有过邮件往来,也一直在关注他的博客。跟他肯定不能算熟悉。这里根据有限的认知来发表一下看法。 我们的当时争论在于Scala的无参函数可以省略括号的设计是否合理。 他认为函数就是函数,值就是值,不应该为了少打几个字破坏了一致性而...

网站地图

All rights reserved Powered by www.ctrt.net

copyright ©right 2010-2021。
www.ctrt.net内容来自网络,如有侵犯请联系客服。zhit325@qq.com