Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 792
订阅者
+124 小时
+107 天
+4330 天
帖子存档
1 790
Deforestation: transforming programs to eliminate trees
Philip Wadler
https://link.springer.com/content/pdf/10.1007/3-540-19027-9_23.pdf
1 790
The ZINC experiment: an economical implementation of the ML language
https://inria.hal.science/inria-00070049/document
1 790
The ZINC experiment : an economical implementation of the ML language
https://inria.hal.science/inria-00070049/document
1 790
Serious Engine Networking Analysis
https://staniks.github.io/articles/serious-engine-networking-analysis
1 790
Superlinear Speedup by Program Transformation
http://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf
1 790
Writing Truly Memory Safe JIT Compilers
https://medium.com/graalvm/writing-truly-memory-safe-jit-compilers-f79ad44558dd
1 790
Recursive types for free!
Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
1 790
Everything About The Fast Inverse Square Root Algorithm (Quake 3)
https://github.com/francisrstokes/githublog/blob/main/2024%2F5%2F29%2Ffast-inverse-sqrt.md
1 790
Distributed Snapshots: Chandy-Lamport protocol
https://blog.fponzi.me/2024-05-30-distributed-snapshots.html