Programming Deadlock – Telegram
Programming Deadlock
1.58K subscribers
3 photos
121 files
1.29K links
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
unification-and-anti-CoC.pdf
168.7 KB
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
🙏2👍1🔥1
memmgr.pdf
1.4 MB
Verified Sequential Malloc/Free
👍2😡1
2309.06180v1.pdf
1.4 MB
Efficient Memory Management for Large Language Model Serving with PagedAttention
https://arxiv.org/abs/2309.06180
🤨4💯3🗿1
An assembler that compiles to printf
https://git.sr.ht/~sebsite/printfasm
🔥2🤨1😡1
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
🗿3🤣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
🤯1🥴1
Distributed systems for fun and profit
.https://book.mixu.net/distsys/single-page.html
🔥1
babble.pdf
1.3 MB
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
🔥1