Steven
@stevencartavia
🦀
ID: 2942745131
https://github.com/stevencartavia 26-12-2014 21:32:06
90 Tweet
269 Followers
420 Following
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