MSC 宏包使用注记
Notes on MSC Package
RbStreem: streem语言的玩具级实现,或,面向管道编程的研究
RbStreem: a toy implementation of streem lang, or, on the study of so-called pipe-oriented programming
在 Mac OSX 系统中使用 FFMPEG 为影片添加硬字幕
Hardcoding subtitles using ffmpeg in OSX
那些超前时代的安全理念
Software Security Ideas ahead of Their Time
经典语录
Classic Quote
武装你的 MIT-Scheme
Armored Your MIT-Scheme
渐进类型是什么?
What is Gradual Typing?
魂断不动点——Y组合子的前世今生
All About Y Combinator
Learning-SICP 趣题 #4. 解析代数表达式为S-表达式
Learning-SICP Quiz #4. Parsing Algebra Expression to S-Expression
Learning-SICP 趣题 #3*. 美观输出扩展的简单代数表达式
Learning SICP Quiz #3*. Extend Simple Algebra Expression Pretty-Print
Learning-SICP-趣题 #3. 美观输出简单代数表达式
Learning-SICP Quiz #3. Simple Algebra Expression Pretty-Print
Learning-SICP 趣题 #2. 解题报告
Learning-SICP Quiz #2. Solution Report
Learning-SICP 趣题 #2. 高阶过程
Learning SICP Quiz #2. Higher Order Procedure
William Clinger:符号程序设计语言解释器的优化
William Clinger - Compiler Optimization for Symbolic Languages
Learning-SICP 趣题 #1. 解题报告
Learning-SICP Quiz #1. Solution Report
Learning-SICP 趣题 #1. 用Scheme实现装饰器和记忆化技术
Learning-SICP Quiz #1. Implement Decorator and Memoization In Scheme