ru
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 866
Подписчики
+124 часа
+47 дней
+3330 дней
Архив постов

C++ move semantics from scratch https://cbarrete.com/move-from-scratch.html

The Green Tea Garbage Collector https://go.dev/blog/greenteagc

Atomic Commit In SQLite https://sqlite.org/atomiccommit.html

Barebones RISC-V OS written in Zig https://timmy.moe/blog/barebones-os-zig/

Why C variable argument functions are an abomination (and what to do about it) https://h4x0r.org/vargs/

SSA (Static Single Assignment) Compilers https://mcyoung.xyz/2025/10/21/ssa-1/

Functional C++: Abusing the type system like never before https://functionalcpp.wordpress.com/

Capabilities: Linux Privilege Escalation https://juggernaut-sec.com/capabilities/

Synquid synthesizes programs from refinement types. https://github.com/nadia-polikarpova/synquid/tree/master

Enhancing Locality for Recursive Traversals of Recursive Structures https://dl.acm.org/doi/pdf/10.1145/2048066.2048104