RUST

Sapphire: Rust based package manager for macOS
424 points | 280 comments

Verus: Verified Rust for low-level systems code
153 points | 42 comments

Cutting down Rust compile times from 30 to 2 minutes with one thousand crates
143 points | 87 comments

Pretty State Machine Patterns in Rust (2016)
135 points | 49 comments

CubeCL: GPU Kernels in Rust for CUDA, ROCm, and WGPU
68 points | 7 comments

Cybertruck Rusting? That's Normal
37 points | 2 comments

Does using Rust make your software safer?
14 points | 4 comments