Skip to content
View EricSpencer00's full-sized avatar
🛠️
🛠️
19 followers · 53 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Highlights

Organizations

@loyolaaiclub @LUC-AI4FM @from-america

Block or report EricSpencer00

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
EricSpencer00/README.md

Currently building:

instxnt.xyz, a one-product site E-Commerce generator

StockGenie, an NLP-backed stock suggestor for casual investors

Picaius, a photo editor I made when I got mad at all the existing options

some one off projects like T-Tetracube 6x6 Solver when I have extra Copilot Credits

Resilient, a runtime self-healing programming language

and a ton of others that exist at ericspencer.us/projects/

Some research in TLA+ and LLMs:

ai4fm.cs.luc.edu, Loyola's lab for Formal Method Languages + LLMs

ChatTLA, a WIP attempt at high model checking performance on finetuning gpt-oss-20b

Checkout my personal website: ericspencer.us, I worked hard on it

Check me out on LinkedIn

My GitCity Skyline

Latest GitHub Commit

visitors

Pinned Loading

  1. TerminalGPT TerminalGPT Public

    Terminal-based openrouter LLM interaction

    Python 1

  2. DexcomNavBarIcon-macos DexcomNavBarIcon-macos Public

    MacOS home tab extension to display Dexcom account data

    Python 1

  3. loyolaAI/MovieRec-F24 loyolaAI/MovieRec-F24 Public

    Where we will store the Fall 2024 project

    Python 6 20

  4. Resilient Resilient Public

    Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

    Rust 2 1

  5. LUC-AI4FM/FormaLLM LUC-AI4FM/FormaLLM Public

    TLA 2 2

  6. LUC-AI4FM/ChatTLA LUC-AI4FM/ChatTLA Public

    Fine-tuning open-source LLMs to generate verifiable TLA+ formal specifications

    Python