Programming Deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Energy Efficiency across Programming Languages
https://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
floatzone_sec23.pdf
1.7 MB
FloatZone: Accelerating Memory Error Detection Using the Floating Point Unit
Reimplementation of Coroutines for Go
https://research.swtch.com/coro
๐Ÿคฏ1
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
https://raw.githubusercontent.com/StanfordPL/stoke/develop/docs/papers/pldi19a.pdf
๐Ÿ’ฉ2โค1
Epigram: Practical Programming with Dependent Types
https://www.e-pig.org/downloads/epigram-notes.pdf
๐Ÿคฃ1