Programming Deadlock – Telegram
Programming Deadlock
1.51K subscribers
3 photos
109 files
1.23K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
in-place-fp.pdf
433.1 KB
FP²: Fully in-Place Functional Programming
https://dl.acm.org/doi/pdf/10.1145/3607840
👍4🔥1
Forwarded from Programming Deadlock
LLVM MLIR: Multi-Level IR Compiler Framework
https://mlir.llvm.org/
👍5
lecture29.pdf
127 KB
Programming Languages and Logics: Linear Types
👍2
Higher RAII, and the Seven Arcane Uses of Linear Types
https://verdagon.dev/blog/higher-raii-uses-linear-types
ATS Programming Language: Unleashing the Potentials of Types and Templates
https://ats-lang.sourceforge.net/
3👍1🥴1
Abelian sandpile model (ASM): Encoding turing completeness on a sand castel
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
Denotational design with type class morphisms (extended version)
http://conal.net/papers/type-class-morphisms/type-class-morphisms-long.pdf
Against essential and accidental complexity
https://danluu.com/essential-complexity/
👍2
My Own Private Binary: An Idiosyncratic Introduction to Linux Kernel Modules
https://www.muppetlabs.com/~breadbox/txt/mopb.html
🔥21😐1