ar
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 868
المشتركون
+224 ساعات
+47 أيام
+3430 أيام
أرشيف المشاركات
Advanced Topics in Types and Programming Languages: Typed Operational Reasoning (Chapter 7)

Doom source port that runs inside a PDF file https://github.com/ading2210/doompdf?tab=readme-ov-file

Compilers: Principles, Techniques, and Tools https://suif.stanford.edu/dragonbook/

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