Programming Deadlock
1.5K subscribers
3 photos
107 files
1.22K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
A Monadic Framework for Delimited Continuations
https://legacy.cs.indiana.edu/~dyb/pubs/monadicDC.pdf
Energy Efficiency across Programming Languages
http://greenlab.di.uminho.pt/wp-content/uploads/2017/10/sleFinal.pdf
๐Ÿคฎ4๐Ÿ‘1
๐Ÿ‘1๐Ÿ’ฉ1๐Ÿคจ1
The History of the Development of the C Language
https://www.bell-labs.com/usr/dmr/www/chist.html
โค1
Vale's First Prototype for Immutable Region Borrowing
https://verdagon.dev/blog/first-regions-prototype
๐Ÿ”ฅ1