Programming Deadlock
1.59K subscribers
3 photos
124 files
1.3K links
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
p2816r0.pdf
1.3 MB
Safety Profiles: Type-and-resource Safe programming in ISO Standard C++
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2816r0.pdf
๐Ÿ—ฟ4๐Ÿคฃ1
Game_Theory_Analysis_of_Strategic_Choicesin_Programming_Education.pdf
74.9 KB
Game Theory Analysis of Strategic Choices in Programming Education and AI-Assisted Development
๐Ÿฅด3๐Ÿคฏ2
Distributed systems for fun and profit
https://book.mixu.net/distsys/single-page.html
๐Ÿ”ฅ2
babble.pdf
1.3 MB
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
๐Ÿ”ฅ2
FORCE.pdf
67 KB
FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
https://dl.acm.org/doi/pdf/10.1145/764808.764839
๐Ÿ—ฟ2
2DPDA-simulation.pdf
97.8 KB
Simulation of Two-Way Pushdown Automata Revisited
https://arxiv.org/pdf/1309.5142
๐Ÿ”ฅ2๐Ÿ˜ฑ1