Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 869
Подписчики
+124 часа
+77 дней
+3730 дней
Архив постов
1 869
Using SIMD for Parallel Processing in Rust
https://nrempel.com/using-simd-for-parallel-processing-in-rust/
1 869
Deforestation: transforming programs to eliminate trees
Philip Wadler
https://link.springer.com/content/pdf/10.1007/3-540-19027-9_23.pdf
1 869
The ZINC experiment: an economical implementation of the ML language
https://inria.hal.science/inria-00070049/document
1 869
The ZINC experiment : an economical implementation of the ML language
https://inria.hal.science/inria-00070049/document
1 869
Serious Engine Networking Analysis
https://staniks.github.io/articles/serious-engine-networking-analysis
1 869
Superlinear Speedup by Program Transformation
http://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf
1 869
Writing Truly Memory Safe JIT Compilers
https://medium.com/graalvm/writing-truly-memory-safe-jit-compilers-f79ad44558dd
1 869
Recursive types for free!
Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
1 869
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 869
Distributed Snapshots: Chandy-Lamport protocol
https://blog.fponzi.me/2024-05-30-distributed-snapshots.html