Available now! Telegram Research 2025 — the year's key insights 
Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 685
Subscribers
+324 hours
+87 days
+3630 days
Posts Archive
1 685
Abstract Interpretation, Symbolic Execution and Constraints
https://drops.dagstuhl.de/storage/01oasics/oasics-vol086-gabbriellis-festschrift/OASIcs.Gabbrielli.7/OASIcs.Gabbrielli.7.pdf
1 685
Simulation of Two-Way Pushdown Automata Revisited
https://arxiv.org/pdf/1309.5142
1 685
FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
https://dl.acm.org/doi/pdf/10.1145/764808.764839
1 685
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
1 685
Distributed systems for fun and profit
.https://book.mixu.net/distsys/single-page.html
1 685
Game Theory Analysis of Strategic Choicesin Programming Education and AI-AssistedDevelopment.pdf
1 685
How to Choose Between Hindley-Milner and Bidirectional Typing
https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/
1 685
MeTTa Optimal Reduction Kernel: A blazing fast hypergraph processing kernel for Hyperon
https://github.com/trueagi-io/MORK1 685
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
1 685
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
1 685
Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode
https://arxiv.org/abs/2011.131271 685
Speculative Staging for Interpreter Optimization
https://arxiv.org/abs/1310.2300
