现已上线！2025 年 Telegram 研究 — 年度关键洞察 
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 |
