Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 790
Subscribers
-124 hours
+77 days
+4230 days
Posts Archive
1 789
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threads
https://lmax-exchange.github.io/disruptor/disruptor.html1 789
Applied Mathematical Programming by Bradley, Hax, and Magnanti (Addison-Wesley, 1977)
https://web.mit.edu/15.053/www/AMP.htm
1 789
Tagged Union Subsets with Comptime in Zig
https://mitchellh.com/writing/zig-comptime-tagged-union-subset
1 789
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
https://arxiv.org/pdf/1306.6032
1 789
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit1 789
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit
1 789
Representing Type Information in Dynamically Typed Languages
https://web.archive.org/web/20230131233450/https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.4394&rep=rep1&type=pdf
1 789
A Tour of Safe Tracing GC Designs in Rust
https://manishearth.github.io/blog/2021/04/05/a-tour-of-safe-tracing-gc-designs-in-rust/
1 789
What is the best pointer tagging method?
https://coredumped.dev/2024/09/09/what-is-the-best-pointer-tagging-method/
1 789
On the same origin of quantum physics and general relativity from Riemannian geometry and Planck scale formalism
https://www.sciencedirect.com/science/article/pii/S0927650524001130
1 789
ShareJIT: JIT code cache sharing across processes and its practical implementation
https://dl.acm.org/doi/10.1145/32764941 789
How to wrap a C compiler and preprocessor
https://www.humprog.org/~stephen/blog/2024/08/27/#how-to-wrap-cc-really
