IT博客汇
  • 首页
  • 精华
  • 技术
  • 设计
  • 资讯
  • 扯淡
  • 权利声明
  • 登录 注册

    starling和kestrel这两只鸟的来由

    hongjiang发表于 2015-08-24 17:03:14
    love 0

    虽然SK组合子早有所闻,但这两个字母所代表的意思却一直不知道,原来是出自于《To Mock a Mockingbird and Other Logic Puzzles》这本书,作者用starling和kestrel这两只鸟来演绎哥德尔的证明。SK是这两只鸟的缩写,我是看到这篇Blog才了解到的。

    早先只知道starling和kestrel是twitter的消息中间件产品,原来产品名还有这个来由。



沪ICP备19023445号-2号
友情链接