Ohhnews

分类导航

$ cd ..
Jetbrains Blog原文

对话Synnax联合创始人兼CEO Emiliano Bonilla

#synnax#航天测试#实时数据平台#arc编程语言#jetbrains

什么是 Small Talk？

Small Talk 是我们与 JetBrains 创业计划创始人进行的简短问答。他们会用自己的话回答几个问题，谈谈自己正在构建什么、为什么开始，以及一路走来有哪些心得。没有推销，没有粉饰——只需两分钟阅读，就能认识产品背后的人。

这次，我们与 Emiliano Bonilla 坐下来聊了聊。他是 Synnax 的首席执行官兼联合创始人，而 Synnax 是火箭发动机测试背后的软件。他向我们讲述了失败的发射、从零开始构建一门编程语言，以及他为什么离不开自己的 IDE。

[LOADING...]

Emiliano Bonilla，Synnax 首席执行官兼联合创始人

Synnax 是一个用于控制硬件，并实时采集、整理和审查硬件所产生数据的软件平台。它专为火箭发动机测试这类高风险环境而打造，取代了行业长期以来依赖的电子表格和非结构化文件转储。它还包括 Arc——一门专为实时场景构建的编程语言。该公司正将其技术从航空航天扩展到量子计算的低温控制、石油和天然气以及制造业等领域。

简要总结

  • Synnax 是一个面向测试和操作硬件的团队的任务控制与数据平台，取代了航空航天领域至今仍在使用的 Excel 表格和 20 TB 文件转储。
  • 在 Excel 和 Python 都无法满足需求后，团队用了大约六个月构建了自己的实时语言 Arc。
  • Emiliano 的团队在使用 JetBrains IDE（GoLand、CLion 和 PyCharm）时搭配 Claude Code，并正将 Synnax 从火箭领域拓展到量子计算、石油和天然气以及制造业。

在 Synnax 之前，你构建过软件。那是什么？

我构建的是航空航天地面软件。当你观看 NASA 发射，看到人们盯着那些屏幕时，那些就是我在业界构建的软件，也是我们现在在 Synnax 构建的东西。我曾在得克萨斯州的一家火箭初创公司 Firefly Aerospace 工作，经历了他们的前两次轨道发射。他们是历史上第五家进入轨道的私营公司。

那么，为什么要创办 Synnax？

因为这个行业运行在 80 年代构建的工具上。我们主要做火箭发动机测试——把发动机放在测试台上，接上数百个传感器，收集海量数据。旧软件会把这些数据倾倒进杂乱无章的文件里，硬盘足有 20 或 30 TB，却只按日期和时间命名。团队因为无法足够快地审查数据而做出错误决策。我见过东西爆炸，也见过数百万美元付诸东流。Synnax 缩短了从采集数据到采取行动之间的闭环。

[LOADING...]

构建这种任务关键型软件，最难的部分是什么？

在速度和质量之间取得平衡，因为一个小错误就可能毁掉价值数百万美元的系统。如果一个普通应用宕机几分钟，还能承受。如果 Synnax 在某个时序要求上偏差几毫秒，那可能就意味着客户硬件的终结。在测试现场，我就站在工程师身后，看着他们运行系统，总是让人紧张不已。

你们构建了自己的编程语言 Arc。为什么要做这件事？

因为现有资源并不合适。Excel 无法处理复杂逻辑或状态机，而 Python 对于发动机的实时控制来说又不够快、不够安全。我们一直抗拒构建自己的语言，直到不可避免，然后用了大约六个月完成。它有意比 Python 更简单，开发者体验也有天壤之别。真正的编辑器能在两毫秒内标出拼写错误，而用 Excel 时，为了找到一个错误，可能得用 U 盘在机器之间来回拷贝文件。

你们所有这些都在 JetBrains IDE 中构建。为什么选它们而不是其他编辑器？

主要是调试器。指向任意目标，按下运行，它就能正常工作，没有我以前那些配置上的折腾。我们在 GoLand、CLion 和 PyCharm 中工作，同时搭配 Claude，我喜欢直接在 IDE 里审查 Claude 的输出。合并冲突工具比我以前用的好得多，而且在庞大的代码库中保存文件几乎瞬间完成。

Synnax 接下来走向何方？

航空航天仍然是我们的核心业务，但我们正在扩张。其中一个有趣的细分领域是量子计算机的低温控制。除此之外还有石油和天然气，以及制造业——我很想为整条生产线运行控制系统。潜在市场巨大，所以我们一次只选择一个细分领域，而不是试图同时做所有事情。在 Arc 方面，我们正在构建的重要功能是自动化数据审查。人类能实时审查的数据量有限，所以我们希望在闭环中加入异常检测，自动标记并纠正问题。

最后一个问题。一个工具到底靠什么胜出？

很少是靠某一件大事。你是靠许多小事的累积取胜——它们让某个人的一天稍微好过一点。我们思考自己的产品时也是这样，这也是我坚持使用自己所用工具的原因。

阅读完整案例研究此处。

JetBrains 创业计划常见问题

问：我符合条件吗？

答：如果你的公司为私人所有，成立于过去五年内，并且拥有网站或其他可在网上查到的公开信息，就符合条件。

问：在哪里申请？ 答：你可以在此申请。

问：JetBrains 创业计划申请流程的时间线是怎样的？

答：提交申请后，我们的团队将在 48 小时内审核。如果你符合标准，你将收到一封接受邮件，随后还会收到产品报价。如果未被接受，我们的团队会与你联系并说明原因。申请未成功可能是因为缺少信息（例如文件或网站），也可能是因为你不符合资格要求（例如你的企业成立已超过五年）。

问：“IDE 订阅”“AI 订阅”和“团队或学习工具订阅”这些说法包含哪些产品？

答：IDE 订阅可涵盖多种产品，包括各类 IDE 以及 .NET 和 Visual Studio 工具。“团队工具订阅”指团队工具，包括 TeamCity、YouTrack、Datalore、Qodana，以及我们的学习工具（JetBrains Academy）。