bsrkf 46 karma 313d on HN HN profile →
Coverage
We've seen 2 of ~15 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 2
2 stories
1. IEEE robot videos (video Friday) (spectrum.ieee.org)
1 points by bsrkf 1 days ago | 0 comments | skipped
2. RustyDL: A Program Logic for Rust (arxiv.org)
3 points by bsrkf 3 days ago | 0 comments | skipped