Programming Deadlock
1.45K subscribers
3 photos
103 files
1.17K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
🀯10❀4πŸ”₯2
😎5πŸ’…2πŸ—Ώ2❀1😒1πŸ‘Œ1
GuixHPC: Reproducible software deployment for high-performance computing
https://hpc.guix.info/
πŸ‘3πŸ‘€1
1-s2.0-0167642395000070-main.pdf
2.8 MB
Explaining Type Inference
πŸ”₯5😭2πŸ‘1πŸ€”1
86-020.pdf
788.3 KB
No Silver Bullet: Essence and Accident in Software Engineering
https://www.cs.unc.edu/techreports/86-020.pdf
πŸ—Ώ1