Chun Tian (binghe)

Common Lisp programmer

[Chun Tian (binghe) @binghe_lisp]

Mechanising Böhm Trees and λη-Completeness https://t.co/8SD1jXSLWW

[Chun Tian (binghe) @binghe_lisp]

@Warmrightear @tinyfool 其实也不太便宜：“一本古腾堡圣经在当时的售价大约相当于一个普通职员三年的工资，远比手抄圣经便宜。而手抄圣经一般要花费一年的时间制作。” （维基百科）

[Chun Tian (binghe) @binghe_lisp]

@cloudwu 你们自家的游戏呢？

[Chun Tian (binghe) @binghe_lisp]

@jingwangnet Livejournal: https://t.co/2BZdf646fb

[Chun Tian (binghe) @binghe_lisp]

@cloudwu 问题是小妹妹真的懂得 “（背后）打小报告” 和 “（当场）揭穿他人的谎话” 之间的区别么？

[Chun Tian (binghe) @binghe_lisp]

@cloudwu 回想当年你带我去攀岩馆那次，我的腿一直在抖……

[Chun Tian (binghe) @binghe_lisp]

@cloudwu @xicilion 其实这就是两个臭棋篓子在下五子棋

[Chun Tian (binghe) @binghe_lisp]

@syeerzy @Fenng 我还在用 6 呢

[Chun Tian (binghe) @binghe_lisp]

@cloudwu @MiaBleem 还有改进的空间：B 要去南京自杀，A 去看望 B，然后俩人和 B 的其他朋友们一起跨了个年。

[Chun Tian (binghe) @binghe_lisp]

@svetlyak40wt I ever ran into the interactive Lisp debugger (a new command-line window pops up) when something goes wrong and inside the debugger I do can call any new API function (while Acrobat itself is hanging there). I guess it’s possible to start a debugging server instead.

[Chun Tian (binghe) @binghe_lisp]

Sample Acrobat Pro plug-in written in Common Lisp

[Chun Tian (binghe) @binghe_lisp]

@svetlyak40wt Yes. But technically speaking, on macOS, I build a Mach-O bundle instead of a shared library (they are two slightly different things).

[Chun Tian (binghe) @binghe_lisp]

Source code: https://t.co/wg5a6nrteN

[Chun Tian (binghe) @binghe_lisp]

I’m working on a plugin tool for writing Acrobat Pro plugins in Common Lisp (LispWorks). So far so good.

[Chun Tian (binghe) @binghe_lisp]

@cloudwu 那如果直接用 hash 表保存 id 到数组位置的映射呢？不存在的 id 映射到一个比如 -1 上。每次更新数组时也得顺便更新这个 hash 表，这样就不存在什么二分查找了，id 查询时成功和失败的时间复杂度是一样的。

[Chun Tian (binghe) @binghe_lisp]

@435Hz 东北三省位居人口增长率倒数前三

[Chun Tian (binghe) @binghe_lisp]

FM-PLUGIN-TOOLS - A toolkit for FileMaker plug-in development in Common Lisp, back to life after 12 years. So is the regular expression plugin written in it. https://t.co/GjfR5rFStD

[Chun Tian (binghe) @binghe_lisp]

@nixzhu Ubuntu 早期推广靠钱砸，后来就是靠实力了——虽然我更喜欢 Debian 但实际安装在桌面物理��上的系统是 Ubuntu，因为需要各种驱动程序。

[Chun Tian (binghe) @binghe_lisp]

@williamlong 囚童案应该立刻、马上枪毙，二审都是对法律的亵渎。

[Chun Tian (binghe) @binghe_lisp]

@cherylnatsu 还有 “形式化方法”