Kenneth W. Bingham
AI Engineer · Backend & Platform Engineer · Full-Stack
10+ years · Open to hybrid and remote
I build the reliability layer around software and AI: deterministic pipelines, evaluation and verification harnesses, and reproducible systems. Every project here runs, is tested, and has a real number behind it.

Summary

Software engineer with 10+ years building reliable systems end to end across regulated, high-stakes domains: U.S. Air Force programs (held a Secret clearance), healthcare and insurance, fintech, and fleet payments. Beginning August 2025, on my own initiative, I committed to AI engineering in depth, well beyond day-to-day use: how large language models actually work, and how to make them reliable through operating directives and geometric representation. I architect and ship real systems with measured results, full-stack from database to cloud deploy, and I prove my work with tests and reproducible numbers.

Self-Directed AI Engineering · Aug 2025 to Present

On my own initiative and outside of employment, I committed to AI engineering in depth. I did not learn it on a job; I sought out not only how to use large language models but how they work internally and how to optimize them. I get reliable output from stock models by directing them with explicit operating directives that demand proof and reject unverified claims, the same discipline that took a verifier's hallucinated output from about 39% to 0%. I architected and built real, tested systems with this approach (below), and I developed an original framework, dimensional programming, built on z = x · y as an organizing manifold and exploring Fibonacci-based dimensional dynamics, with each idea demonstrated in a working tool and each claim labeled by how well it is supported.

Selected Achievements

Hallucinated output: about 39% to 0%

Wrapped generation in a deterministic verifier that rejects unverifiable candidates, taking the rate of unsupported output reaching the user to zero while best-of-N kept the answer rate high. Measured, reproducible.

~85% repeated LLM input-cost cut

Deterministic, content-addressed context (bfx-ingest) maximizes prompt-cache hits, cutting repeated input cost in a typical iterative session. Proven by a reproducible benchmark.

123 deterministic tests

Shipped a water-system telemetry and compliance platform with a signed go-live gate and a tamper-evident audit trail, covered by 123 deterministic automated tests. Live at theconduit.me.

Killed a bug class

Re-architected multiplayer netcode to event sourcing: state replays byte-identical from one seed, eliminating an entire class of state-divergence bugs. Fast Track verifies 503 paths with 0 teleports.

Core Skills

Languages

Python, JavaScript / TypeScript, C# / .NET, Java, SQL, GLSL

AI / LLM

LLM integration, RAG, evaluation and verification harnesses, structured / JSON outputs, tool and function calling, model routing, prompt caching, token budgeting, hallucination reduction; self-hosted local models (Llama, Qwen, DeepSeek, Mistral, Phi-3) via Ollama and LM Studio

Backend & Infrastructure

Node.js, Express, Spring Boot, REST APIs, microservices, WebSockets, PostgreSQL, SQL Server, Oracle, MySQL, SQLite, Linux, nginx, Docker, PM2, zero-downtime deploys

CI/CD & Cloud

Azure DevOps pipelines, GitHub Actions, Azure, automated testing, observability

Front-end & 3D

Angular, React, WebGL2, Three.js, HTML / CSS

Practices

Event sourcing, content-addressed storage, deterministic replay, HL7 / FHIR interoperability, secure SDLC in cleared environments

Experience

Software Developer · U.S. Air Force program (DoD contractor)

Apr 2024 to Present

  • Modernize mission-critical systems in Java, .NET, and SQL Server under strict DoD change control.
  • Build deterministic test harnesses that reduce regression risk across legacy workflows.
  • Operate in cleared, high-security environments.

Software Developer · Humana

Feb 2022 to Jan 2024 · Remote

  • Developed .NET 6 services and HL7 / FHIR healthcare-interoperability pipelines, and optimized SQL.
  • Built Python ETL automation and Linux admin workflows that cut manual cycles.

Software Developer · Systems Implementers (U.S. Air Force)

Apr 2021 to Dec 2021

  • Built Java and Spring Boot services for aircraft-parts test, maintenance, and asset tracking, replacing an aging legacy platform.
  • Redesigned a dated interface with modern iconography, which proved instrumental to user adoption; held a Secret clearance.

Earlier roles

  • Software Developer, Gwinnett County School District (Feb 2020 to Aug 2020): automated test frameworks in Java and Selenium.
  • Software Developer, Norfolk Southern Railroad (Aug 2019 to Jan 2020): locomotive-optimization software and real-time data processing.
  • Software Developer, Finicity via STG (Nov 2017 to Aug 2018): Java financial-data aggregation and secure API integrations.
  • Java Programmer, WEX (Feb 2017 to Sep 2017): customer portal and CRM for a fleet fuel-card platform.
  • Java Programmer, CUProdigy (Apr 2015 to Feb 2017): full-stack credit-union core banking and teller platform.

Independent Engineering Projects

Personal projects built end to end to demonstrate the work. Each one runs, is tested, and carries a real number or a live link.

  • bfx-ingest (open source, MIT): deterministic, content-addressed LLM context CLI; reproducible root hash; CI across four Node.js versions.
  • The Conduit (live, theconduit.me): water-system telemetry and compliance; 123 deterministic tests; signed go-live gate; tamper-evident audit; 3D network view.
  • KensGames (live, kensgames.com): deterministic event-sourced multiplayer; Fast Track verifies 503 paths, 0 teleports.
  • Hallucination verifier (open source): deterministic verifier; hallucinated output about 39% to 0%.
  • ButterflyFx runtime (open source): hash-chained, tamper-evident, reproducible state.
  • Zero-downtime deploys: atomic, content-addressed releases with health checks and automatic rollback.

View the source on GitHub →

Independent Research

Dimensional programming / manifold-as-data: representing data as derivable geometry so localized context is computed on demand instead of stored or re-sent, the same intuition as the manifold hypothesis, embeddings, and autoencoders. Demonstrated, not only theorized: a dependency-free API measures a roughly 99.7% token reduction answering localized questions over a large nested structure. Published openly, with each claim labeled by how well it is supported, at dimensionalprogramming.com.

Education

B.S., Computer Science and Software Engineering

Open to hybrid and remote

Seeking an AI engineering or backend / platform role where reliability and cost-efficiency matter. Reach me through the contact page.