Learnings from 100K lines of Rust with AI (2025) — Blankdot