pwnkit：pkexec 本地提权漏洞介绍（CVE-2021-4034）
Introduce pwnkit: Local Privilege Escalation in polkit's pkexec (CVE-2021-4043)
Copilot：宇宙第一 Stack Overflow 初体验
GitHub Copilot is so cool and crazy
《小“阴谋家”》注记之CPS变换
The after reading of The Little Schemer Book (I) -- CPS Transformation
编译Rust是NP困难的
Compiling Rust is NP-hard
Parser与Tokenizer实战：解密一段“诡异”的Python代码
Demistify a wired Python code using tokenzier and astpretty package
Rust蓝队须知：“内存安全”到底是什么？
Blue Team Rust: What is "Memory Safety", really?
静态分析中的“可靠性”指什么？
What is soundness in static analysis
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