Steven
@stevencartavia
🦀
ID: 2942745131
https://github.com/stevencartavia 26-12-2014 21:32:06
90 Tweet
269 Takipçi
420 Takip Edilen
The Rust compiler is famous for being one of the safest compilers in the business. But how does it work behind the scenes? If you have a decent grasp of Rust, but maybe are a little fuzzy on how compilers work, we have just the video for you. Runtime Vеrification formal verification