killerstorm Karma 1,150 Created 18 years ago Recent Submissions 1. ▲ A connection between capability-based security and lambda calculus (killerstorm.github.io) 2 points · 1 month ago · 1 comment All submissions on HN · View profile on HN