Programming Deadlock
1.49K subscribers
3 photos
107 files
1.2K 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🔥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😢51🙏1
hotos-ffi.pdf
471 KB
“Rewrite it in Rust” Considered Harmful?
https://goto.ucsd.edu/~rjhala/hotos-ffi.pdf
👍10
C++ Standard Evolution Viewer: interactive way to explore changes in the C++ standard by viewing side-by-side diffs of individual sections
https://cppevo.dev/
🔥2🗿2👀1🦄1
🤯6💯4🥴3👍1
MinCaml.pdf
157.8 KB
MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language
https://esumii.github.io/min-caml/paper.pdf
🔥21