uk
Feedback

Не попадись на ботовода! Telemetrio знаходить і позначає такі канали мітками 👉 Хочеш бачити мітку, оформляй підписку

Programming Deadlock

Programming Deadlock

Відкрити в Telegram

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

Показати більше
Buy Ad
1 868
Підписники
+124 години
+77 днів
+3730 днів
Архів дописів
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