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
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πŸ‘4🀯1