Programming Deadlock
Відкрити в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Показати більше1 868
Підписники
+124 години
+77 днів
+3730 днів
Архів дописів
1 869
Total Denotational Semantics
https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html
1 869
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
https://verdagon.dev/blog/linear-types-borrowing
1 869
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threads
https://lmax-exchange.github.io/disruptor/disruptor.html1 869
Applied Mathematical Programming by Bradley, Hax, and Magnanti (Addison-Wesley, 1977)
https://web.mit.edu/15.053/www/AMP.htm
1 869
Tagged Union Subsets with Comptime in Zig
https://mitchellh.com/writing/zig-comptime-tagged-union-subset
1 869
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
https://arxiv.org/pdf/1306.6032
1 869
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit1 869
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit
1 869
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 869
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 869
What is the best pointer tagging method?
https://coredumped.dev/2024/09/09/what-is-the-best-pointer-tagging-method/
1 869
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
