Programming Deadlock

前往频道在 Telegram

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

显示更多

美国11 398 技术与应用33 238

1 712

订阅者

+324 小时

+127 天

+4030 天

1 100

帖子浏览量

~ 43224 小时

~ 51748 小时

64.25%

参与率

无数据

每日帖子数

Ads index

beta

数据加载中...

相似频道

Golang, Backend, and Ops Resources

更多频道

标签云

进出提及

---

吸引订阅者

七月 '26

在0个频道中

六月 '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个频道中

日期	订阅者增长	提及	频道
01 七月	+3

频道帖子

2605.10943v1.pdf1.48 MB

2	Epsilon number (Georg Cantor) https://en.wikipedia.org/wiki/Epsilon_number	506
3	Categories for the Working Hacker https://youtu.be/gui_SE8rJUM	703
4	Memory Safe Inline Assembly https://fil-c.org/inlineasm	1 156
5	pulsecore-indirection-2025.pdf	999
6	Generating Compiler Optimizations from Proofs https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf	1 077
7	Lambda Screen: Fractals in Pure Lambda Calculus https://text.marvinborner.de/2024-03-25-02.html	991
8	Open Source Introductory Systems Programming Textbook for the University of Illinois https://github.com/cs341-illinois/coursebook	1 313
9	The Art of the Metaobject Protocol https://en.wikipedia.org/wiki/The_Art_of_the_Metaobject_Protocol	1 120
10	Orthodox C++ https://bkaradzic.github.io/posts/orthodoxc++/	1 139
11	Heartbeat Scheduling: Provable Efficiency for Nested Parallelism https://www.irif.fr/~guatto/publications/pldi18.pdf	1 065
12	Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications https://leetarxiv.substack.com/p/why-compilers-rarely-use-strassens-algorithm	1 158
13	Foundations of Strong Call by Need https://www.irif.fr/~kesner/papers/strong-call-by-need.pdf	1 207
14	Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation https://link.springer.com/chapter/10.1007/978-3-642-29709-0_15	1 365
15	Evaluation of Compiler-Induced Vulnerabilities https://arc.aiaa.org/doi/10.2514/1.I010699	1 731
16	DoomBench: Can Your Data Stack Run DOOM? https://cedardb.com/blog/doombench/	1 237
17	Coinductive Universes and Higher Observational Type Theory https://home.sandiego.edu/~shulman/papers/chapman-spring2026.pdf	1 383
18	optimizing_assembly.pdf	1 632
19	A visual introduction to information theory https://arxiv.org/pdf/2206.07867	1 489
20	Thread-Local Storage Access Models https://docs.oracle.com/cd/E23824_01/html/819-0690/chapter8-20.html	1 593

查看所有帖子