اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 712
مشترکین
+324 ساعت
+127 روز
+4030 روز
در حال بارگیری داده...
کانالهای مشابه
ابر برچسبها
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
ژوئیه '26
ژوئیه '26
+3
در 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 |
پستهای کانال
| 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 |
