Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 792
مشترکین
+124 ساعت
+107 روز
+4330 روز
آرشیو پست ها
1 790
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threads
https://lmax-exchange.github.io/disruptor/disruptor.html1 790
Applied Mathematical Programming by Bradley, Hax, and Magnanti (Addison-Wesley, 1977)
https://web.mit.edu/15.053/www/AMP.htm
1 790
Tagged Union Subsets with Comptime in Zig
https://mitchellh.com/writing/zig-comptime-tagged-union-subset
1 790
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
https://arxiv.org/pdf/1306.6032
1 790
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit1 790
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit
1 790
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 790
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 790
What is the best pointer tagging method?
https://coredumped.dev/2024/09/09/what-is-the-best-pointer-tagging-method/
1 790
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 790
ShareJIT: JIT code cache sharing across processes and its practical implementation
https://dl.acm.org/doi/10.1145/32764941 790
How to wrap a C compiler and preprocessor
https://www.humprog.org/~stephen/blog/2024/08/27/#how-to-wrap-cc-really
