petra Karma 3,815 Created 10 years ago Recent Submissions 1. ▲ DARPA Backs Effort to Convert C to Rust (cs.wisc.edu) 2 points · 1 month ago · 1 comment 2. ▲ What if we could reason about the design space of data structures? (daslab.seas.harvard.edu) 1 point · 11 months ago · 0 comments All submissions on HN · View profile on HN