uz
Feedback
Programming Deadlock

Programming Deadlock

Kanalga Telegram’da o‘tish

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Ko'proq ko'rsatish
1 790
Obunachilar
Ma'lumot yo'q24 soatlar
+57 kunlar
+4230 kunlar
Postlar arxiv
Vale's First Prototype for Immutable Region Borrowing https://verdagon.dev/blog/first-regions-prototype

STOKE: A stochastic superoptimizer and program synthesizer https://github.com/StanfordPL/stoke

The History of the Development of the C Language https://www.bell-labs.com/usr/dmr/www/chist.html

PLDI'23 Main Track - Analysis and Optimizations https://www.youtube.com/live/F3z39M0gdJU?feature=share

Why We Replaced Firecracker with QEMU https://hocus.dev/blog/qemu-vs-firecracker/

Energy Efficiency across Programming Languages http://greenlab.di.uminho.pt/wp-content/uploads/2017/10/sleFinal.pdf

A list of compilers that can generate C code https://github.com/dbohdan/compilers-targeting-c

meta-typing: Functions and algorithms implemented purely with TypeScript's type system https://github.com/ronami/meta-typing

A Monadic Framework for Delimited Continuations https://legacy.cs.indiana.edu/~dyb/pubs/monadicDC.pdf

Few lesser known tricks, quirks and features of C https://jorengarenar.github.io/blog/less-known-c