Comment on DARPA: Translating All C to Rust (TRACTOR)

<- View Parent
asdfasdfasdf@lemmy.world ⁨3⁩ ⁨months⁩ ago

AFAIK you can get around this by using raw pointers / unsafe blocks in Rust, then have a human target those to rewrite it in a safe, structured way.

source
Sort:hotnewtop