Bohea

Demo 库

我写的每份提案,几乎都会留下一个能跑的 demo——不论中标与否,都会脱敏后公开。这一页就是把这个习惯亮出来。下面所有东西都无需凭据即可运行(需要处配 mock 模式),每个 README 都写明测了什么、哪些数据是合成的、结果证明了什么——以及没证明什么。案例页是深潜;这里是更宽的那排货架。

Annotated frame: the detector ignores a bright white glare blob near the centre and locks onto the fainter real laser dot up-left, printing the millimetre offset — "最难的那部分"长什么样:中心那团更亮的白色是眩光——"取最亮像素"的检测器会去追它。真正的激光点是左上那个更暗的,而检测器锁定的正是它(绿色标记),把偏移读到亚像素精度。此图由该仓库在合成帧上运行生成——这是合成真值上的方法验证,不是实地拍摄的验证。

工业数据 · MQTT

一个不会误杀在线机器的 Sparkplug B 主机

Sparkplug B 没有一个在维护的开源 Python 主机实现,所以我写了一个。它用 bdSeq 而不是时间戳来匹配死亡证书,把序号缺口先当成乱序而不是立刻恐慌,并对 rebirth 限流——因为一次请求会让节点把全部指标重发一遍。十四个场景,无需 broker,约一秒。README 还记下了 3.0.0 规范自相矛盾的四处。

软硬件交界 · 安全

用 MQTT 指挥一台机器——然后试着弄坏它

每条指令按"它可能出什么错"分类(UI 级 / 不动了 / 损坏机器 / 伤到人),必须过完该类的硬前置条件。跑 break_it.py:约一秒跑完十一项——让它出错的尝试,外加两项确认操作员事后还能恢复。含操作员 HMI 与真实 MQTT 桥。

AI Agent · 治理

一个能提议付款、却永远付不了款的 agent

跑 attack_it.py:十五次让钱不该动却动起来的尝试——提示注入、自我审批、审批后偷换金额、重放的 webhook、被 4568 次暴力破解的"匿名"手机号哈希。十五次全部失败,约一秒跑完,由 CI 强制——其中三项,是一位评审破解了早期版本之后补上的。

软硬件交界

可信的近距深度:滤波、融合、定量验证

RealSense D405 近距深度:滤波 + 融合管线,带定量精度验证 harness。跑在合成基准上;可直接接入真实 .bag 录制。

软硬件交界

把一个激光点读到亚像素毫米级

靶上的一个激光点,变成实时、抗眩光、亚像素级的毫米偏移读数——相机式水平读数的方法 demo。NumPy + OpenCV,诚实的合成基准。

系统与集成

给浏览器 ERP 的静默打印

让浏览器 ERP 静默打印 PDF 到指定 Windows 打印机的本地桥——零依赖 Node 服务,单机 token + Origin 白名单。任何系统上都能以 mock 模式跑。

其他道上的活,买家不同——另外 11 个 demo

同一个习惯,不同的买家:数据抽取、支付、营销运营、路径规划。放在下面,是为了让上面那排货架保持可读。每一个照样免凭据可跑。

我自己在运维的基础设施

一支没有中心注册表的 MCP 舰队

一个 MCP = 一个目录 = 一个端口,靠扫描发现,而不是靠一份需要有人记得更新的清单。横跨 Windows 与 WSL,默认只绑回环,鉴权靠一个环境变量而非改代码——并写下了三个真把服务打挂过的根因。

受限词表 ASR 在噪声下胜过通用模型:52% vs 14%

闭词表德语数字 ASR:受限解码对比通用模型,在噪声下实测——5dB 时 52% 对 14%。Vosk + Sherpa-ONNX,全程端侧运行。

法规 HTML 变成严格校验的 JSON

离线优先的 Python 框架,把政府/法规 HTML 解析成严格校验的 JSON。在 233 条条文的法规上验证,0 警告。

建筑图纸 PDF 变成结构化数据

建筑平面图 PDF → 结构化 JSON/Excel(房间标注、面积、设施),带低置信度校验层,标出需要人工复核的部分。版面感知,德语字段样例。

经得起验证的客户分群

分群 → 画像,验证不止于统计可分性:bootstrap 稳定性、留出集泛化、外部结果校验,以及三闸门 k 选择(轮廓系数/稳定性/区分度)。

系统与集成

四层嵌入式支付架构,可交互模拟

多层嵌入式支付(联盟 → 球队 → 球员 → 家长):技术提案 + 交互模拟器,演示交易如何被令牌化、路由并在账户间拆分。

系统与集成

设备与 AI 之间的私有自托管通道

自托管、无数据库的聊天流,在电脑、手机与 AI agent 之间搬运文字和文件。单个 Go 二进制、token 鉴权、隐私优先——也是我"出站边界"笔记背后的实例。

退信率监控,自带免凭据 mock API

监控 Klaviyo 营销邮件退信率并报警到 Slack——n8n 工作流 + Python 监控器,自带 mock Klaviyo API,整套演示不需要任何凭据。

自动化 · 在线可玩

可以拖动缩放的路径优化,在线

用 OR-Tools CP-SAT 做车队路径:相同站点下靠"街区连续性"约束省下 20% 里程。交互地图已在线托管——打开它,跟着某一辆车走完它的街区。

性能与后端

1000 页:50 分钟 → 2.5 分钟

高速 PDF→图片渲染(PDFBox),配自定义有界线程池——约 1000 页从 50 分钟压到 2.5 分钟。

性能与后端

一段可以读的 Django 切片

Django 6 切片:匿名社区论坛 + 可预约顾问市场。明说了:这是一份供阅读的代码样例,不是一个声称。

这些是能力 demo,不是客户交付——客户工作在案例页里,按合同要求做了匿名化。如果其中某个离你的问题很近,从 demo 到一个范围明确的首个里程碑,通常只有一小步。