wazHFsRy | Dark Hacker News

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