Programming Deadlock

Kanalga Telegram’da o‘tish

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

Ko'proq ko'rsatish

AQSH10 333 Texnologiyalar & Aralashmalar30 486

1 820

Obunachilar

+524 soatlar

+167 kun

+5030 kun

1 082

Post ko'rishlar

~ 38124 soatlar

~ 44848 soatlar

59.42%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 820

2023.findings-acl.426.pdf

1 820

qemu is a masterpiece

1 820

https://github.com/qemu/qemu/blob/stable-11.0/util/coroutine-ucontext.c?utm_source=theconsensus.dev&utm_medium=referral#L91

1 820

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

1 820

How to bring up the Linux Kernel on a new platform https://werwolv.net/posts/linux_bringup/

1 820

Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware https://dl.acm.org/doi/pdf/10.1145/2544173.2509546

1 820

Specifications Don't Exist https://www.galois.com/articles/specifications-dont-exist

1 820

Why You Should Learn To Program The Hard Way https://youtube.com/watch?v=Qf56xUKbx24

1 820

Copy-and-Patch: Building a JIT https://transactional.blog/copy-and-patch/

1 820

Why I chose OCaml as my primary language https://xvw.lol/en/articles/why-ocaml.html

1 820

Schrödinger's TOCTOU: The binary you run is not the program you wrote https://github.com/xoreaxeaxeax/schrodingers-toctou

1 820

Larger than RAM Vector Indexes for Relational Databases https://planetscale.com/blog/larger-than-ram-vector-indexes-for-relational-databases

1 820

gf2p8affineqb: Bit reversal https://wunkolo.github.io/post/2020/11/gf2p8affineqb-bit-reversal/

1 820

Fear the `Obj.magic` https://gist.github.com/polytypic/4b6793782a7ed68debb3da8215b1d2b9

1 820

Unlocking everything on the CPU with DRAM scrambling https://github.com/xoreaxeaxeax/skitter-creek-bath-salts

1 820

XOR https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/

1 820

Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/

1 820

Domain-specific hyperspecialization (for SAT) https://c.mov/lymphosat/

1 820

Tail-call optimization in C is relatively recent https://lwn.net/Articles/1034703/

1 820

The little book about OS development https://littleosbook.github.io