wazHFsRy

Recent Submissions

1. 1. ▲ Verifying Rust Programs (github.com) 1 point · 14 hours ago · 0 comments
2. 2. ▲ The Usefulness of AI Agents (erikjohannes.no) 1 point · 3 days ago · 1 comment
3. 3. ▲ Formal Verification in Any Language for Everybody (lean 4) (dev-log.me) 13 points · 3 days ago · 4 comments
4. 4. ▲ Visualisation of the Artemis Mission (German) (zeit.de) 2 points · 7 days ago · 1 comment
5. 5. ▲ Resilience in the Age of AI (halfanhour.blogspot.com) 1 point · 9 days ago · 0 comments