Programming Deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
RustViz: a tool that generates interactive visualizations from simple Rust programs to assist users in better understanding the Rust Lifetime and Borrowing mechanism
https://github.com/rustviz/rustviz
🔥5🙏1
🦄4🥴3💊1
Practical Security in Production: Hardening the C++ Standard Library at massive scale
https://queue.acm.org/detail.cfm?id=3773097
🔥1
Fil-C: achieves memory safety for C and C++ code by transforming all unsafe operations in LLVM IR into code that does dynamic checking to catch all violations of Fil-C’s rules
https://fil-c.org/how
🔥8😢5🙏1
hotos-ffi.pdf
471 KB
“Rewrite it in Rust” Considered Harmful?
https://goto.ucsd.edu/~rjhala/hotos-ffi.pdf
👍6