Уже доступно! Исследование Telegram 2025 — ключевые инсайты года 
Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 685
Подписчики
+324 часа
+87 дней
+3630 день
Архив постов
1 686
Positive Supercompilation for a Higher Order Call-by-value Language
https://arxiv.org/pdf/1005.5278.pdf
1 686
Reclaiming Memory for Lock-Free Data Structures:
There has to be a Better Way
1 686
Railway Oriented Programming: Error Handling with Monads (F#)
https://fsharpforfunandprofit.com/rop/
1 686
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 686
How we built a SIMD JIT compiler for SQL in QuestDB
https://questdb.io/blog/2022/01/12/jit-sql-compiler/
1 686
A survey of adaptable grammars
http://akira.ruc.dk/~henning/publications/SigplNot90.pdf
1 686
C and C++ Prioritize Performance over Correctness
https://research.swtch.com/ub
1 686
coca: Data Structures with Constant Capacity (Rust)
https://github.com/teryror/coca1 686
In-Memory and Persistent Representations of C++
https://youtu.be/39wlNRk-nAg
1 686
Embracing (and also Destroying) Variant Types Safely (C++)
https://youtu.be/va9I2qivBOA
1 686
Compiler-neutral Internal Program Representation for C++
https://github.com/GabrielDosReis/ipr
1 686
A Guide to Undefined Behavior in C and C++
https://blog.regehr.org/archives/213
1 686
Continuing WebAssembly with Effect Handlers
https://arxiv.org/abs/2308.08347
1 686
Supercompilation: Ideas and Methods
https://themonadreader.files.wordpress.com/2014/04/super-final.pdf
1 686
The Concept of a Supercompiler
https://dl.acm.org/doi/pdf/10.1145/5956.5957
1 686
cppfront: A TypeScript for C++
https://herbsutter.com/2023/08/13/my-c-now-2023-talk-is-online-a-typescript-for-c/1 686
Lambdascope
Another optimal implementation of the lambda-calculus
https://web.archive.org/web/20170706084403/http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf
1 686
An Algorithm for Optimal Lambda Calculus Reduction
https://dl.acm.org/doi/pdf/10.1145/96709.96711
