ru
Feedback
Programming Deadlock

Programming Deadlock

Открыть в Telegram

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

Больше
1 685
Подписчики
-424 часа
+77 дней
+3530 день
Архив постов

Using Circular Programs for Higher-Order Syntax https://emilaxelsson.github.io/documents/axelsson2013using.pdf

Adding row polymorphism to Damas-Hindley-Milner https://bernsteinbear.com/blog/row-poly/

A formal kernel memory-ordering model https://lwn.net/Articles/718628/

Practical Design Patterns: Opaque Pointers and Objects in C https://interrupt.memfault.com/blog/opaque-pointers

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures https://dl.acm.org/doi/pdf/10.1145/3674634

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/