Programming Deadlock
1.46K subscribers
3 photos
103 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
C++ move semantics from scratch
https://cbarrete.com/move-from-scratch.html
😎2πŸ¦„1
Porting Lean to the ESP32-C3 RISC-V microcontroller
https://kuruczgy.com/blog/2024/07/31/lean-esp32/
πŸ”₯4🀯2😭1
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
The BEAM Book: Understanding the Erlang Runtime System
https://blog.stenmans.org/theBeamBook/
πŸ‘8πŸ—Ώ8🀯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
πŸ”₯6😒3πŸ™1