ru
Feedback
Programming Deadlock

Programming Deadlock

Открыть в Telegram

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

Больше
1 686
Подписчики
+424 часа
+147 дней
+4430 день

Загрузка данных...

Привлечение подписчиков
июнь '26
июнь '26
+19
в 0 каналах
май '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
в 4 каналах
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 каналах
Дата
Привлечение подписчиков
Упоминания
Каналы
10 июня0
09 июня+4
08 июня+3
07 июня+1
06 июня+2
05 июня+2
04 июня+2
03 июня+1
02 июня+1
01 июня+3
Посты канала
Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications https://leetarxiv.substack.com/p/why-compilers-rarely-use-strassens-algorithm

2
Foundations of Strong Call by Need https://www.irif.fr/~kesner/papers/strong-call-by-need.pdf
509
3
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation https://link.springer.com/chapter/10.1007/978-3-642-29709-0_15
735
4
Evaluation of Compiler-Induced Vulnerabilities https://arc.aiaa.org/doi/10.2514/1.I010699
1 203
5
DoomBench: Can Your Data Stack Run DOOM? https://cedardb.com/blog/doombench/
961
6
Coinductive Universes and Higher Observational Type Theory https://home.sandiego.edu/~shulman/papers/chapman-spring2026.pdf
1 254
7
optimizing_assembly.pdf
1 506
8
A visual introduction to information theory https://arxiv.org/pdf/2206.07867
1 396
9
Thread-Local Storage Access Models https://docs.oracle.com/cd/E23824_01/html/819-0690/chapter8-20.html
1 560
10
A Deep dive into (implicit) Thread Local Storage https://chao-tic.github.io/blog/2018/12/25/tls
1 376
11
Virtual Memory: A Deep Dive into Page Tables, TLBs, and Linux Internals https://blog.codingconfessions.com/p/virtual-memory
1 433
12
optimizing_cpp.pdf
1 258
13
2112.10328v1.pdf
1 320
14
Parse, don't validate through the years with C++ https://derekrodriguez.dev/parse-dont-validate-through-the-years-with-c-/
1 342
15
The Smallest Grammar Problem https://web.cs.ucla.edu/~sahai/work/web/2005%20Publications/TransOnInfoTheory2005.pdf
1 499
16
Bugs Rust Won't Catch (coreutils) https://corrode.dev/blog/bugs-rust-wont-catch/
1 609
17
Bit Twiddling Hacks https://graphics.stanford.edu/~seander/bithacks.html
1 386
18
355308-Software-Optimization-Manual-048-Changes-Doc-2.pdf
0
19
https://www.youtube.com/watch?v=SQE21efsf7Y
0
20
the-future-of-everything-is-lies.pdf
0