最新 | 最热门 | 最高评价

+0  2011 当冬夜渐暖

pluskid 发于 1970年01月01日 08:00 | 点击: 398 | 展开摘要
按照惯例每年的总结还是用孙燕姿的一首歌作为标题吧,2011 年的总结写得有点太晚了,既然已经不再是寒冬了,那就用这首新歌《当冬夜渐暖》吧!

当冬夜渐暖 当大海也不再那么蓝
当月色的纯白变得阴暗
那只是代表快乐不再那么简单
当冬夜渐暖 当夏夜的树上不再有蝉
当回忆老去的痕迹斑斑
那只是因为悲伤从来 都不会有答案
当冬夜渐暖 当青春也都烟消云散
当美丽的故事都有遗憾
那只是习惯把爱当作喜欢
重要的是 我们如何 爱过那一段

要给个简洁的总结的话,2011 年大概至少有一半的时间

查看全文: http://www.udpwork.com/item/12092.html

+0  Jame’s Reading 09-10

IT牛人.119 发于 1970年01月01日 08:00 | 点击: 293 | 展开摘要
http://t.cn/z8wbRUs Reddit 系统扩展的经验与教训,1. 尽可能的自动化,2. 没必要一开始即构建可扩展的架构,3.不要在刚开始时构建SOA的架构,4.可扩展的关键是在用户感知到瓶颈之前解决掉扩展性的问题,5. 视SSD为便宜的内存,而不是昂贵的硬盘,6. 每种工具都有其对应的场景,合适的工具用在合适的地方.
http://t.cn/z8wheDy 可扩展性的问题. 从并发连接的角度阐释扩展性的概念, 对于单个请求时间很短, 但需要大量长连接的业务,

查看全文: http://www.udpwork.com/item/12091.html

+0  流程抽象的一个实例:Parser Expression Grammar

Typeof 发于 1970年01月01日 08:00 | 点击: 430 | 展开摘要
流程抽象是近年程序界的热门话题。随着匿名函数渐渐被大众接受,针对控制流的抽象已经不算稀奇玩意。我们很容易写出这样的小东西:

function iif(condition, consequent, alternate){
if(condition) return consequent()
else return alternate()
}

不过人们很少知道控制流抽象的真正威力。我下面要分析的就是控制流抽象领域一个很有意义的应用:Parser Expression Gra

查看全文: http://www.udpwork.com/item/12090.html

+0  现代魔法构成论:多变量不动点组合子

Typeof 发于 1970年01月01日 08:00 | 点击: 414 | 展开摘要
对函数式语言理论了解者很多都知道著名的不动点组合子:

Y = lambda f. ~ f ~ (Y ~ f)

使用它,我们可以定义递归函数:

fib rm = Y ~ (lambda f . ~ lambda x . ~ if rm ~ (x > 0) ~ (x times (f ~ (x - 1))) ~ (1))

当然你们也看到了,Y 组合子并不支持间接递归。但是这并不代表间接递归是不可实现的。考虑下面的式子:

odd rm_r = lambda x

查看全文: http://www.udpwork.com/item/12089.html

+0  现代魔法构成论:为什么函数对其参数反变

Typeof 发于 1970年01月01日 08:00 | 点击: 477 | 展开摘要
很多人都会觉得奇怪,为什么函数类型对其参数是反变的——换言之,为什么 Animal -> Animal 会是 Cat -> Animal 的子类型?

因为,这是一条公理。

是的,在形式化子类型的 F_{<:} 系统里,函数对参数反变,对返回值协变是一条公理。严格来说这是一条类型居留法则,定义是:

