**Building Specialized Systems We Can Trust with Agents**

> SkyDiscover-Synthesize (SkySynth) lets coding agents build just-in-time systems specialized to a deployment's workload, hardware, and requirements, with machine-checked proofs and evolving tests so the result can be trusted. Specialized KV stores up to 2.3x faster, verified distributed stores at a 95.2% pass rate, inference engines at 2.2x vLLM/SGLang throughput, and model routers 48% cheaper. 💡 In principle, coding...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-09-12 12:11（北京时间）
- **原文**：[打开原文](https://skydiscover-ai.github.io/blog-skysynth.html)