Recent Projects on Eric Spencerhttps://dev.ericspencer.us/projects/2025/Recent content in Recent Projects on Eric SpencerHugo -- 0.145.0en-usThu, 06 Nov 2025 00:00:00 +0000UDP server (binary)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.TLA+ Formal Generationhttps://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+.Git Key Guardianhttps://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.GluCoPilothttps://dev.ericspencer.us/projects/2025/glucopilot/Thu, 11 Sep 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/glucopilot/AI Glucose Insights AppTraining an LLM on ASCIIhttps://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.mc-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.iOS Soundboardhttps://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.Gesturehttps://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.AIs Talking Philosophyhttps://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 upllmjammerhttps://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 LLMsConnect 4 Game Enginehttps://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 analyzerWeb Based TLA+ Microwavehttps://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+coq Presentationhttps://dev.ericspencer.us/projects/2025/coq/Thu, 01 May 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/coq/The formal methods languageYouTube Downloaderhttps://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 mp4sAI Sign Language Interpreterhttps://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 OpenCVflatten-repo VSC Extensionhttps://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.Dexcom Navbar Icon Mac OShttps://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 BarTDX Window Blockerhttps://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 PopupsCTA Transit Trackerhttps://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.MLB Hall of Fame Predictorhttps://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.Terminal GPThttps://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.