Rochus Karma 3,712 Created 7 years ago About see http://rochus-keller.ch Recent Submissions 1. ▲ Why Rust solves a Problem we no longer have – use AI and Formal Proofs instead (rochuskeller.substack.com) 7 points · 3 days ago · 7 comments All submissions on HN · View profile on HN