¡No caigas en manos de tramposos! Telemetrio encuentra y marca estos canales 👉 Si quieres ver la etiqueta, suscríbete

Programming Deadlock

Ir al canal en Telegram

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

EEUU10 630 Tecnologías y Aplicaciones32 825

Buy Ad

1 876

Suscriptores

+624 horas

+127 días

+4030 días

1 430

Visitas de la publicación

~ 41624 horas

~ 46848 horas

76.27%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

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