Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 791
مشترکین
+124 ساعت
+107 روز
+4230 روز
آرشیو پست ها
1 791
Infinite λ-calculus and non-sensible models
http://people.dm.unipi.it/berardu/Art/1996Nonsensible/non-sensible.pdf
1 791
Understanding Machine Learning: From Theory to Algorithms
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
1 791
Denotational design with type class morphisms (extended version)
http://conal.net/papers/type-class-morphisms/type-class-morphisms-long.pdf
1 791
Abelian sandpile model (ASM): Encoding turing completeness on a sand castel
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model1 791
ATS Programming Language: Unleashing the Potentials of Types and Templates
https://ats-lang.sourceforge.net/1 791
Higher RAII, and the Seven Arcane Uses of Linear Types
https://verdagon.dev/blog/higher-raii-uses-linear-types
1 791
Repost from Programming Deadlock
LLVM MLIR: Multi-Level IR Compiler Framework
https://mlir.llvm.org/1 791
LADDER: Self-Improving LLMs Through Recursive Problem Decomposition
https://arxiv.org/pdf/2503.00735
