active
nibli
A zero-hallucination symbolic reasoning engine — a hallucination firewall for the LLM era. Lojban in, first-order logic out; every answer derived, never guessed, with a proof trace on every conclusion.
// things i built
Things I built
A builder, not an entrepreneur. These are systems I architected and shipped — some for the commons, some for the companies I've helped build. Sorted by where they live, not by how loud they were.
6 shipped
4 active
1 archived
f(x) = x — most of these are fixed points of an idea
// personal · open-source
Built for the commons
FOSS the whole way down. Free forever, self-hostable, no telemetry.
active
cognito
A pure-Rust System 2 reasoning kernel — minimal knowledge, maximal logic. A transformer that thinks in explicit steps: think, call, result.
active
botwork
A single-binary Rust automation framework for acceptance testing and RPA — plain-text human-readable syntax, extensible via Rust, Python, and JavaScript.
webapp-checklist
The technical details a programmer should consider before making a web app public — security, performance, operations. My most-starred repository.
curated
awesome-programmer
A collection of resources to learn from and become a self-taught awesome programmer — the path I actually took, written down for the next dropout.
hostscli
A Python CLI to block and unblock websites straight from /etc/hosts — ad lists, trackers, malware domains, or just the feeds at 2am. Simple and easily extendable.
curated
awesome-rust-ml
A curated map of the Rust machine-learning ecosystem — frameworks, kernels, and LLM runtimes. Curation is also building: someone has to keep the index honest.
// professional
Built on the clock
Systems I architected as Software Architect and, before that, VP of Engineering. Some closed, all real.
active
STGI
Technical Architect, since May 2026 — backend engineering for niche tech initiatives.
current · closed source
Appknox ×2
Two tenures. 2014–17: architected the mobile-security scanning platform from scratch, built the team 1→5, ran an iOS/Android device farm. 2022–23: a Rust microservice generating CycloneDX SBOMs from mobile binaries — no source required.
2014–17 · 2022–23 · appknox.com
Colligence Research
Principal Architect, Distributed Systems/Rust (2023–25). The first MVP of a distributed WebRTC media server in Rust, plus the entire DevOps lifecycle with Pulumi infrastructure-as-code.
2023–2025 · closed source
Nitimis
CTO for five years (2018–23). A company with a non-profit ethos: RobotFramework QA services, and teaching people with zero tech background to start QA-automation careers — unpaid, on purpose.
2018–2023
NuFlights
Principal Architect, Platform (2023–26) — on the airline-retailing platform I originally built from scratch at Reckonsys. Highlight: rewriting the NDC adapter from Python to Rust.
2023–2026 · nuflights.com
The Reckonsys years
VP of Engineering (2019–22), ~70% hands-on by choice. Django/GraphQL/React for startups, teams of 2–10; open-sourced 'bigga' and the cookiecutter templates everything was scaffolded from.
2019–2022 · closed source
archived
ReWire
An iOS mindfulness app (2012, at Tataatsu) — meditation and attention training, with an API server for scores and leaderboards. Designed, developed, and deployed as a one-person team.
2012 · archived
“One must imagine the cluster happy.”
have a hard systems problem worth building?