https://dev.ericspencer.us/categories/projects/Recent content in Projects 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/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/fg-scrape/Sat, 21 Mar 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2024/fg-scrape/Scripts to scrape and catalog cutaway gags from Family Guy episodes.https://dev.ericspencer.us/projects/2024/brightbet/Fri, 27 Feb 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2024/brightbet/An AI-powered trade and prediction analysis platform built for HackIllinois 2026.https://dev.ericspencer.us/projects/2023/rl-agent-c4/Wed, 18 Feb 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2023/rl-agent-c4/An AI agent that learns to play Connect 4 through self-play reinforcement learning.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/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 Yeathttps://dev.ericspencer.us/projects/2023/rvc-artist/Fri, 09 Jan 2026 00:00:00 +0000https://dev.ericspencer.us/projects/2023/rvc-artist/Voice conversion models for different artists using Retrieval-based Voice Conversion (RVC).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/projects/2023/reverse-xoroshiro128plusplus/Tue, 16 Dec 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2023/reverse-xoroshiro128plusplus/Reverse engineering the xoroshiro128++ PRNG to recover internal state and predict outputs.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/udp-server-binary/Thu, 06 Nov 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/udp-server-binary/UDP send/receive utilities for binary payloads.https://dev.ericspencer.us/projects/2023/itch-parser/Fri, 10 Oct 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2023/itch-parser/A parser for the NASDAQ ITCH protocol with a UDP server for binary data streams.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/gitkey/Sun, 14 Sep 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/gitkey/Protect sensitive keys from accidentally being uploaded to your git history at any point.https://dev.ericspencer.us/projects/2025/glucopilot/Thu, 11 Sep 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/glucopilot/AI Glucose Insights Apphttps://dev.ericspencer.us/projects/2023/fb-clone/Fri, 05 Sep 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2023/fb-clone/A clone of the Facebook UI built as a web development class project.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/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/llmjammer/Mon, 28 Jul 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/llmjammer/Obfuscator for public Python code to confuse LLMshttps://dev.ericspencer.us/projects/2024/ai-os/Wed, 02 Jul 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2024/ai-os/An experimental AI-centric operating system exploring tight integration between AI and system-level operations.https://dev.ericspencer.us/projects/2025/connect-4/Sun, 29 Jun 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/connect-4/A Chess engine-esque Connect 4 analyzerhttps://dev.ericspencer.us/projects/2025/interactive-microwave-tla/Sat, 10 May 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/interactive-microwave-tla/An interactive microwave in the browser to learn TLA+https://dev.ericspencer.us/projects/2025/coq/Thu, 01 May 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/coq/The formal methods languagehttps://dev.ericspencer.us/projects/2025/youtube-dl/Mon, 14 Apr 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/youtube-dl/Locally hosted youtube downloader for mp3 and mp4shttps://dev.ericspencer.us/projects/2025/sign-language/Mon, 07 Apr 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/sign-language/A Simple Sign Language Recognition App using OpenCVhttps://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/dexcom-navbar-macos/Thu, 20 Mar 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/dexcom-navbar-macos/View your Dexcom number in your Mac OS Navigation Barhttps://dev.ericspencer.us/projects/2025/tdx-window-blocker/Sat, 08 Mar 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/tdx-window-blocker/Custom Safari Script for TDX Popupshttps://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.https://dev.ericspencer.us/projects/2024/movierec/Sat, 14 Dec 2024 00:00:00 +0000https://dev.ericspencer.us/projects/2024/movierec/A movie recommendation website developed as part of the Loyola AI Club's Fall 2024 project.https://dev.ericspencer.us/projects/2024/dailytask/Mon, 17 Jun 2024 00:00:00 +0000https://dev.ericspencer.us/projects/2024/dailytask/A habit manager for daily consistency.https://dev.ericspencer.us/projects/2024/one-rep-max/Mon, 15 Apr 2024 00:00:00 +0000https://dev.ericspencer.us/projects/2024/one-rep-max/Calculate your One Rep Maxhttps://dev.ericspencer.us/projects/2024/serenity/Sun, 07 Apr 2024 00:00:00 +0000https://dev.ericspencer.us/projects/2024/serenity/A mental wellness application developed at Northwestern's Wildhacks Hackathon.https://dev.ericspencer.us/projects/2023/anagram_v2/Fri, 02 Feb 2024 00:00:00 +0000https://dev.ericspencer.us/projects/2023/anagram_v2/Scrabble Inspired Anagram Solverhttps://dev.ericspencer.us/projects/2023/anagram/Fri, 01 Dec 2023 00:00:00 +0000https://dev.ericspencer.us/projects/2023/anagram/Scrabble Inspired Anagram Solverhttps://dev.ericspencer.us/projects/2022/freetime-calc/Sat, 10 Dec 2022 00:00:00 +0000https://dev.ericspencer.us/projects/2022/freetime-calc/A Java program to find overlapping free time for up to four people.