## 北约新的波罗的海空中防御战略
2025年9月,俄罗斯再次派遣米格-31“狐狸”截击机进入爱沙尼亚领空,延续了试探北约防御的模式。然而,这次北约采取了一种截然不同的战略,有效地展示了其卓越能力,而没有开火——并阻止了进一步的入侵。
此前,北约依赖传统的拦截方式,俄罗斯利用米格-31的速度和射程来加以利用。这次,北约使用了一种联网防御系统:AWACS监视、瑞典“鹰狮”战机,以及关键的、在雷达静默状态下运行的F-35隐身战机。F-35战机在共享数据的引导下,对俄罗斯飞机进行了视觉识别,而“鹰狮”战机则利用电子战压制了“狐狸”战机的雷达和通信系统。
俄罗斯被留下“耳目失明”,不知道北约飞机正在包围它们。通过无线电传达了一条明确的信息,迫使它们撤退。这种压倒性的、看不见的作战能力展示,加上对潜在击落场景的严厉警告,被证明是高度有效的。俄罗斯没有再次侵犯领空,表明它们理解了北约的信息:力量和技术优势将以果断行动来应对。这一事件凸显了北约在空中防御方面的悄然进步及其通过准备维护和平的承诺。
用户定制了一款单手机械键盘,带有轨迹球,以帮助在交通事故中失去右手功能的女儿。该设计使用了QMK固件,并参考了“何同学”和HTXStudio开源项目(在GitHub & Gitee上可用)。
该项目提供了构建三种键盘变体的详细资源——左手和右手版本,以及更小的控制板,包括PCB设计(通过JLCPCB)、VIA配置文件、固件、3D模型和元件数据表。主要元件包括STM32G431CBU6微控制器、25mm PTFE轨迹球,以及Alps或常见机械开关的选择。
文档详细介绍了组装过程,包括阻尼材料(Poron、硅胶垫)、螺丝类型和接线说明(使用FPC连接器)。开发者强调在组装过程中进行彻底的测试,特别是轨迹球和滚轮功能,并提供了固件刷写指导。这是他们的第一个开源项目,欢迎反馈。
## 规范驱动开发:倒退一步?
规范驱动开发 (SDD) 试图将结构化文档——类似于瀑布模型——带到人工智能辅助编码时代。虽然旨在指导 Copilot 或 Claude 等编码代理,但它依赖于在编写代码*之前*生成大量的 Markdown 规范(需求、设计、任务)。然而,这种方法面临着显著的缺点。
SDD 常常导致文档过于冗长,人工智能缺乏上下文理解,并且由于需要审查规范*和*生成的代码,审查时间翻倍。它可能会产生“虚假的安全性”,因为代理并不总是遵守规范。此外,它最适用于新项目,并且难以处理现有的复杂代码库。
作者提倡一种更**自然语言开发**的方法——回归迭代的敏捷原则。这包括将复杂任务分解为简单的、可测试的增量,直接指示编码代理,并逐步构建。这种方法受精益创业的启发,优先考虑适应性,并避免了大量前期计划的官僚负担。最终,SDD 感觉像是试图*移除*开发者,而不是*赋能*他们使用这些新工具。