Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 744
订阅者
+424 小时
+87 天
+4830 天
数据加载中...
相似频道
标签云
进出提及
---
---
---
---
---
---
吸引订阅者
七月 '26
七月 '26
+46
在2个频道中
六月 '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个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 22 七月 | 0 | |||
| 21 七月 | +4 | |||
| 20 七月 | +1 | |||
| 19 七月 | +2 | |||
| 18 七月 | 0 | |||
| 17 七月 | +1 | |||
| 16 七月 | +3 | |||
| 15 七月 | +2 | |||
| 14 七月 | +4 | |||
| 13 七月 | +3 | |||
| 12 七月 | +2 | |||
| 11 七月 | +1 | |||
| 10 七月 | +1 | |||
| 09 七月 | +1 | |||
| 08 七月 | +3 | |||
| 07 七月 | +4 | |||
| 06 七月 | +1 | |||
| 05 七月 | +4 | |||
| 04 七月 | +4 | |||
| 03 七月 | +2 | |||
| 02 七月 | 0 | |||
| 01 七月 | +3 |
频道帖子
Compiling Pattern Matching to Good Decision Trees
https://dl.acm.org/doi/pdf/10.1145/1411304.1411311
| 2 | Coroutines Trilogy (C/C++)
https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html | 486 |
| 3 | High-performance model counter
https://github.com/meelgroup/ganak | 970 |
| 4 | ssrn-6869668.pdf | 1 381 |
| 5 | Introduction to Compilers and Language Design
https://dthain.github.io/books/compiler/ | 1 464 |
| 6 | Strictness Analysis using Abstract Reduction
https://dl.acm.org/doi/pdf/10.1145/165180.165219 | 1 320 |
| 7 | 2605.10943v1.pdf | 1 612 |
| 8 | Epsilon number (Georg Cantor)
https://en.wikipedia.org/wiki/Epsilon_number | 1 552 |
| 9 | Categories for the Working Hacker
https://youtu.be/gui_SE8rJUM | 1 724 |
| 10 | Memory Safe Inline Assembly
https://fil-c.org/inlineasm | 1 752 |
| 11 | pulsecore-indirection-2025.pdf | 1 471 |
| 12 | Generating Compiler Optimizations from Proofs
https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf | 1 521 |
| 13 | Lambda Screen: Fractals in Pure Lambda Calculus
https://text.marvinborner.de/2024-03-25-02.html | 1 307 |
| 14 | Open Source Introductory Systems Programming Textbook for the University of Illinois
https://github.com/cs341-illinois/coursebook | 1 508 |
| 15 | The Art of the Metaobject Protocol
https://en.wikipedia.org/wiki/The_Art_of_the_Metaobject_Protocol | 1 303 |
| 16 | Orthodox C++
https://bkaradzic.github.io/posts/orthodoxc++/ | 1 393 |
| 17 | Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
https://www.irif.fr/~guatto/publications/pldi18.pdf | 1 299 |
| 18 | Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
https://leetarxiv.substack.com/p/why-compilers-rarely-use-strassens-algorithm | 1 360 |
| 19 | Foundations of Strong Call by Need
https://www.irif.fr/~kesner/papers/strong-call-by-need.pdf | 1 239 |
| 20 | Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
https://link.springer.com/chapter/10.1007/978-3-642-29709-0_15 | 1 374 |
