bsrkf Karma 46 Created 11 months ago Recent Submissions 1. ▲ IEEE robot videos (video Friday) (spectrum.ieee.org) 1 point · 23 days ago · 0 comments 2. ▲ RustyDL: A Program Logic for Rust (arxiv.org) 3 points · 25 days ago · 0 comments All submissions on HN · View profile on HN