ar
Feedback
Programming Deadlock

Programming Deadlock

الذهاب إلى القناة على Telegram

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

إظهار المزيد
1 820
المشتركون
+524 ساعات
+167 أيام
+5030 أيام

جاري تحميل البيانات...

جذب المشتركين
سبتمبر '26
سبتمبر '26
+38
في 2 قنوات
أغسطس '26
+66
في 3 قنوات
Get PRO
يوليو '26
+56
في 2 قنوات
Get PRO
يونيو '26
+61
في 2 قنوات
Get PRO
مايو '26
+57
في 3 قنوات
Get PRO
أبريل '26
+57
في 4 قنوات
Get PRO
مارس '26
+38
في 1 قنوات
Get PRO
فبراير '26
+59
في 5 قنوات
Get PRO
يناير '26
+51
في 4 قنوات
Get PRO
ديسمبر '25
+55
في 5 قنوات
Get PRO
نوفمبر '25
+64
في 4 قنوات
Get PRO
أكتوبر '25
+65
في 3 قنوات
Get PRO
سبتمبر '25
+102
في 4 قنوات
Get PRO
أغسطس '25
+73
في 2 قنوات
Get PRO
يوليو '25
+89
في 5 قنوات
Get PRO
يونيو '25
+98
في 6 قنوات
Get PRO
مايو '25
+108
في 2 قنوات
Get PRO
أبريل '25
+79
في 1 قنوات
Get PRO
مارس '25
+71
في 2 قنوات
Get PRO
فبراير '25
+72
في 2 قنوات
Get PRO
يناير '25
+75
في 4 قنوات
Get PRO
ديسمبر '24
+105
في 5 قنوات
Get PRO
نوفمبر '24
+87
في 2 قنوات
Get PRO
أكتوبر '24
+101
في 6 قنوات
Get PRO
سبتمبر '24
+49
في 2 قنوات
Get PRO
أغسطس '24
+67
في 6 قنوات
Get PRO
يوليو '24
+41
في 2 قنوات
Get PRO
يونيو '24
+29
في 1 قنوات
Get PRO
مايو '24
+17
في 0 قنوات
Get PRO
أبريل '24
+25
في 2 قنوات
Get PRO
مارس '24
+22
في 0 قنوات
Get PRO
فبراير '24
+33
في 0 قنوات
Get PRO
يناير '24
+60
في 0 قنوات
Get PRO
ديسمبر '23
+279
في 0 قنوات
التاريخ
نمو المشتركين
الإشارات
القنوات
16 سبتمبر0
15 سبتمبر+5
14 سبتمبر+3
13 سبتمبر+5
12 سبتمبر+2
11 سبتمبر+1
10 سبتمبر+1
09 سبتمبر+1
08 سبتمبر+2
07 سبتمبر+3
06 سبتمبر+2
05 سبتمبر+2
04 سبتمبر+1
03 سبتمبر+3
02 سبتمبر+5
01 سبتمبر+2
منشورات القناة
2023.findings-acl.426.pdf

2
qemu is a masterpiece
1
3
https://github.com/qemu/qemu/blob/stable-11.0/util/coroutine-ucontext.c?utm_source=theconsensus.dev&utm_medium=referral#L91
3
4
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
512
5
How to bring up the Linux Kernel on a new platform https://werwolv.net/posts/linux_bringup/
627
6
Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware https://dl.acm.org/doi/pdf/10.1145/2544173.2509546
972
7
Specifications Don't Exist https://www.galois.com/articles/specifications-dont-exist
1 042
8
Why You Should Learn To Program The Hard Way https://youtube.com/watch?v=Qf56xUKbx24
1 191
9
Copy-and-Patch: Building a JIT https://transactional.blog/copy-and-patch/
1 217
10
Why I chose OCaml as my primary language https://xvw.lol/en/articles/why-ocaml.html
1 134
11
Schrödinger's TOCTOU: The binary you run is not the program you wrote https://github.com/xoreaxeaxeax/schrodingers-toctou
1 440
12
Larger than RAM Vector Indexes for Relational Databases https://planetscale.com/blog/larger-than-ram-vector-indexes-for-relational-databases
1 113
13
gf2p8affineqb: Bit reversal https://wunkolo.github.io/post/2020/11/gf2p8affineqb-bit-reversal/
1 056
14
Fear the `Obj.magic` https://gist.github.com/polytypic/4b6793782a7ed68debb3da8215b1d2b9
994
15
Unlocking everything on the CPU with DRAM scrambling https://github.com/xoreaxeaxeax/skitter-creek-bath-salts
1 255
16
XOR https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/
1 148
17
Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/
2 006
18
Domain-specific hyperspecialization (for SAT) https://c.mov/lymphosat/
1 785
19
Tail-call optimization in C is relatively recent https://lwn.net/Articles/1034703/
1 374
20
The little book about OS development https://littleosbook.github.io
1 562