Вже доступно! Дослідження Telegram за 2025 — головні інсайти року 
Programming Deadlock
Відкрити в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Показати більше1 685
Підписники
+324 години
+87 днів
+3630 день
Архів дописів
1 685
Alan Kay - Programming and Scaling
https://www.youtube.com/watch?v=YyIQKBzIuBY
1 685
Partial and Total Orders
https://eli.thegreenplace.net/2018/partial-and-total-orders/
1 685
Speeding Up Translation of Virtual To Physical Memory Addresses: TLB and Huge Pages
https://johnnysswlab.com/speeding-up-translation-of-virtual-to-physical-memory-addresses-tlb-and-huge-pages/
1 685
Generalized Algebraic Data Types and Object-Oriented Programming
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadtoop.pdf
1 685
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
https://arxiv.org/pdf/1908.05647.pdf
1 685
Abstraction-Safe Effect Handlers via Tunneling
https://www.cs.cornell.edu/andru/papers/tunnel-eff/tunnel-eff.pdf
1 685
A simple applicative language: Mini-ML
https://inria.hal.science/inria-00076025/file/RR-0529.pdf
1 685
Dynamic Typing in a Statically Typed Language
Martı́n Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon Plotkin
https://dl.acm.org/doi/pdf/10.1145/103135.103138
1 685
Static Analysis: A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
https://github.com/analysis-tools-dev/static-analysis1 685
Dynamic Typing with Dependent Types
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CDB85CF2624D664734495EE3C4202BAC?doi=10.1.1.119.6649&rep=rep1&type=pdf
1 685
Effective Programming: Adding an Effect System to OCaml
https://www.janestreet.com/tech-talks/effective-programming/
1 685
ΠΣ: Dependent Types without the Sugar
https://www.cs.nott.ac.uk/~psztxa/publ/pisigma-new.pdf
1 685
Zenbleed: Vulnerability found in AVX2 instruction set
https://lock.cmpxchg8b.com/zenbleed.html1 685
Garbage Collection as a Joint Venture: A collaborative approach to reclaiming memory in heterogeneous software systems
https://queue.acm.org/detail.cfm?id=33251321 685
Extensible records with scoped labels
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scopedlabels.pdf
