smosher_ Karma 191 Created 11 years ago Recent Submissions 1. ▲ “Propositions as Types” by Philip Wadler [video] (youtube.com) 2 points · 10 years ago · 0 comments 2. ▲ Specialize to reuse (inheritance-like patterns in Rust) (aturon.github.io) 2 points · 10 years ago · 0 comments All submissions on HN · View profile on HN