Resilient
A statically-typed compiled language for safety-critical embedded systems. Z3-verified contracts; self-healing runtime blocks; no_std runtime that ships to Cortex-M, RISC-V, and bare metal.
From the editor
A single-page edition produced by a small stack of design skills (impeccable, motion-dev, and 21st-dev), in conversation with Nutlope/hallmark.
Three projects in long form. A compiled language for embedded systems, a formally verified puzzle, and a Mac app that does one thing.
A statically-typed compiled language for safety-critical embedded systems. Z3-verified contracts; self-healing runtime blocks; no_std runtime that ships to Cortex-M, RISC-V, and bare metal.
Coq (Rocq) and TLA+ specifications of the Rubik’s Snake state space. 423 configurations, formally enumerated and checked.
A local macOS app: drop a cover image and audio files in, get back MP3s with the cover embedded as ID3v2 artwork. No account; no upload; runs entirely on-device.
FROM AMERICA LLC is the parent of three shipping products. All four exist because something on the App Store, the storebuilder market, or the brokerage app market wasn’t doing what was needed.
An independent software studio. Small, subscription-free tools, built entirely in the United States.
fromamerica-llc.com ProductA photo editing app built because nothing on the App Store was doing what we wanted.
picai.us ProductNo-code eCommerce storefronts that aren’t hidden behind a monthly subscription.
instxnt.xyz ProductA lightweight, AI-assisted stock analysis and portfolio companion for hobby traders.
stockgenie.appFounder, researcher, technician, caddie. Roles compressed by recency.
Owns product from concept to ship: UX, image pipeline, distribution. Released under FROM AMERICA LLC at picai.us.
No-code storefront builder for creators and small businesses. Designed and shipped the visual builder, storefront rendering, and deployment pipeline.
AI-assisted stock analysis aimed at hobby traders. Shipped the iOS client and the marketing site at stockgenie.app.
Independent studio. Product direction, engineering, design, deployment, and customer support across every app in the portfolio. Runs on commodity infrastructure so apps stay subscription-free.
Co-author papers on TLA+; fine-tune open-source LLMs for formal methods work at ai4fm.cs.luc.edu. Designed the ai4fm logo.
Resolves 50+ tickets weekly. Uses Azure and BI tools for identity verification and access provisioning.
Full-stack work on the company’s B2B SaaS portal. Built an interactive claims dashboard in Vue.js and Spring Boot. RESTful APIs; agile practice; deployment monitoring via Kibana and GitHub Actions.
Built a web-based microwave demonstration in Spring Boot and Vaadin to visualize TLA+ state changes. Design to delivery in two weeks.
Automated backend workflows in Google Apps Script: time-tracking, file access, lead generation. Cut request response time from hours to seconds; reduced manual work by ~99%.
Coordinated semester-long technical projects. Organized workshops and mentored members on practical AI work.
Frontline support and access management. 50+ tickets per week.
Managed the chapter’s Squarespace site. Designed member-list pages and front-page content.
Iterated prompts for GPT-4 to meet specific output criteria. Diagnosed incorrect outputs; modified inputs and workflows.
AI interpretability study analyzing ChatGPT’s handling of advanced Java concepts.
Sold 50+ items above retail. Market analysis, product sourcing, customer communication. 4.8-star satisfaction rating.
Seven seasons. Carried bags, read greens, supported four-ball groups on the course.
Information Systems minor. Dean’s List (Fall 2023, Spring 2024, Fall 2024, Spring 2025). Presidential Scholarship; Mulcahy Scholar for Research.
Oak Park, IL.
Eric Spencer is a founder and AI researcher based in Chicago. CS graduate, Loyola University Chicago, May 2026.