wazHFsRy

Recent Submissions

1. 1. ▲ Show HN: Fly a nano-drone from your terminal (Rust TUI) (github.com) 2 points · 9 days ago · 0 comments
2. 2. ▲ Verifying Rust Programs (github.com) 1 point · 3 months ago · 0 comments
3. 3. ▲ The Usefulness of AI Agents (erikjohannes.no) 1 point · 3 months ago · 1 comment
4. 4. ▲ Formal Verification in Any Language for Everybody (lean 4) (dev-log.me) 14 points · 3 months ago · 4 comments
5. 5. ▲ Visualisation of the Artemis Mission (German) (zeit.de) 2 points · 3 months ago · 1 comment
6. 6. ▲ Resilience in the Age of AI (halfanhour.blogspot.com) 1 point · 3 months ago · 0 comments