Не попадись на ботовода! Telemetrio знаходить і позначає такі канали мітками 👉 Хочеш бачити мітку, оформляй підписку

Programming Deadlock

Відкрити в Telegram

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

США10 683 Технології та додатки32 907

Buy Ad

1 874

Підписники

+124 години

+77 днів

+3830 днів

1 412

Перегляди допису

~ 41124 години

~ 46848 годин

75.55%

Коефіцієнт залучення

Немає даних

Дописів на день

Ads index

beta

Архів дописів

1 875

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-analysis

1 875

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 875

Effective Programming: Adding an Effect System to OCaml https://www.janestreet.com/tech-talks/effective-programming/

1 875

Embedding by Unembedding https://dl.acm.org/doi/pdf/10.1145/3607830

1 875

BB(3, 3) is Hard https://www.sligocki.com//2023/10/16/bb-3-3-is-hard.html

1 875

ΠΣ: Dependent Types without the Sugar https://www.cs.nott.ac.uk/~psztxa/publ/pisigma-new.pdf

1 875

Integer overflow checking cost https://danluu.com/integer-overflow/

1 875

Zenbleed: Vulnerability found in AVX2 instruction set https://lock.cmpxchg8b.com/zenbleed.html

1 875

Garbage Collection as a Joint Venture: A collaborative approach to reclaiming memory in heterogeneous software systems https://queue.acm.org/detail.cfm?id=3325132