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
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
🦄4😱21🙏1