VINCE GONZALEZ

Founder, F-Keys Creative LLC · systems and research

Punta Gorda, FL · contact on request

f-keys.com · github.com/vince-gonzalez · orcid.org/0009-0005-3640-014X

[Download this as a PDF](/cv/VG-Resume-Master.pdf) · [all four](/cv/) · [writing samples](/writing/)

Profile

Founder, F-Keys Creative LLC. Live products include an accessibility platform distributed across eight channels, an axiom-provenance tool for two proof assistants, and a trailer-loading simulator built from the floor he loaded trailers on. Architecture, both ends, database, deployment, documentation and technical SEO.

Independent Products. F-Keys LLC

OpticQuiz · opticquiz.com

Color-vision accessibility platform. One engine. Machado 2009 simulation, Brettel 1997 cone projection, CIE ΔE2000 conflict detection, shipped across eight distribution channels with no duplicated logic: npm, PyPI, REST API, VS Code extension, Open VSX, Chrome MV3 extension and a GitHub Action. JavaScript and Python implementations verified byte-identical to six decimal places.

gonzalgo · f-keys.com/gonzalgo

Axiom provenance for Lean 4 and Metamath. Separates a theorem's statement dependencies from its proof dependencies across a whole library and reports where an axiom is spent rather than inherited. On PyPI and Reservoir. Apache-2.0.

Trailer Load / LOCK IN · trailer-load.com

A trailer-loading simulator built because he had loaded the trailers. Free for workers. Institutional licensing for schools and employers is priced and offered, with a pilot program and an instructor dashboard.

Also live

poticas.com · 5best2buy.com · RemapWrap · TipStreams · DogeFundMe · PROMPT · QV. Full lifecycle solo across all properties: architecture, front and back end, database design, deployment, documentation, technical SEO.

Published Research

58 deposited works · ORCID 0009-0005-3640-014X

• Where Formal Libraries Spend Their Axioms
• Which Constant Is Responsible?
• Why Tactic-Level Rates Cannot Attribute Classical Dependencies
• Eligibility Discriminates Among Theorems and Not Among the Constants They Rest On
• A Procedural Method for Generating Pseudoisochromatic Plates

Technical

• Languages: JavaScript (ES5–ES2022), Python, C#/.NET, SQL, GLSL, HTML, CSS
• Backend: Node.js, Supabase (PostgreSQL, RLS, auth, edge functions), REST APIs, JSON and CSV pipelines
• Infrastructure: Git/GitHub, GitHub Actions, GitHub Pages, Cloudflare (DNS, CDN, Pages, Workers, D1), Linux, Raspberry Pi, SSH
• AI & formal: Local LLM deployment (Ollama, Open WebUI), prompt and context engineering, evaluation pipelines, Lean 4 proof auditing
• Frontend: WCAG 2.1 AA, responsive design, progressive enhancement, WebGL, Canvas 2D, Manifest V3 extensions, VS Code extension API
• Docs & search: Technical SEO, Schema.org, SOP development, compliance documentation, DOI publication

Professional Experience

Federal Express Corporation · 2020–present

• Operations Supervisor, Columbus OH then Punta Gorda FL. Supervise a sort operation of up to 30 people against a fixed dispatch time; own the written compliance record.
• Promoted to Operations Supervisor in May 2023. New hire facilitator for the outbound sort.
• Hub Certification first in the history of COLO/432, FY25. Bravo Zulu 2025, Purple Promise of the Month 2024.

Education

Ohio University. BA Pre-Law Philosophy, Minor in History, 2012. Gateway Scholarship Award.

other versions: operations research writing