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 870
المشتركون
+124 ساعات
+77 أيام
+3830 أيام
أرشيف المشاركات
copy-and-patch.pdf

Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode HA

An implementation of "A Categorical Programing Language" https://github.com/msakai/cpl

Finally Tagless, Partially Evaluated https://okmij.org/ftp/tagless-final/JFP.pdf

A dependently-typed programming language with static memory management https://github.com/vekatze/neut

In defense of simple architectures https://danluu.com/simple-architectures/

Compiling History: A brief tour of C compilers https://www.deusinmachina.net/p/compiling-history-a-brief-tour-of

How Much Memory Do You Need to Run 1 Million Concurrent Tasks? https://pkolaczk.github.io/memory-consumption-of-async/

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr. https://github.com/mortdeus/legacy-cc

The Erlang Runtime System https://blog.stenmans.org/theBeamBook/

Definitional Interpreters for Higher-Order Programming Languages John C. Reynolds https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other

Principles of Dependent Type Theory https://carloangiuli.com/courses/b619-sp24/notes.pdf

BuildKit in depth: Docker's build engine explained https://depot.dev/blog/buildkit-in-depth