wazHFsRy | Dark Hacker News

1.	Verifying Rust Programs(github.com) 1 points by wazHFsRy 81 days ago \| 0 comments
2.	The Usefulness of AI Agents(erikjohannes.no) 1 points by wazHFsRy 84 days ago \| 1 comment
3.	Formal Verification in Any Language for Everybody (lean 4)(dev-log.me) 14 points by wazHFsRy 84 days ago \| 4 comments
4.	Visualisation of the Artemis Mission (German)(zeit.de) 2 points by wazHFsRy 88 days ago \| 1 comment
5.	Resilience in the Age of AI(halfanhour.blogspot.com) 1 points by wazHFsRy 90 days ago \| 0 comments