ch
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