Rendezvous Hashing Explained (2020)
randorithms.com·15h·
Discuss: Lobsters, Hacker News, r/programming
🔗Hash Algorithms
Embedded async debugging and inspect-embassy
tweedegolf.nl·1d·
Discuss: r/rust
🐛Interactive Debuggers
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🔄Subinterpreters
SK Hynix's HBM4 will be the first out of the gate for Nvidia's Rubin AI GPU, leaving Samsung and Micron in its wake
techradar.com·13h
🔗Memory Linearization
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Writing an operating system kernel from scratch
popovicu.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/Zig, r/programming
🖥️Minimal VMs
The Case for Compact AI – Communications of the ACM
dl.acm.org·2h·
Discuss: Hacker News
🌱Minimal ML
H100 PCIe – 1.86 TB/s memcpy roofline and 8× uplift
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Memory Hierarchy
Why some agentic AI developers are moving code from Python to Rust
developers.redhat.com·1d
⚡Interpreter Optimization
Garbage Collection in Go: From Reference Counting to Tri-Color to Green Tea
dev.to·4d·
Discuss: r/golang
🗑️Garbage Collection
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·7h·
Discuss: DEV
🪢Rope Data Structures
In Defense of C++
dayvster.com·1d·
Discuss: r/cpp
⚡Zig
Enterprise Design Patterns: Building Scalable Applications
dev.to·2d·
Discuss: DEV
🔢Algebraic Datatypes
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.org·6h
🔍ML Language
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
⏭️Skip Lists
Fundamental limits on taming infectious disease epidemics
arxiv.org·6h
λLambda Calculus
Ubuntu Integrates Rust uutils to Replace GNU Coreutils for Memory Safety
webpronews.com·16h
🔒Rust Borrowing
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·1d·
Discuss: DEV
🗺️Region Inference
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·1d·
Discuss: Hacker News
📡Network Serialization