Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 790
Подписчики
+424 часа
+117 дней
+4330 день
Архив постов
1 790
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
1 790
KCSAN: Concurrency bugs should fear the big bad data-race detector
https://lwn.net/Articles/816850/1 790
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_clock1 790
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/1 790
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-bug1 790
Category Theory for Programmers
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
1 790
A Fast, Growable Array With Stable Pointers in C
https://danielchasehooper.com/posts/segment_array/
1 790
A Simplification of Girard's Paradox
https://www.cs.cmu.edu/afs/cs.cmu.edu/Web/People/kw/scans/hurkens95tlca.pdf
1 790
A Minimalistic Verified Bootstrapped Compiler
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
1 790
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
https://plv.mpi-sws.org/refinedc/