lambda lambda
最近的文章 · · · · · ·
有意思的老头
2009-06-17 00:00:00
查看原文
看到下面这篇文章，大名鼎鼎的Leslie Lamport写的。Lamport现在微软做并行分布式系统方面的理论研究。据说是一愤老头。还有传言说他因为太傲，拿不了图灵奖。
Should Your Specification Language Be Typed? (with Larry ...
Appetizer
2009-05-15 00:00:00
查看原文
一个启动工具栏，Appetizer，挺不错的，虽然可以在不同的桌面上跑多个实例，但是却不能注册同一个快捷键，真是矛盾啊。
类别：Software 查看评论
[Talk]Parametricity
2009-04-13 00:00:00
查看原文
google 技术讲座：
Advanced topics in programming languages: Parametric Polymorphism and the Girard-Reynolds Isomorphism
Phil Gossett
2007-4-18
http://video.google.com/videoplay?docid=-485125037242...
svn用户的git入门
2009-04-02 00:00:00
查看原文
确实不能再忽视git了，git已经成为最炙手可热的代码管理软件(SCM)。
以往都是bzr+svn来管理代码。最近试了试git，使用一段时间看看效果。
这里找到一篇针对svn用户的很好的git上手文章
Git - SVN Crash Course
...
CMU一个搞逻辑的，Jeremy Avigad
2009-03-13 00:00:00
查看原文
http://www.andrew.cmu.edu/user/avigad/
貌似不少好东东啊。
”abstract vs. concrete,
* finitary vs. infinitary,
* set-theoretic vs. constructive,
* conceptual vs. computational,
* structural v...
debian下安装open-vm模块
2009-03-03 00:00:00
查看原文
abstract :
在debian下编译安装模块非常简单，使用module-assistant这个工具，交互式界面。
background:
我的工作环境是网络服务器+本机wmware player上跑的debian。由于wmware中的时间可能与外界服务器不同步，导致...
禁止firefox窗口尺寸变化
2008-01-31 00:00:00
查看原文
about:config
dom.disable_window_move_resize = true
dom.disable_window_open_feature.resizable = true
类别：奇技淫巧 查看评论
黑心媒体
2008-01-12 00:00:00
查看原文
新浪独家策划，“中国最具争议的科学家徐荣祥”
http://blog.sina.com.cn/lm/z/xurongxiang/index.html
一直以为在博客上写评论是最挫，最天真的行为。这次实在忍不住了，tnnd。
狗屁记者，媒体，没良心。
...
删除微软拼音
2007-12-15 00:00:00
查看原文
方法转自g9的blog : http://blog.csdn.net/g9yuayon/archive/2007/12/15/1937704.aspx
“所以只好来硬的了，彻底删除微软拼音：
>regsvr32 /U Msimtf.dll
>Regsvr32 /U Msctf.dll
run -> regedit -> 删掉HKEY_CURRENT...
再推荐一个firefox插件 SearchWords
2007-11-21 00:00:00
查看原文
https://addons.mozilla.org/en-US/firefox/addon/4328
默认的搜索引擎框比较难用，特别是要手动切换。
使用searchwords插件，可以为每一个搜索引擎定义一个关键字
比如 google -> g baidu -> b googlebl...