Rust HashMap notes March 30, 2025 software optimization hashmap datastructures Raw notes on Rust's HashMap design and implementation