اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 684
مشترکین
+324 ساعت
+87 روز
+3630 روز
آرشیو پست ها
1 685
A Unified Theory of Garbage Collection
https://web.eecs.umich.edu/~weimerw/2012-4610/reading/bacon-garbage.pdf
1 685
Compiling History: A brief tour of C compilers
https://www.deusinmachina.net/p/compiling-history-a-brief-tour-of1 685
How Much Memory Do You Need to Run 1 Million Concurrent Tasks?
https://pkolaczk.github.io/memory-consumption-of-async/
1 685
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
1 685
Definitional Interpreters for Higher-Order Programming Languages
John C. Reynolds
https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other
1 685
Principles of Dependent Type Theory
https://carloangiuli.com/courses/b619-sp24/notes.pdf
1 685
BuildKit in depth: Docker's build engine explained
https://depot.dev/blog/buildkit-in-depth1 685
Solving SAT via Positive Supercompilation
https://hirrolot.github.io/posts/sat-supercompilation.html
1 685
(How to Write a (Lisp) Interpreter (in Python))
https://norvig.com/lispy.html
1 685
A Beginner's Guide to Programming Language Academia
https://ryanbrewer.dev/posts/beginners-guide-pl-academia.html
1 685
Heap Layers: a flexible infrastructure for composing high-performance memory allocators out of C++ layers
https://github.com/emeryberger/Heap-Layers1 685
Mesh: Compacting Memory Management for C++
https://github.com/plasma-umass/Mesh1 685
Compacting the Uncompactable (C++)
https://youtu.be/c1UBJbfR-H0?si=hEH75oJO85a27nUE
1 685
XFaaS: Hyperscale and Low Cost Serverless Functions at Meta
https://www.micahlerner.com/2024/01/23/xfaas-hyperscale-and-low-cost-serverless-functions-at-meta.html1 685
The C Bounded Model Checker: Criminally Underused
https://www.philipzucker.com/cbmc_tut/
1 685
Profunctor optics, a categorical update
https://arxiv.org/pdf/2001.07488.pdf
1 685
Unboxed data constructors
or, how cpp decides a halting problem
https://arxiv.org/pdf/2311.07369.pdf
