https://dev.ericspencer.us/tags/ai-written/Recent content in AI-Written on Eric SpencerHugo -- 0.145.0en-usWed, 20 May 2026 00:00:00 +0000https://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 blockshttps://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, formallyhttps://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.https://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.https://dev.ericspencer.us/miscellaneous/chattla-dataset/Wed, 13 May 2026 00:00:00 +0000https://dev.ericspencer.us/miscellaneous/chattla-dataset/The dataset release for the ChatTLA+ paper — SFT corpus and benchmark for TLA+ spec generation, posted anonymized for blind review.https://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.https://dev.ericspencer.us/projects/2024/its-rag-bot/Sat, 24 Jan 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2024/its-rag-bot/A voice-first RAG chatbot trained on Loyola's ITS knowledge base, built after two years of answering the same tickets.https://dev.ericspencer.us/projects/2023/cubed-pack-solve/Fri, 26 Dec 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2023/cubed-pack-solve/A solver for packing 54 T-tetracubes into a 6x6x6 cube using Knuth's Dancing Links algorithm.https://dev.ericspencer.us/miscellaneous/aoc2025/Thu, 25 Dec 2025 00:00:00 +0000https://dev.ericspencer.us/miscellaneous/aoc2025/My Advent of Code 2025 attempt in Python. Got six days in before life took over.https://dev.ericspencer.us/projects/2024/tla-walk-in-oven/Fri, 12 Dec 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2024/tla-walk-in-oven/A formal TLA+ specification of a walk-in industrial oven with a focus on safety interlocks.https://dev.ericspencer.us/projects/2021/goldbach-conj/Fri, 28 Nov 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2021/goldbach-conj/Verifying the Goldbach Conjecture by brute force for every even number up to 1 billion.https://dev.ericspencer.us/projects/2024/tla-laptop/Thu, 27 Nov 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2024/tla-laptop/A formal TLA+ specification modeling a laptop's power states, battery, lid, thermals, and auto-suspend.https://dev.ericspencer.us/projects/2024/tla-dexcom-g7/Wed, 12 Nov 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2024/tla-dexcom-g7/A formal TLA+ specification of the Dexcom G7 continuous glucose monitor's behavior and safety properties.https://dev.ericspencer.us/projects/2025/tla-formal-generation/Sun, 21 Sep 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/tla-formal-generation/Early exploratory repo for generating TLA+ specs from natural-language requirements with an LLM, with a TLC harness wired in. The scaffold that eventually grew into ChatTLA+.https://dev.ericspencer.us/projects/2025/ascii-llm-training/Wed, 03 Sep 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/ascii-llm-training/A toy transformer that reads pyfiglet ASCII art and tries to spit the original word back out. Calling it an LLM is generous.https://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.https://dev.ericspencer.us/projects/2025/ios-soundboard/Thu, 14 Aug 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/ios-soundboard/A SwiftUI soundboard app I built in an afternoon to get more comfortable with iOS.https://dev.ericspencer.us/miscellaneous/chess-stats/Fri, 01 Aug 2025 00:00:00 +0000https://dev.ericspencer.us/miscellaneous/chess-stats/A small Flask app that pulls Chess.com's public API and graphs your rating history.https://dev.ericspencer.us/projects/2025/gesture/Fri, 01 Aug 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/gesture/A proof of concept Jarvis-style macOS controller that takes voice commands and hand gestures from the webcam.https://dev.ericspencer.us/projects/2025/ai-conversation/Thu, 31 Jul 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/ai-conversation/A toy where two local Ollama models loop on consciousness until one of them gives uphttps://dev.ericspencer.us/projects/2025/flatten-repo/Fri, 28 Mar 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/flatten-repo/A VS Code extension I made when I kept running out of Copilot credits — flattens a repo into one .txt file you can paste into a free LLM.https://dev.ericspencer.us/projects/2025/loyolahack/Sun, 16 Feb 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/loyolahack/A real-time bus and train tracking system built during Loyola's Hackathon.https://dev.ericspencer.us/projects/2025/mlb-hackathon/Fri, 17 Jan 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/mlb-hackathon/A scikit-learn decision tree that guesses whether a current MLB player would get voted into Cooperstown, built for the Google Cloud x MLB hackathon.https://dev.ericspencer.us/projects/2025/terminalgpt/Fri, 10 Jan 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/terminalgpt/A small Python CLI for chatting with OpenAI and running English-to-Bash commands from the terminal. The thing I actually open when I want to talk to a model.