en
Feedback
Programming Deadlock

Programming Deadlock

Open in Telegram

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

Show more
USA11 398Technologies & Applications33 238
1 712
Subscribers
+324 hours
+127 days
+4030 days

Data loading in progress...

Similar Channels
Hacker News
28.5K
Hacker News
Hacker News
27.1K
Hacker News
Golang, Backend, and Ops Resources
1.7K
Golang, Backend, and Ops Resources
YCombinator News
801
YCombinator News
PaleocapaAvvisi
683
PaleocapaAvvisi
avatar
1
More channels
Tags Cloud
c++17
rust12
linux9
programming7
compiler6
c++203
engine3
allocator2
arm2
array2
branch2
closure2
developer2
dive2
introduction2
javascript2
kernel2
runtime2
trait2
visualization2
Incoming and Outgoing Mentions
---
---
---
---
---
---
Attracting Subscribers
July '26
July '26
+3
in 0 channels
June '26
+61
in 2 channels
Get PRO
May '26
+57
in 3 channels
Get PRO
April '26
+57
in 4 channels
Get PRO
March '26
+38
in 1 channels
Get PRO
February '26
+59
in 5 channels
Get PRO
January '26
+51
in 4 channels
Get PRO
December '25
+55
in 5 channels
Get PRO
November '25
+64
in 4 channels
Get PRO
October '25
+65
in 3 channels
Get PRO
September '25
+102
in 4 channels
Get PRO
August '25
+73
in 2 channels
Get PRO
July '25
+89
in 5 channels
Get PRO
June '25
+98
in 6 channels
Get PRO
May '25
+108
in 2 channels
Get PRO
April '25
+79
in 1 channels
Get PRO
March '25
+71
in 2 channels
Get PRO
February '25
+72
in 2 channels
Get PRO
January '25
+75
in 4 channels
Get PRO
December '24
+105
in 5 channels
Get PRO
November '24
+87
in 2 channels
Get PRO
October '24
+101
in 6 channels
Get PRO
September '24
+49
in 2 channels
Get PRO
August '24
+67
in 6 channels
Get PRO
July '24
+41
in 2 channels
Get PRO
June '24
+29
in 1 channels
Get PRO
May '24
+17
in 0 channels
Get PRO
April '24
+25
in 2 channels
Get PRO
March '24
+22
in 0 channels
Get PRO
February '24
+33
in 0 channels
Get PRO
January '24
+60
in 0 channels
Get PRO
December '23
+279
in 0 channels
Date
Subscriber Growth
Mentions
Channels
01 July+3
Channel Posts
Programming Deadlock
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
View all posts