1908年9月17日,托马斯·塞尔里奇中尉在弗吉尼亚州迈尔堡与奥维尔·莱特一起乘坐飞机时,成为首位在动力飞机坠毁事故中丧生的人。这次飞行是美国陆军对莱特飞行器的评估的一部分,购买可能取决于评估结果。
塞尔里奇是一位开创性的军事飞行员,1903年毕业于西点军校,并迅速参与早期的航空实验。他已经创造了历史,成为第一个在加拿大乘坐重于空气的飞行器作为乘客的人,也是第一个驾驶单人飞机的美国军官。
在演示过程中,螺旋桨在飞行途中断裂,导致灾难性的坠毁。奥维尔·莱特幸存下来,但身受重伤,塞尔里奇则遭受了致命的头骨骨折。这起事故凸显了早期航空的固有危险以及缺乏安全措施。
尽管发生了悲剧,但该事件促进了飞机设计和安全协议的改进,包括航空头盔的引入。塞尔里奇现在被安葬在阿灵顿国家公墓,并被列入国家航空名人堂,他不仅被铭记为航空业的首位伤亡者,还是一位敬业的工程师和创新者。
## Velxio:本地 Arduino & Raspberry Pi Pico 开发 Velxio 是一款免费且开源的、基于浏览器的 Arduino 和 Raspberry Pi Pico 项目编辑器和模拟器。它提供了一个完整的本地开发环境——无需账户、云连接或延迟。 主要功能包括具有语法高亮显示的 Monaco 代码编辑器、真实的 AVR8/RP2040 CPU 模拟、库管理器和串口监视器。它支持超过 48 种交互式电子元件,并使用 `arduino-cli` 后端将代码编译成标准的 `.hex` 或 `.uf2` 文件。 Velxio 被定位为 Wokwi 的自托管替代方案,利用了相似的开源库,但完全在您的机器上运行(通过浏览器或 Docker)。目前支持 Arduino Uno 和 Raspberry Pi Pico,并计划在未来添加更多开发板。它采用 GNU AGPLv3 许可,并提供商业许可。
一位技艺精湛、拥有厨师背景的烘焙师,在阿蒙森-斯科特南极站担任唯一的烘焙师,迎接一项艰巨的任务。她带着专业的工具和珍爱的食谱抵达,很快发现这里与她之前的烹饪经历形成了鲜明对比——这里提供的是基础的、预制食品。 尽管最初因她的高海拔出生和药物而充满兴奋,但工作的现实很快降临:在永恒的日光下,进行漫长而孤立的轮班(“中鼠”),为150名科学家和后勤人员烘焙。她面临着严重限制且经常过期的食材——闻起来像石油的面粉、存放了几十年的樱桃和冷冻鸡蛋——以及士气低落的问题。 虽然南极站本身出人意料地平淡,充满了公共休息室和古怪的项目,但艰苦的工作和糟糕的补给品还是造成了损害。作者靠着拉面和走私的零食维持生计,在三个月的任期内与疲惫和日益增长的失败感作斗争。
Durdraw 是一款免费开源的 ASCII、Unicode 和 ANSI 艺术编辑器,专为类 Unix 系统(Linux、macOS)设计。它灵感源自经典的 DOS 编辑器 TheDraw,将这些功能带到现代终端,具有高速动画、256/16 色支持、鼠标绘图和画笔工具等特性。
它独特地处理 MS-DOS ANSI 艺术、CP437 和 Unicode,提供转换和混合选项,以及 HTML 和 mIRC 输出。还可使用自定义主题。Durdraw 包含配套工具:Durfetch,用于显示动画系统信息;以及 Durview,一个 ANSI 艺术包查看器。
Durdraw 可通过 GitHub 和操作系统软件包仓库获得,是一个由捐赠支持的热情项目。贡献有助于开发成本,并深表感谢。通过 GitHub 和 Discord 提供支持,欢迎贡献(错误报告、反馈、代码)!
启用 JavaScript 和 Cookie 以继续。
杰克·多西正在卸任 Bluesky 的首席执行官,这家他于 2019 年创立的去中心化社交媒体平台,并将转型为首席创新官。Bluesky 拥有超过 4000 万用户,已证明了基于开放 AT 协议构建的、以价值观为驱动的社交网络的可行性。 多西认为,公司现在需要一位专注于规模化和执行的领导者,以便他能够重新专注于创新和新发展。为此,Automattic(WordPress.com)前首席执行官兼 Bluesky 顾问托尼·施奈德将担任临时首席执行官,直至找到永久继任者。 这一变化反映了多西希望专注于他的优势——愿景和构建,同时利用施奈德的运营专业知识来指导 Bluesky 的持续增长。施奈德及其公司 Automattic 和 True Ventures 都投资于 Bluesky 的使命,即创建一个更加开放和用户控制的互联网。
## 绑定表达式:一种新的Java DSL方法 绑定表达式,通过Manifold编译器插件探索,引入了一种在Java中直接定义领域特定语言(DSL)的新方法。其核心思想是将表达式之间的邻接关系视为二元运算符,允许它们基于静态类型“绑定”。 不同于修改基本类型或使用宏,绑定表达式利用类型上定义的`prefixBind`和`postfixBind`方法来解析相邻表达式。例如,`2025 July 19`可以通过链式绑定编译成`LocalDate`。编译器系统地探索可能的简化,从失败的尝试中“退回”,直到形成有效的、类型安全的表达式。 这种方法能够创建直观的单位系统语法(`299.8M m/s`),类似自然语言的DSL,以及自定义字面量语法——所有这些都具有静态类型安全性和零运行时开销。Manifold已经将其用于科学库(单位)、范围和向量数学。 虽然功能强大,但绑定表达式会引入解析复杂性以及语法-语义边界的转变。它们可能还需要开发者学习。然而,它们提供了一种灵活且非侵入性的方式来扩展Java的表达能力。
## robotmem:一种用于机器人的结构化记忆系统
robotmem是一个新颖的系统,旨在通过存储和检索过去经验来改进机器人学习。在运行1000次实验后,使用robotmem的机器人在FetchPush任务中,**成功率提高了25%**(从42%到67%),仅在CPU上花费了5分钟即可实现。
该系统通过使用`learn`、`recall`和`save_perception`等API记录每个“episode”的参数、轨迹和结果。与简单的向量搜索不同,robotmem理解机器人经验的*结构*,允许基于成功、空间邻近性和特定参数通过`context_filter`和`spatial_sort`进行检索。
主要功能包括自动记忆巩固(合并相似经验)和后续episode的主动回忆。数据存储在单个SQLite数据库中,可通过Python导入或Web UI访问。robotmem通过提供结构化过滤、空间检索和物理参数存储来区分于现有的记忆系统(MemoryVLA、Mem0),这些对于机器人应用至关重要。