Programming Deadlock

Відкрити в Telegram

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

США10 600 Технології та додатки31 185

1 791

Підписники

+124 години

+107 днів

+4230 день

912

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

~ 39624 години

~ 47148 годин

50.95%

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

Немає даних

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

Ads index

beta

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

1 791

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

1 791

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 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

Software transactional memory

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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