Programming Deadlock
1.25K subscribers
3 photos
86 files
1.08K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Wedson Almeida Filho: Retiring from the Rust for Linux Project
https://lore.kernel.org/lkml/20240828211117.9422-1-wedsonaf@gmail.com/
😢5👍3🙏2
Modern multicore and manycore architectures: Modelling, optimisation and benchmarking a multiblock CFD code
https://www.sciencedirect.com/science/article/pii/S0010465516300959
👍1
Programming, Logic and Semantics Lab
https://www.pls-lab.org/
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
Axiomatizing Consciousness with Applications
https://arxiv.org/pdf/2202.05700
1
s11265-018-1369-4.pdf
2.7 MB
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit
🔥2