ar
Feedback
Programming Deadlock

Programming Deadlock

الذهاب إلى القناة على Telegram

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

إظهار المزيد
1 791
المشتركون
+124 ساعات
+107 أيام
+4330 أيام
أرشيف المشاركات

Getting silly with C: C is beautiful yet full of horrors. Here's to uncovering its hidden depths. https://lcamtuf.substack.com/p/weekend-projects-getting-silly-with

Machine-Assisted Proof

On Ada's Dependent Types, and its Types as a Whole https://nytpu.com/gemlog/2024-12-27

11-ghuloum.pdf

Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects https://casperbp.net/store/hefty-algebras.pdf

2004-01-30-CGO-LLVM.pdf

My failed attempt at AGI on the Tokio Runtime https://www.christo.sh/building-agi-on-the-tokio-runtime/

Collection of insane and fun facts about SQLite https://avi.im/blag/2024/sqlite-facts

An unofficial guide to the Rust ecosystem https://blessed.rs/crates