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