اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
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 684
Formal Objects in Type Theory Using Very Dependent Types
http://www.cs.cornell.edu/jyh/papers/fool3/paper.pdf
1 684
CspChan: A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects
https://github.com/rochus-keller/CspChan1 684
Defunctionalized Interpreters for Programming Languages
http://jfla.inria.fr/2014/danvy-ICFP08.pdf
1 684
Notes on Rust mutable aliasing and formal verification
https://graydon2.dreamwidth.org/312681.html
1 684
Translation of the Rust's core and alloc crates to Coq for formal verification
https://formal.land/blog/2024/04/26/translation-core-alloc-crates
1 684
Garbage collection with zero cost at non-GC time
https://gist.github.com/AndrasKovacs/fc9e20b0976b7e236b5899fde8f5c95d
1 684
Exploring GNU extensions in the Linux kernel
https://maskray.me/blog/2024-05-12-exploring-gnu-extensions-in-linux-kernel
1 684
Optimizing Clickhouse: The Tactics That Worked for Us
https://www.highlight.io/blog/lw5-clickhouse-performance-optimization
1 684
Abstract Interpretation as a Programming Language
https://arxiv.org/pdf/1309.5133v1
1 684
Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to
One Second)
http://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
1 684
A multi-level tensor algebra superoptimizer
https://github.com/mirage-project/mirage
1 684
Interactive C/C++ preprocessor macro debugger
https://github.com/notfoundry/ppstep
1 684
Taming Code Explosion in Supercompilation
https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf
1 684
Implementing term rewriting by jungle evaluation
https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf
1 684
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
https://dl.acm.org/doi/pdf/10.1145/3549822
1 684
Bun's New Crash Reporter (Zig/C++)
https://bun.sh/blog/bun-report-is-buns-new-crash-reporter
