Embedded on Eric Spencerhttps://dev.ericspencer.us/tags/embedded/Recent content in Embedded 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 blocks