Tag: #memory-safety
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 3 posts
The Rust Standard Library Verification Campaign Found Zero Memory-Safety Bugs
The results paper for the verify-rust-std campaign, led by AWS and the Rust Foundation, appeared in the 2026 NASA Formal Methods Symposium. The work — what the authors call 'the largest verification campaign ever reporte
2026-07-16 · 25 min read #formal-methods#rust#verification#memory-safety#testingThe Return of Rust and Systems Programming — Ownership, Borrowing, Lifetime, Trait, Async, Tokio, Cargo, WebAssembly (2025)
Why is Rust the "most loved language" for 9 years running? From Graydon Hoare personal project to the Linux kernel, the Ownership and Borrowing revolution, Lifetime magic, Trait system, zero-cost abstractions, Tokio asyn
2026-04-15 · 14 min read #rust#systems-programming#memory-safety#tokio#webassemblyRust Programming Beginner Guide — Ownership, Lifetimes, and Safe Systems Programming
Why Rust? Ownership system, lifetimes, pattern matching, error handling, async, and Cargo. A safe systems language replacing C/C++.
2026-04-12 · 19 min read #ai#rust#programming#systems#ownership