DARPA project for automated translation from C to Rust (2024) (darpa.mil)
113 points by alhazraed 8 hours ago | 148 comments
31113 points by alhazraed 8 hours ago | 148 comments
31122 points by pr337h4m 11 hours ago | 65 comments
324 points by stevefan1999 3 days ago | 0 comments
33131 points by Bender 9 hours ago | 144 comments
3494 points by robszumski 12 hours ago | 17 comments
3539 points by LeoPanthera 3 days ago | 18 comments
3656 points by crescit_eundo 4 days ago | 10 comments
37112 points by guyb3 15 hours ago | 35 comments
389 points by stefanpie 3 days ago | 1 comment
39124 points by hhthrowaway1230 4 days ago | 122 comments
4026 points by rascul 8 hours ago | 26 comments
4187 points by adunk 10 hours ago | 4 comments
426 points by aaavl2821 2 hours ago | 2 comments
4376 points by welovebunnies 16 hours ago | 7 comments
44129 points by oldfuture a day ago | 34 comments
4576 points by bertwagner 16 hours ago | 16 comments
46323 points by mugamuga 21 hours ago | 319 comments
4787 points by nbstme 12 hours ago | 73 comments
4846 points by pseudolus 4 days ago | 93 comments
49856 points by skilled 2 days ago | 852 comments
50119 points by ayf a day ago | 22 comments
51266 points by todsacerdoti 20 hours ago | 186 comments
52156 points by tomaskafka 16 hours ago | 105 comments
5396 points by prossercj 12 hours ago | 115 comments
54126 points by ohjeez 4 days ago | 59 comments
5548 points by flowsynx 19 hours ago | 13 comments
56372 points by GalaxySnail a day ago | 98 comments
5715 points by rossant 9 hours ago | 2 comments
58142 points by mustaphah 15 hours ago | 149 comments
59260 points by toomuchtodo 12 hours ago | 219 comments
60