4 posts with tag rust
Scalar Replacement of Aggregates: How "Copy to Locals" Unlocks the Compiler
How copying a small aggregate into local variables exposes Scalar Replacement of Aggregates to LLVM, letting hot loops keep state in registers instead of repeatedly loading and storing through a pointer—illustrated with Zig/Rust reproductions and TigerBeetle's AEGIS-128L speedup.
Evaluating PBT Frameworks: How Proptest and Hegel Differ in Algebraic Expressivity
Explains why it’s useful to visualize how these two libraries actually think about the data they generate. Proptest views the world as a static graph of possibilities, while Hegel views it as a live conversation
The RAII Drop-Guard Pattern in Rust
Explains RAII in Rust as the primary, statically-enforced mechanism for resource management.
Dyn-Compatible Async Traits in Rust: Why the Manual Boxed Future Idiom is Required
Explains why async fn in traits breaks object safety for dynamic dispatch and how the explicit pinned boxed future return type, combined with 'static + Send bounds and pre-move cloning, restores dyn compatibility for service-oriented trait objects