Recent Posts

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