Programming Deadlock
1.51K subscribers
3 photos
108 files
1.22K 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/[email protected]/
😒5πŸ‘3πŸ™2
❀2πŸ‘2πŸ”₯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/
❀3
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
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
https://arxiv.org/pdf/1306.6032
πŸ‘1
πŸ‘3