fa
Feedback
Programming Deadlock

Programming Deadlock

رفتن به کانال در Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

نمایش بیشتر
1 789
مشترکین
+424 ساعت
+117 روز
+4330 روز
آرشیو پست ها
hotos-ffi.pdf

Patterns for Defensive Programming in Rust https://corrode.dev/blog/defensive-programming/

C++20 concepts are structural: What, why, and how to change it? https://www.foonathan.net/2021/07/concepts-structural-nominal/

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

Practical Security in Production: Hardening the C++ Standard Library at massive scale https://queue.acm.org/detail.cfm?id=3773097

The BEAM Book: Understanding the Erlang Runtime System https://blog.stenmans.org/theBeamBook/

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

Porting Lean to the ESP32-C3 RISC-V microcontroller https://kuruczgy.com/blog/2024/07/31/lean-esp32/

A Friendly Tour of Process Memory on Linux https://www.0xkato.xyz/linux-process-memory

Control structures in programming languages: from goto to algebraic effects http://xavierleroy.org/control-structures/

C++ move semantics from scratch https://cbarrete.com/move-from-scratch.html