Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 792
Подписчики
Нет данных24 часа
+57 дней
+4230 день
Архив постов
1 792
Advanced x86: Virtualization with Intel VT-x
https://opensecuritytraining.info/AdvancedX86-VTX.html1 792
Rethinking Supercompilation
https://ndmitchell.com/downloads/paper-rethinking_supercompilation-29_sep_2010.pdf
1 792
Philosophy of coroutines
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/coroutines-philosophy/
1 792
Writing custom C++20 coroutine systems
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/coroutines-c++20/
1 792
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 792
Positive Supercompilation for a Higher Order Call-by-value Language
https://arxiv.org/pdf/1005.5278.pdf
1 792
Reclaiming Memory for Lock-Free Data Structures:
There has to be a Better Way
1 792
Railway Oriented Programming: Error Handling with Monads (F#)
https://fsharpforfunandprofit.com/rop/
1 792
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 792
How we built a SIMD JIT compiler for SQL in QuestDB
https://questdb.io/blog/2022/01/12/jit-sql-compiler/
