Don't get caught by a cheater! Telemetrio finds and tags such channels 👉 If you want to see the tag, subscribe

Programming Deadlock

Open in Telegram

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

USA10 630 Technologies & Applications32 825

Buy Ad

1 876

Subscribers

+624 hours

+127 days

+4030 days

1 430

Post views

~ 41624 hours

~ 46848 hours

76.27%

Engagement rate

No data

Posts per day

Ads index

beta

Posts Archive

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