- Spin model checker open sourced under 3-clause BSD
by thomaslee on 1/2/16, 2:32 AM, with comments
- A More Detailed Tour of the Rust Compiler
by thomaslee on 4/4/14, 7:29 AM, with comments
- 3(+1) things I learned by writing chimp’s garbage collector
by thomaslee on 1/15/13, 3:50 AM, with comments
- The Chimp Programming Language
by thomaslee on 12/17/12, 4:42 PM, with comments
- Managed & owned boxes in the Rust programming language
by thomaslee on 12/5/12, 5:00 PM, with comments
- You're Doing It Wrong (And That's Okay)
by thomaslee on 11/27/12, 4:42 PM, with comments
- [RubyConf 2012] Rapid Programming Language Prototypes with Ruby and Racc
by thomaslee on 11/26/12, 4:52 PM, with comments
- Coding Standards: Consistency is King
by thomaslee on 11/23/12, 7:22 PM, with comments
- Calling printf(…) via the LLVM C++ API
by thomaslee on 11/19/12, 4:52 PM, with comments
- Patching Pidgin: itch-scratching with Pidgin's D-Bus API
by thomaslee on 11/19/12, 4:39 PM, with comments