اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 686
مشترکین
+424 ساعت
+147 روز
+4430 روز
آرشیو پست ها
1 684
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
1 684
Distributed systems for fun and profit
.https://book.mixu.net/distsys/single-page.html
1 684
Game Theory Analysis of Strategic Choicesin Programming Education and AI-AssistedDevelopment.pdf
1 684
How to Choose Between Hindley-Milner and Bidirectional Typing
https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/
1 684
MeTTa Optimal Reduction Kernel: A blazing fast hypergraph processing kernel for Hyperon
https://github.com/trueagi-io/MORK1 684
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
1 684
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
1 684
Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode
https://arxiv.org/abs/2011.131271 684
Speculative Staging for Interpreter Optimization
https://arxiv.org/abs/1310.2300
1 684
The spineless tagless G-machine, naturally
https://dl.acm.org/doi/pdf/10.1145/289423.289439
1 684
Lock-free vs wait-free concurrency
https://rethinkdb.com/blog/lock-free-vs-wait-free-concurrency/
