Programming Deadlock

Ir al canal en Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

EEUU11 795 Tecnologías y Aplicaciones34 159

1 685

Suscriptores

+324 horas

+87 días

+3630 días

1 117

Visitas de la publicación

~ 33724 horas

~ 39048 horas

66.29%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

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/coca

1 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

Build Time Reflection with C++ (2023) https://youtu.be/fXh2hVsFDso

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

A positive supercompiler https://www.cambridge.org/core/services/aop-cambridge-core/content/view/4EEE2EBC972AA2FDC861EF7A713EE898/S0956796800002008a.pdf/positive_supercompiler.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