es
Feedback

¡No caigas en manos de tramposos! Telemetrio encuentra y marca estos canales 👉 Si quieres ver la etiqueta, suscríbete

Programming Deadlock

Programming Deadlock

Ir al canal en Telegram

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

Mostrar más
Buy Ad
1 868
Suscriptores
+124 horas
+77 días
+3730 días
Archivo de publicaciones
Modern C: C23 Edition

How I Experience Web Today https://how-i-experience-web-today.com/

Emergent Systems based on Glenn Puchtel's Biocybernetic Theory https://thingspool.net/morsels/page-6.html

Building a Secure Software Supply Chain with GNU Guix https://arxiv.org/abs/2206.14606

Handling Bidirectional Control Flow https://dl.acm.org/doi/pdf/10.1145/3428207

Quantum circuits compiler with staging and continuations https://github.com/Kraks/quantum-compiler

Value-Dependent Session Design in a Dependently Typed Language

Cosmopolitan libc: The Fastest Mutexes https://justine.lol/mutex/

Automatically Proving Equivalence by Type-Safe Reflection

A Brief History of Microprogramming https://people.computing.clemson.edu/~mark/uprog.html

LLVM MLIR: Multi-Level IR Compiler Framework https://mlir.llvm.org/

Advanced C: The UB and optimizations that trick good programmers https://youtu.be/w3_e9vZj7D8?si=YqdjSq6JpzIIvFwc