Recent Projects on Eric Spencerhttps://dev.ericspencer.us/projects/2026/Recent content in Recent Projects 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 blocksRubik's Snake — Formally Verifiedhttps://dev.ericspencer.us/projects/2026/rubix-snake-puzzle/Wed, 20 May 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2026/rubix-snake-puzzle/Coq (Rocq) and TLA+ specifications of the Rubik's Snake state space — 4^23 configurations, formallytunes2tubehttps://dev.ericspencer.us/projects/2026/tunes2tube-mac/Fri, 15 May 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2026/tunes2tube-mac/A local macOS app that drops a cover image and audio files in, and gives you back MP3s with the cover embedded as ID3v2 artwork — no account, no upload.Claude Architect Quizhttps://dev.ericspencer.us/projects/2026/claude-architect-quiz/Thu, 14 May 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2026/claude-architect-quiz/Free flashcards and practice quiz for the Anthropic Claude Certified Architect exam.COMP 388 LLM Homeworkhttps://dev.ericspencer.us/projects/2026/comp388-llm/Thu, 23 Apr 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2026/comp388-llm/Two homeworks from Loyola's special-topics LLMs class: prompting GPT-2 and comparing base vs instruction-tuned Qwen.Yeat Large Language Modelhttps://dev.ericspencer.us/projects/2026/yeat-llm/Wed, 14 Jan 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2026/yeat-llm/Fine tuning GPT-2 to talk like Yeat