Skip to content
Better HN
Top
New
Best
Ask
Show
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
2mo ago
0
2
RustyDL: A Program Logic for Rust
(opens in new tab)
(arxiv.org)
3
bsrkf
2mo ago
0
