Programming Deadlock
Link
click to show
click to show
Specifications Don't Exist
https://www.galois.com/articles/specifications-dont-exist
19 · 1.5K · Programming Deadlock
File
quantitative-reliability.pdf · 797 KB · click to show
quantitative-reliability.pdf · 797 KB · click to show
Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware
https://dl.acm.org/doi/pdf/10.1145/2544173.2509546
15 · 1.5K · Programming Deadlock
Link
click to show
click to show
How to bring up the Linux Kernel on a new platform
https://werwolv.net/posts/linux_bringup/
26 · 1.5K · Programming Deadlock
Link
click to show
click to show
Data races and the limits of ThreadSanitizer in C and Go
https://theconsensus.dev/p/2026/09/06/data-races-and-the-limits-of-threadsanitizer-in-c-and-go.html
22 · 1.6K · Programming Deadlock
File
2023.findings-acl.426.pdf · 394 KB · click to show
2023.findings-acl.426.pdf · 394 KB · click to show
"Low-Resource" Text Classification: A Parameter-Free Classification Method with Compressors
https://aclanthology.org/2023.findings-acl.426/
10 · 1.6K · Programming Deadlock
File
357172.357176.pdf · 1.2 MB · click to show
357172.357176.pdf · 1.2 MB · click to show
The Byzantine Generals Problem
https://dl.acm.org/doi/10.1145/357172.357176
10 · 1.2K · Programming Deadlock
Link
click to show
click to show
Bringing memory safety to BSD with CHERI
https://exquisite.tube/w/vcvKTpxeEtjcPwrocykghC
7 · 1.4K · Programming Deadlock
File
DeliberatePractice(PsychologicalReview).pdf · 1.3 MB · click to show
DeliberatePractice(PsychologicalReview).pdf · 1.3 MB · click to show
The Role of Deliberate Practice in the Acquisition of Expert Performance
https://graphics8.nytimes.com/images/blogs/freakonomics/pdf/DeliberatePractice(PsychologicalReview).pdf
15 · 948 · Programming Deadlock
Link
click to show
click to show
Flattening ASTs (and Other Compiler Data Structures)
https://www.cs.cornell.edu/~asampson/blog/flattening.html
22 · 542 · Link
click to show
click to show
Branches in branch-free code
https://00f.net/2026/10/09/llvm-compiles-branch-free-code-into-branches-on-risc-v/
17 · 512 · Programming Deadlock
File
jellyfish.pdf · 3.3 MB · click to show
jellyfish.pdf · 3.3 MB · click to show
Artificial Intelligence in the Firm: Bottlenecks in Software Production
https://fion.ac/jellyfish.pdf
14 · 403 · Programming Deadlock
Link
click to show
click to show
Problems with the Rust language
https://oxetene.net/problems-with-the-rust-language/
🥴4🤣3❤3👍3🔥1
22 · 684 · Programming Deadlock
Link
click to show
click to show
Composite objects and C++26 the std::polymorphic type
https://mariusbancila.ro/blog/2026/10/18/composite-objects-and-cpp26-the-stdpolymorphic-type/
🔥1🗿1
6 · 221 · Programming Deadlock
Link
click to show
click to show
Why C Strings Suck And How I Fixed Them
https://eliasebner.com/blog/guides/fixing-strings-in-c/
41 · 1.5K · Link
click to show
click to show
Flow Typing: A New Lens on Linearity
https://jaredforsyth.com/posts/papers-we-love-lens-on-linearity/
13 · 1.4K · Programming Deadlock
File
mesh-pldi19-powers.pdf · 448 KB · click to show
mesh-pldi19-powers.pdf · 448 KB · click to show
Mesh: Compacting Memory Management for C/C++ Applications
https://raw.githubusercontent.com/plasma-umass/Mesh/master/mesh-pldi19-powers.pdf
29 · 1.3K · Programming Deadlock
Link
click to show
click to show
A faster way to compute signed 64-bit floor division by constants
https://www.benjoffe.com/fast-floordiv
18 · 1.2K · Programming Deadlock
Link
click to show
click to show
xenium: C++ header-only library providing various lock-free concurrent data structures and memory reclamation schemes
https://github.com/mpoeter/xenium
28 · 1.1K · Programming Deadlock
Link
click to show
click to show
Switch lowering in GCC
https://xoranth.net/gcc-switch/
11 · 932 · Programming Deadlock
Link
click to show
click to show
Linux syscall tables: Every Linux syscall table in one place, grouped by architecture: system calls for 27 architectures with their numbers, arguments and registers, from Linux 3.3 to 7.3
https://syscall.sh/
30 · 929 · Link
click to show
click to show
Handles are the better pointers
https://floooh.github.io/2018/06/17/handles-vs-pointers.html
15 · 482 · Programming Deadlock
Link
click to show
click to show
C++ exception handling ABI
https://maskray.me/blog/c++-exception-handling-abi
😱5❤3👍2🥴1💊1
17 · 397 · Programming Deadlock
Link
click to show
click to show
All about thread-local storage
https://maskray.me/blog/all-about-thread-local-storage
🗿1
6 · 78 ·