Programming Deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
🤨2👍1
Continuing WebAssembly with Effect Handlers
https://arxiv.org/abs/2308.08347
👍3🤮2
A Guide to Undefined Behavior in C and C++
https://blog.regehr.org/archives/213
C and C++ Prioritize Performance over Correctness
https://research.swtch.com/ub
1712.01044.pdf
1.6 MB
Reclaiming Memory for Lock-Free Data Structures:
There has to be a Better Way
👍1
Positive Supercompilation for a Higher Order Call-by-value Language
https://arxiv.org/pdf/1005.5278.pdf
👍1
Souper: a superoptimizer for LLVM IR. It uses an SMT solver to help identify missing peephole optimizations in LLVM's midend optimizers.
https://github.com/google/souper
👍1
Advanced x86: Virtualization with Intel VT-x
https://opensecuritytraining.info/AdvancedX86-VTX.html