ch
Feedback
Programming Deadlock

Programming Deadlock

前往频道在 Telegram

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

显示更多
1 790
订阅者
无数据24 小时
+57
+4230
帖子存档
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