Programming Deadlock
1.87K subscribers
5 photos
151 files
1.37K links
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
πŸ‘8πŸ€”3🀯2
quantitative-reliability.pdf
796.8 KB
Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware
https://dl.acm.org/doi/pdf/10.1145/2544173.2509546
πŸ”₯3😱1
2023.findings-acl.426.pdf
393.8 KB
"Low-Resource" Text Classification: A Parameter-Free Classification Method with Compressors
https://aclanthology.org/2023.findings-acl.426/
❀2
357172.357176.pdf
1.2 MB
The Byzantine Generals Problem
https://dl.acm.org/doi/10.1145/357172.357176
πŸ‘4❀1
πŸ‘20πŸ’Š13πŸ”₯8❀6🀣3🫑2πŸ’…1
jellyfish.pdf
3.3 MB
Artificial Intelligence in the Firm: Bottlenecks in Software Production
https://fion.ac/jellyfish.pdf
❀2πŸ‘€2πŸ”₯1
🀣27😭6😍2❀1🫑1
mesh-pldi19-powers.pdf
448 KB
Mesh: Compacting Memory Management for C/C++ Applications
https://raw.githubusercontent.com/plasma-umass/Mesh/master/mesh-pldi19-powers.pdf
πŸ”₯1😑1