اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
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
An implementation of Terry A. Davis's HolyC
https://github.com/Jamesbarford/holyc-lang
1 684
Functional Ownership through Fractional Uniqueness
https://arxiv.org/abs/2310.18166
1 684
How do we tell truths that might hurt?
Edsger W.Dijkstra, 18 June 1975
https://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html
1 684
No-Brainer CPS Conversion (Functional Pearl)
https://www.khoury.northeastern.edu/home/shivers/papers/nobrainer-cps.pdf
1 684
The Rust I Wanted Had No Future
Graydon Hoare
https://graydon2.dreamwidth.org/307291.html
1 684
Hypergraph-based Supercompilation
https://github.com/sergei-grechanik/supercompilation-hypergraph
1 684
Copy-and-Patch Compilation:
A Fast Compilation Algorithm for High-Level Languages and Bytecode
HA
1 684
An implementation of "A Categorical Programing Language"
https://github.com/msakai/cpl
1 684
Typed Tagless Final Interpreters
https://okmij.org/ftp/tagless-final/course/lecture.pdf
1 684
Finally Tagless, Partially Evaluated
https://okmij.org/ftp/tagless-final/JFP.pdf
1 684
Idris’ Internals
https://docs.idris-lang.org/en/latest/reference/internals.html
1 684
A dependently-typed programming language with static memory management
https://github.com/vekatze/neut
1 684
In defense of simple architectures
https://danluu.com/simple-architectures/
1 684
DJI: The ART of obfuscation
https://blog.quarkslab.com/dji-the-art-of-obfuscation.html1 684
Compile-Time Garbage Collection by Necessity Analysis
https://www.researchgate.net/publication/229062257_Compile-Time_Garbage_Collection_by_Necessity_Analysis
