与Synnax首席执行官兼联合创始人Emiliano Bonilla的简短问答
内容提要
Synnax为火箭发动机测试等高风险场景提供硬件控制与实时数据平台，替代电子表格和混乱文件。因Excel和Python不足，团队耗时约六个月自研实时语言Arc，并使用JetBrains IDE配合Claude开发。未来计划拓展至量子计算、油气和制造业，同时开发自动数据审查与异常检测。
延伸解读
自研实时语言Arc的动机
Synnax团队发现Excel无法处理复杂逻辑和状态机，而Python在实时控制中速度和安全性不足，因此决定自研Arc语言。他们仅用约六个月完成开发，Arc比Python更简单，专为实时控制设计，显著提升了开发体验，例如编辑器能在两毫秒内标记拼写错误，而过去用Excel需通过USB传递文件才能发现错误。
高风险场景下的开发挑战
在火箭发动机测试等任务关键型场景中，Synnax必须平衡开发速度与质量。普通应用宕机几分钟可能无碍，但Synnax若错过几毫秒的时序要求，可能导致客户价值数百万美元的硬件损毁。创始人Emiliano Bonilla会亲临测试现场，站在工程师身后，这种压力始终存在。
从航空航天到多领域扩展
Synnax以航空航天为核心业务，但正逐步向其他领域扩展，包括量子计算的低温控制、油气和制造业。他们计划一次只选择一个细分市场，而非同时涉足所有领域。在Arc语言方面，团队正在开发自动数据审查功能，通过异常检测在循环中自动标记和纠正问题，以弥补人类实时审查能力的不足。
工具选择与开发环境
Synnax团队使用JetBrains IDE（GoLand、CLion和PyCharm）进行开发，主要看重其调试器功能，可以轻松指向目标并运行，无需繁琐配置。他们同时使用Claude辅助，并直接在IDE中审查其输出。团队认为合并冲突工具远优于之前使用的工具，在大型代码库中保存文件几乎瞬间完成。
Q&A
Synnax 是做什么的？
Synnax 是一个用于控制硬件并实时捕获、组织和审查数据的软件平台，专为火箭发动机测试等高风险环境设计，旨在替代行业长期依赖的电子表格和非结构化文件转储。
为什么 Synnax 要自己开发编程语言 Arc？
因为现有工具不适用：Excel 无法处理复杂逻辑或状态机，Python 对于发动机的实时控制来说不够快也不够安全。团队在不得已的情况下，花了约六个月时间开发了 Arc，它比 Python 更简单，但开发体验有质的飞跃。
Synnax 在开发中使用了哪些 JetBrains 工具？为什么选择它们？
团队使用 GoLand、CLion 和 PyCharm，并配合 Claude 进行开发。选择它们主要是因为调试器好用：指向任何目标，按下播放键就能工作，无需繁琐配置。此外，合并冲突工具更好，保存文件几乎瞬间完成。
Synnax 未来计划拓展到哪些领域？
除了航空航天这一核心业务，Synnax 计划拓展到量子计算的低温控制、石油和天然气以及制造业。他们一次选择一个细分市场，而不是同时做所有事情。
构建像 Synnax 这样关键任务软件最难的部分是什么？
最难的是在速度和质量之间取得平衡，因为一个小错误就可能摧毁价值数百万美元的系统。如果普通应用宕机几分钟还能承受，但 Synnax 若错过几毫秒的时序要求，就可能导致客户硬件损毁。
Emiliano 认为一个工具成功的秘诀是什么？
很少是因为某一件大事。成功是通过积累许多小事情，让某人的一天变得更好一点。这也是 Synnax 思考自己产品的方式，以及他坚持使用某些工具的原因。
