fa
Feedback

فریب کلاهبرداران را نخورید! تل‌متریو این کانال‌ها را شناسایی و برچسب‌گذاری می‌کند 👉 برای مشاهده برچسب، اشتراک تهیه کنید

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