Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 789
订阅者
+424 小时
+117 天
+4330 天
帖子存档
1 790
C++20 concepts are structural: What, why, and how to change it?
https://www.foonathan.net/2021/07/concepts-structural-nominal/1 790
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/how1 790
Practical Security in Production: Hardening the C++ Standard Library at massive scale
https://queue.acm.org/detail.cfm?id=37730971 790
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/rustviz1 790
Game design is simple, actually
https://www.raphkoster.com/2025/11/03/game-design-is-simple-actually/
1 790
Porting Lean to the ESP32-C3 RISC-V microcontroller
https://kuruczgy.com/blog/2024/07/31/lean-esp32/
1 790
Control structures in programming languages: from goto to algebraic effects
http://xavierleroy.org/control-structures/1 790
Myths Programmers Believe about CPU Caches
https://software.rajivprab.com/2018/04/29/myths-programmers-believe-about-cpu-caches/
