Rust on Eric Spencerhttps://dev.ericspencer.us/tags/rust/Recent content in Rust on Eric SpencerHugo -- 0.145.0en-usWed, 20 May 2026 00:00:00 +0000Resilienthttps://dev.ericspencer.us/projects/2026/resilient/Wed, 20 May 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2026/resilient/A statically-typed compiled language for safety-critical embedded systems, with Z3-verified contracts and self-healing runtime blocksmc-carspot: Online Parking Simulation in Rusthttps://dev.ericspencer.us/projects/2025/mc-carspot/Fri, 22 Aug 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/mc-carspot/A tiny Rust simulator for the online parking-spot problem with switching costs.