Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 868
Subscribers
+224 hours
+47 days
+3430 days
Posts Archive
1 868
Advanced Topics in Types and Programming Languages: Typed Operational Reasoning (Chapter 7)1 868
Doom source port that runs inside a PDF file
https://github.com/ading2210/doompdf?tab=readme-ov-file
1 868
Four limitations of Rust's borrow checker
https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html
1 868
Memory error checking in C and C++: Comparing Sanitizers and Valgrind
https://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind1 868
Getting silly with C: C is beautiful yet full of horrors. Here's to uncovering its hidden depths.
https://lcamtuf.substack.com/p/weekend-projects-getting-silly-with1 868
Nearly All Binary Searches and Mergesorts are Broken
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
1 868
Be aware of the Makefile effect
https://blog.yossarian.net/2025/01/10/Be-aware-of-the-Makefile-effect
1 868
Writing an Operating System in 1,000 Lines (C)
https://github.com/nuta/operating-system-in-1000-lines?tab=readme-ov-file
1 868
Myth and reality about inline in C99
https://gustedt.wordpress.com/2010/11/29/myth-and-reality-about-inline-in-c99/
1 868
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
https://casperbp.net/store/hefty-algebras.pdf
