Programming Deadlock
1.25K subscribers
3 photos
86 files
1.08K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
mimalloc: A general purpose allocator with excellent performance characteristics. Initially developed by Daan Leijen for the runtime systems of the Koka and Lean languages.
https://github.com/microsoft/mimalloc/
👍42🔥2🗿1😡1
upward-confluence.pdf
106.3 KB
Upward confluence in the interaction calculus
https://arxiv.org/pdf/1806.07275
👍1
Evolutionary Computation Bestiary: A bestiary of evolutionary, swarm and other metaphor-based algorithms
https://fcampelo.github.io/EC-Bestiary/
🔥2
The keys to a successful Webassembly deployment
https://queue.acm.org/detail.cfm?id=3746171
👍1
Parse, Don’t Validate: Some C Safety Tips
https://www.lelanthran.com/chap13/content.html
👍2
A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux
http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html