Programming Deadlock

Ir al canal en Telegram

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

EEUU10 600 Tecnologías y Aplicaciones31 185

1 791

Suscriptores

+124 horas

+107 días

+4330 días

930

Visitas de la publicación

~ 39624 horas

~ 46448 horas

51.93%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 792

Anti-unification and Generalization: A Survey https://arxiv.org/pdf/2302.00277

1 792

HyperLogLog is an algorithm for the count-distinct problem, approximating the number of distinct elements in a multiset. https://en.wikipedia.org/wiki/HyperLogLog

1 792

Cloud virtualization: Red Hat, AWS Firecracker, and Ubicloud internals https://www.ubicloud.com/blog/cloud-virtualization-red-hat-aws-firecracker-and-ubicloud-internals

1 792

A WebAssembly compiler that fits in a tweet https://wasmgroundup.com/blog/wasm-compiler-in-a-tweet/

1 792

Examples of quick hash tables and dynamic arrays in C https://nullprogram.com/blog/2025/01/19/

1 792

Reverse Engineering Call Of Duty Anti-Cheat https://ssno.cc/posts/reversing-tac-1-4-2025/

1 792

Type Inference in Rust and C++ https://herecomesthemoon.net/2025/01/type-inference-in-rust-and-cpp/

1 792

A garden of small programming language implementations 🪴 https://github.com/brendanzab/language-garden

1 792

A minimalistic implementation of Refal (in Rust). https://github.com/ilya-klyuchnikov/refal

1 792

How I think about Zig and Rust https://lewiscampbell.tech/blog/250117.html

1 792

Software transactional memory

1 792

Improve Rust Compile Time by 108x https://burn.dev/blog/improve-rust-compile-time-by-108x/

1 792

Async Rust is about concurrency, not (just) performance https://kobzol.github.io/rust/2025/01/15/async-rust-is-about-concurrency.html

1 792

SemVer Considered Harmful https://jolynch.github.io/posts/semver_considered_harmful/

1 792

Understanding Memory Management, Part 1: C https://educatedguesswork.org/posts/memory-management-1/

1 792

David A. Wheeler's Review of Debugging by David J. Agans https://dwheeler.com/essays/debugging-agans.html

1 792

Advanced Topics in Types and Programming Languages: Typed Operational Reasoning (Chapter 7)

1 792

Doom source port that runs inside a PDF file https://github.com/ading2210/doompdf?tab=readme-ov-file

1 792

Four limitations of Rust's borrow checker https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html

1 792

Compilers: Principles, Techniques, and Tools https://suif.stanford.edu/dragonbook/