{Sigma rm vdash alpha' <: alpha quad Sigma rm vdash beta <: beta'

查看全文: http://www.udpwork.com/item/12060.html

+0  现代魔法构成论:多变量不动点组合子

Typeof 发于 1970年01月01日 08:00 | 点击: 507 | 展开摘要
对函数式语言理论了解者很多都知道著名的不动点组合子:

Y = lambda f. ~ f ~ (Y ~ f)Y = λf.  f (Y f)

使用它,我们可以定义递归函数:

fib rm = Y ~ (lambda f . ~ lambda x . ~ if rm ~ (x > 0) ~ (x times (f ~ (x - 1))) ~ (1))fib = Y (λf.  λx.  if (x > 0) (x × (f (x − 1))) (1))

当然你们也

查看全文: http://www.udpwork.com/item/12030.html

+0  现代魔法构成论:求值策略

Typeof 发于 1970年01月01日 08:00 | 点击: 489 | 展开摘要
Call by Value 和 Call by Name 的真正定义是什么呢?实际上是 Lambda 演算里的 betaβ 规约顺序。

考虑表达式 (lambda x . ~x^2)((lambda x . ~x + 1) ~ 2)(λx.  x{2})((λx.  x + 1) 2),按照 betaβ 规约的法则,有两种代换次序:

(lambda x . ~x^2)((lambda x . ~x + 1) ~ 2) -> ((lambda x . ~x + 1)

查看全文: http://www.udpwork.com/item/12025.html

+0  WiFi-Duino 使用小结

明城 发于 1970年01月01日 08:00 | 点击: 344 | 展开摘要
年前的时候曾经使用 Arduino 做过个环境检测的小工具 ,总体来说效果都还可以。

后来刚好在点名时间上看见了个名叫
WiFi-Duino 的项目,大体来讲它就是
Arduino + Wifi 模块的集成控制板,刚好合计了下控制板加上 Wifi 模块的价格其实也差不多,因此就尝试购买了块。

不过,从十二月份下单到三月份我几乎都快忘记了这个事情,因此在前几天收到个莫名的邮包感到些意外,打开以后发现原来是它。

前言

邮包里面的内容很简单,除了一个用塑料袋包装的 WiFi

查看全文: http://www.udpwork.com/item/12016.html

+0  流程抽象的一个实例:Parser Expression Grammar

Typeof 发于 1970年01月01日 08:00 | 点击: 939 | 展开摘要
流程抽象是近年程序界的热门话题。随着匿名函数渐渐被大众接受,针对控制流的抽象已经不算稀奇玩意。我们很容易写出这样的小东西:

function iif(condition, consequent, alternate){
if(condition) return consequent()
else return alternate()
}

不过人们很少知道控制流抽象的真正威力。我下面要分析的就是控制流抽象领域一个很有意义的应用:Parser Expression Gra

查看全文: http://www.udpwork.com/item/11999.html

+0  Eido 是什么

Typeof 发于 1970年01月01日 08:00 | 点击: 443 | 展开摘要
Eido 是……
我用来生成网站用的东西
Nodejs 实现的「长得像 TeX 的 lisp」
拥有完整「宏」功能,Markdown 与之相比就是渣
好吧详细点。Eido 是我设计的给 Moescript 生成文档用的语言,结果一不小心设计过头能力太强现在都能拿来给 typeof.net 生成全站的东西。它是一个宏语言,整体语法参考了 TeX(因为我想不出来什么更好的语法来让函数调用和文档正文混杂在一起),内核则是类似 Lisp 的解释器。其实 Lisp 的解释器是相当好写的

查看全文: http://www.udpwork.com/item/11986.html

+0  JavaScript 原理,其五

Typeof 发于 1970年01月01日 08:00 | 点击: 498 | 展开摘要
利用程序语言我们可以教会机器它们的任务。语法规定哪些句子是合法的,而机器应该做什么,就是形式语义规定的内容了。但是语义其实是个挺玄的东西,玄在两处,一是——能作为「语义」的东西真太 TM 多了。考虑下如下的「十进制数」语法:
Decimal → Digit
Decimal → Decimal Digit
Digit → 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
对于「十进制数」的「语义」是什么,我们可以说是它表达的整数值(这是各位最熟悉的语义

查看全文: http://www.udpwork.com/item/11985.html

+0  现代魔法构成论:为什么函数对其参数反变

Typeof 发于 1970年01月01日 08:00 | 点击: 452 | 展开摘要
很多人都会觉得奇怪,为什么函数类型对其参数是反变的——换言之,为什么 Animal -> Animal 会是 Cat -> Animal 的子类型?

因为,这是一条公理。

是的,在形式化子类型的 F_{<:}F{

查看全文: http://www.udpwork.com/item/11984.html
|<<<1207120812091210121112121213>>>| 一共1227页, 14719条记录