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 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