Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
bsrkf | Better HN
bsrkf
46 karma
Joined April 21, 2025
15 submissions
Recent submissions
1
IEEE robot videos (video Friday)
(opens in new tab)
(spectrum.ieee.org)
1
bsrkf
3mo ago
0
Save
2
RustyDL: A Program Logic for Rust
(opens in new tab)
(arxiv.org)
arXiv
3
bsrkf
3mo ago
0
Save
