案例
下面每个项目都附有你能自己核实的东西:能跑的 demo、实测数据,或交接文档。第一个是我待了近两年的公司。
工业方向
-
在一家机器人公司里的近两年
深圳 AMR 厂商斯坦德机器人全部内部系统的唯一开发:BOM 与供应链、CRM、发版,以及一次找回 100% 被删数据的 binlog 恢复。不是他们的车队软件。CTO 签署的推荐信可索取,随时可看。
-
让一条看板查询,少扫 230 倍数据
同一张 5000 万行表,朴素 vs 调优的 ClickHouse schema,用数据库自己的 query_log 度量:扫描 1.9 GiB → 约 8 MiB。一键复现、CI 门控,附 3 分钟走查。
-
一台拒绝做危险动作的机器
一台通过 MQTT 控制的机器,闸门层按每条指令可能造成的后果来分类把关。测试一共 11 项,大约一秒跑完:9 项是想让它出错,全部被拒;另外 2 项确认它仍然能停下、能恢复。后面这两项很重要,因为只测“拒绝”的测试,机器什么都不做也能全部通过。
除了这几个案例,还有一批公开 demo,不需要凭据就能跑,每个都写明了它证明什么、不证明什么。看 Demo 库