uk
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 868
Підписники
+124 години
+77 днів
+3730 днів
Архів дописів
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