Technical work across platforms, infrastructure, and full-stack systems.
Microservices chat platform on Kubernetes — Terraform, Ansible, Docker. Repeatable provisioning and deploy.
FastAPI gateway for multi-model chat — JWT auth, sessions, async inference via RabbitMQ, Redis cache.
RabbitMQ consumer that loads conversation context, calls Ollama, persists to PostgreSQL, and updates Redis task status with DLQ retries.
ChatGPT-style React 19 SPA: JWT auth, session sidebar, async message polling, admin models page — containerized with Nginx on port 3000.
Meshtastic monitoring stack — coverage & redundancy services, Vue map, Docker Compose. No upstream fork.
Custom Java HTTP server from scratch — static files, dynamic Ricmlet servlets, sessions, and per-application URLClassLoader isolation.
Formal methods framework: WHILEb/WHILEb-- parsers and interpreters in OCaml, natural semantics, and machine-checked proofs in Rocq.
