作者反思了 OpenAI 在解决十大数学难题方面的最新突破,并警告称社会必须正视人工智能(AI)超越人类数学能力的现实。文章批判了常见的“应对机制”,即认为人类仍将引导 AI、甄选其结果,或是将数学保留为一种业余爱好。 作者认为这些辩护是站不住脚的,因为数学是科学进步的根本引擎。与象棋不同,AI 在象棋上的卓越表现并未扰乱人类的体验,因为象棋是一个封闭的系统;而由 AI 驱动的数学将迅速实现发现、架构和科学工程的自动化。这种转变可能会创造一个人类无法理解技术的“鬼魂世界”。此外,随着 AI 充斥该领域,数学的社会语境——即地位、实用性和社区如何维持人类的动力——可能会随之萎缩,从而导致从业者意志消沉。 归根结底,作者挑战了这种轨迹不可避免的观点。在承认加速进步的潜在益处的同时,作者警告我们正在选择一种“浮士德式的交易”(魔鬼的交易),冒着使人类沦为高等实体照料下的“宠物”的风险。文章敦促读者停止轻视这些影响,并认真考量被淘汰的代价。
Cyber 是一门现代、高性能的脚本语言,专为速度、效率和并发而设计。它结合了动态类型与静态类型、内存安全以及基于纤程(fiber)的并发机制,旨在提供“令人愉悦”的编程体验。
主要特性包括:
* **高性能**:内置快速的虚拟机和即时(JIT)编译器,从底层设计即追求速度。
* **可嵌入**:通过 `libcyber`,该语言可集成到应用程序、游戏引擎和服务器中。
* **灵活的互操作性**:支持通过强大的外部函数接口(FFI)与兼容 C-ABI 的库无缝集成,并为 Raylib 和 LLVM 等工具提供自动绑定生成功能。
* **跨平台**:能够在桌面和服务器环境中运行脚本。
Cyber 目前作为一个开源项目不断发展。我们鼓励开发者通过 GitHub 参与贡献,或通过赞助支持该项目。对于那些既需要易用性,又要求底层执行效率的快速、可嵌入脚本语言需求的开发者而言,Cyber 是一个理想的解决方案。
Bor v0.8.0 在策略管理、安全性和用户界面方面进行了重大升级。
**新增策略类型:**
* **Thunderbird 与 Edge:** 提供对这两个浏览器/客户端的全面管理功能,包括防篡改检测及专用的树状 UI 编辑器。
* **Firewalld:** 实现对区域、服务、端口和规则的集中式控制,并集成验证功能。
**平台与 UI 全面重构:**
* **PatternFly 6 界面:** 采用现代化的全路由 Web UI,支持服务端分页,提升了可访问性 (WCAG 2.2 AA),并为配置增加了更完善的安全防护机制。
* **细粒度 RBAC:** 权限管理从全局调整为按操作进行管理,支持更精确的权限委派。
* **Polkit:** 新增通过 `action.lookup()` 实现的可变条件支持。
**安全性增强:**
* 强化了 mTLS 证书绑定,优化了密钥加密(迁移至 HKDF),并改进了日志记录规范以防止敏感数据泄露。
* 全面更新依赖项,并修复了已知的 CVE 漏洞。
**技术说明:**
* 系统现在在服务器、代理(Agent)和前端之间采用了统一的基于 Protobuf 的策略目录。
* **升级要求:** 代理必须更新至 v0.8.0 才能支持新的策略类型。
* 详细的更新日志及适用于各主流 Linux 发行版的安装包,请查看 GitHub 发布页面。
为了改进他的浓缩咖啡机,作者将专业软件可观测性原则应用于他的 Gaggia 咖啡机,将其视为一个分布式系统。
他用 ESP32 替换了原装控制器,用它来捕获“追踪”(冲煮过程)和“指标”(温度、压力和流量)。由于 ESP32 内存有限,他实现了一种自定义的、扁平化的 OpenTelemetry (OTLP) 模式,通过匹配上游 protobuf 字段编号确保了与标准采集器的兼容性。为了保护机器的实时控制回路,他采用了双核架构:一个核心通过非阻塞快照模式处理传感器数据,另一个核心管理网络通信,从而确保遥测数据永远不会阻碍冲煮过程。
所有数据都被传输到 ClickHouse Cloud。通过利用列式数据库,作者规避了传统的“高基数爆炸”问题,使他能够将高分辨率传感器曲线与特定的冲煮 ID 进行关联。他还通过自定义的 OpenTelemetry 采集器,利用 MQTT 整合了家庭传感器。最后,一个 AI 代理会对这些数据进行分析以提供可操作的反馈,将原始遥测数据转化为一个持续改进的闭环。该项目证明了 OTLP 是一种通用契约:无论是用于生产集群还是厨房电器,其模式都是相同的。