Case studies
Each project below comes with something you can check yourself: a running demo, measured numbers, or handover docs. The first is the company where I spent nearly two years.
Industrial work
-
Nearly two years inside a robot manufacturer
Sole developer for every internal system at Standard Robots, a Shenzhen AMR maker: BOM and supply chain, CRM, deployment, and a binlog recovery that got back 100% of deleted data. Not their fleet software. Signed CTO letter available on request.
-
Making a dashboard query scan 230× less data
Same 50M-row table, naive vs tuned ClickHouse schema, measured with the DB’s own query_log: 1.9 GiB → ~8 MiB scanned. One-command reproduce, CI-guarded, with a 3-min walkthrough.
-
A machine that refuses to do dangerous things
A machine commanded over MQTT, with a gate layer that classifies every command by the harm it could cause. The test harness runs 11 checks in about a second: nine attempts to make it misbehave, all refused, and two that confirm it can still stop and recover. Those two matter, because a test suite that only checks refusals would pass even if the machine did nothing at all.
Besides these case studies, there’s a shelf of public demos that run without credentials, each with a note on what it does and doesn’t prove. Browse the demo library