en
Feedback

Don't get caught by a cheater! Telemetrio finds and tags such channels πŸ‘‰ If you want to see the tag, subscribe

Programming Deadlock

Programming Deadlock

Open in Telegram

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

Show more
Buy Ad
1 866
Subscribers
+124 hours
+47 days
+3330 days
Posts Archive
Preserving Order in Concurrent Go Apps https://destel.dev/blog/preserving-order-in-concurrent-go

shared_ptr<T>: the (not always) atomic reference counted smart pointer (C++) https://snf.github.io/2019/02/13/shared-ptr-optimization/

Memory Order: The Story Of Strongly Happens Before (C++) https://nekrozqliphort.github.io/posts/happens-b4/

We need to seriously think about what to do with C++ modules https://nibblestew.blogspot.com/2025/08/we-need-to-seriously-think-about-what.html?m=1

KCSAN: Concurrency bugs should fear the big bad data-race detector https://lwn.net/Articles/816850/

Vector Clock: A data structure used for determining the partial ordering of events in a distributed system and detecting causality violations. https://en.wikipedia.org/wiki/Vector_clock

AWS in 2025: The Stuff You Think You Know That’s Now Wrong https://www.lastweekinaws.com/blog/aws-in-2025-the-stuff-you-think-you-know-thats-now-wrong/

A Self-Reflecting Formal Language https://arxiv.org/pdf/2302.09077v7

Without the futex, it's futile https://h4x0r.org/futex/

Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity https://osec.io/blog/2025-08-11-compiler-bug-causes-compiler-bug

2406.17455v2.pdf

TLA+ in Practice and Theory https://pron.github.io/posts/tlaplus_part1

frama-c-wp-tutorial-en.pdf

LambdaPi.pdf

2504.17033v2.pdf

A Fast, Growable Array With Stable Pointers in C https://danielchasehooper.com/posts/segment_array/

dlnl-paper.pdf