nwah1 Karma 4,455 Created 11 years ago Recent Submissions 1. ▲ Ask HN: Why isn't Proof-Carrying Code more popular? 1 point · 1 month ago · 0 comments All submissions on HN · View profile on HN