Available now! Telegram Research 2025 — the year's key insights 
Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 686
Subscribers
No data24 hours
+67 days
+3330 days
Posts Archive
1 686
x86/PVM: Introduce a new hypervisor on top of KVM
https://lore.kernel.org/lkml/CABgObfaSGOt4AKRF5WEJt2fGMj_hLXd7J2x2etce2ymvT4HkpA@mail.gmail.com/T/#m5380166ee3c0ce945348e361d39bf5ca577a1fbe1 686
A Brief History of Microprogramming
https://people.computing.clemson.edu/~mark/uprog.html
1 686
Safety Goggles for Alchemists
https://jack.wrenn.fyi/blog/safety-goggles-for-alchemists/
1 686
Code Generation in Rust vs C++26
https://brevzin.github.io/c++/2024/09/30/annotations/
1 686
Advanced C: The UB and optimizations that trick good programmers
https://youtu.be/w3_e9vZj7D8?si=YqdjSq6JpzIIvFwc1 686
Cello: A Fat Pointer Library
https://libcello.org/learn/a-fat-pointer-library1 686
Total Denotational Semantics
https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html
1 686
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
https://verdagon.dev/blog/linear-types-borrowing
1 686
Dependent Types in ATS
https://bluishcoder.co.nz/2010/09/01/dependent-types-in-ats.html
1 686
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threads
https://lmax-exchange.github.io/disruptor/disruptor.html1 686
SEDA: An Architecture for Well-Conditioned,
Scalable Internet Services (2001)1 686
Morsel-Driven Parallelism: A NUMA-Aware Query
Evaluation Framework for the Many-Core Age1 686
Applied Mathematical Programming by Bradley, Hax, and Magnanti (Addison-Wesley, 1977)
https://web.mit.edu/15.053/www/AMP.htm
1 686
Tagged Union Subsets with Comptime in Zig
https://mitchellh.com/writing/zig-comptime-tagged-union-subset
