Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 876
订阅者
+624 小时
+127 天
+4030 天
帖子存档
1 876
How FoundationDB works and why it works
https://blog.the-pans.com/notes-on-the-foundationdb-paper
1 876
A not-so-quick introduction to the C++ allocator model
https://quuxplusone.github.io/blog/2023/06/02/not-so-quick-pmr/
1 876
Advanced x86: Virtualization with Intel VT-x
https://opensecuritytraining.info/AdvancedX86-VTX.html1 876
Rethinking Supercompilation
https://ndmitchell.com/downloads/paper-rethinking_supercompilation-29_sep_2010.pdf
1 876
Philosophy of coroutines
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/coroutines-philosophy/
1 876
Writing custom C++20 coroutine systems
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/coroutines-c++20/
1 876
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/souper1 876
Positive Supercompilation for a Higher Order Call-by-value Language
https://arxiv.org/pdf/1005.5278.pdf
1 876
Reclaiming Memory for Lock-Free Data Structures:
There has to be a Better Way
1 876
Railway Oriented Programming: Error Handling with Monads (F#)
https://fsharpforfunandprofit.com/rop/
1 876
Pre-RFC: Sandboxed, deterministic, reproducible, efficient Wasm compilation of proc macros (Rust)
https://internals.rust-lang.org/t/pre-rfc-sandboxed-deterministic-reproducible-efficient-wasm-compilation-of-proc-macros/19359
1 876
How we built a SIMD JIT compiler for SQL in QuestDB
https://questdb.io/blog/2022/01/12/jit-sql-compiler/
