thomaslee

Karma: 175
Created: 16 years ago

About

http://tomlee.co

Recent Submissions

1. ▲ Spin model checker open sourced under 3-clause BSD (spinroot.com) 2 points · 9 years ago · 0 comments
2. ▲ A More Detailed Tour of the Rust Compiler (tomlee.co) 3 points · 11 years ago · 0 comments

All submissions on HN · View profile on HN