¡Ya disponible! Investigación de Telegram 2025 — los principales insights del año 
Programming Deadlock
Ir al canal en Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Mostrar más1 684
Suscriptores
-124 horas
+127 días
+4330 días
Archivo de publicaciones
1 683
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
1 683
Distributed systems for fun and profit
.https://book.mixu.net/distsys/single-page.html
1 683
Game Theory Analysis of Strategic Choicesin Programming Education and AI-AssistedDevelopment.pdf
1 683
How to Choose Between Hindley-Milner and Bidirectional Typing
https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/
1 683
MeTTa Optimal Reduction Kernel: A blazing fast hypergraph processing kernel for Hyperon
https://github.com/trueagi-io/MORK1 683
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
1 683
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
1 683
Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode
https://arxiv.org/abs/2011.131271 683
Speculative Staging for Interpreter Optimization
https://arxiv.org/abs/1310.2300
1 683
The spineless tagless G-machine, naturally
https://dl.acm.org/doi/pdf/10.1145/289423.289439
1 683
Lock-free vs wait-free concurrency
https://rethinkdb.com/blog/lock-free-vs-wait-free-concurrency/
