智能战舰遭遇软件故障:美军“约克城”号瘫痪始末
1997年9月21日,美国海军“约克城”号巡洋舰在演习中因软件故障瘫痪近三个小时。该舰在现代化改造中引入了“智能舰船”系统,但数据库应用程序中的除零错误导致舰船控制系统崩溃。尽管故障最终排除,“约克城”号事件暴露了软件开发、系统设计和项目管理中的缺陷,引发了对智能舰船计划的质疑。
阅读更多
1997年9月21日,美国海军“约克城”号巡洋舰在演习中因软件故障瘫痪近三个小时。该舰在现代化改造中引入了“智能舰船”系统,但数据库应用程序中的除零错误导致舰船控制系统崩溃。尽管故障最终排除,“约克城”号事件暴露了软件开发、系统设计和项目管理中的缺陷,引发了对智能舰船计划的质疑。
阅读更多
本文讲述了兽医护士Sarah Perry为一只名叫Comma的大鹅治疗的故事。Comma疑似患有罕见的口蹄疫,Sarah对它悉心照料,最终治好了它的病。
阅读更多
美国纽约Qunnect公司的科学家们在纽约市地下进行了一项量子互联网原型网络测试。他们使用了一种名为GothamQ回路的34公里长光纤电路,利用偏振纠缠光子实现了长达15天的连续运行,系统正常运行时间高达99.84%。这项研究解决了光纤环境中纠缠态的脆弱性和信号传输效率问题,为量子互联网的实际应用迈出了重要一步。
阅读更多
FutureRack 是一款家用服务器机架产品,旨在将数据中心的强大功能带入家庭环境。它提供了一种新的生活方式,可以管理家庭网络、存储数据、运行应用程序等,并可以通过不同的配置和设置进行个性化定制。
阅读更多
DeepComputing公司发布了搭载RISC-V架构处理器的平板电脑DC-ROMA RISC-V Pad II,售价149美元起。该平板电脑配备八核SpacemiT Key Stone K1 SoC处理器,最高支持16GB内存和128GB存储空间,运行Ubuntu Desktop 24.04操作系统,并支持触控输入和外接键盘。
阅读更多
本文回顾了1901年出版的《欲望之疫:古典时代性病的历史》一书。作者Julius Rosenbaum医生在书中探讨了古代性传播疾病的历史,并对古希腊和古罗马时期的性习俗进行了评述。书中充斥着对各种性病症状的详细描述,以及对古代社会道德败坏的指责。
阅读更多
ThreadPlotter 是一款支持使用 X-Y 绘图仪将图像设计、编辑和打印为针刺绣的工具包。它提供了将 X-Y 绘图仪转换为针刺绣机的步骤,包括:确保绘图仪适合该任务、获取或创建针、织物和框架等物理组件以及设计针刺绣图案。
阅读更多
索尼计划最终停止生产面向消费者的可刻录蓝光光盘,但游戏和电影蓝光光盘等商业产品仍将继续生产。索尼仙台技术中心将裁员250人,该中心生产CD-R、DVD-R、BD-R等可刻录光盘格式以及面向日本地区的档案光盘。标准蓝光光盘、4K UHD光盘以及PlayStation 4、PlayStation 5和Xbox蓝光光盘仍将在索尼独立的DADC(数字音频光盘公司)工厂生产、发货和在全球销售。
阅读更多
CodiumAI Cover-Agent 是一款开源工具,旨在利用生成式 AI 自动化和增强测试(目前主要是单元测试)的生成,从而简化开发流程。它可以从终端运行,并计划集成到流行的 CI 平台中。Cover-Agent 通过分析代码库、生成测试提示并与大型语言模型(LLM)交互来自动创建单元测试,从而提高代码覆盖率。
阅读更多
KLEE 是一个基于 LLVM 编译器基础设施构建的符号虚拟机,它包含两个主要组件:核心符号虚拟机引擎,负责执行包含符号值的 LLVM 位码模块;以及面向 uClibc 的 POSIX/Linux 仿真层,支持符号化部分操作系统环境。KLEE 还提供了一个简单的库,用于在本地代码上重放计算的输入,以及一个更复杂的基础设施,用于重放为 POSIX/Linux 仿真层生成的输入。
阅读更多
NVIDIA发布了Nemotron-4 340B,这是一系列开源模型,开发者可以使用这些模型生成合成数据,用于训练针对医疗保健、金融、制造、零售等各个行业的商业应用的大型语言模型(LLM)。Nemotron-4 340B系列包括基础模型、指令模型和奖励模型,它们构成了生成用于训练和优化LLM的合成数据的管道。
阅读更多
北欧线上百货商店Boozt AB封禁了约6万名有过度退货行为的客户,以减少“连续退货者”带来的高昂成本。退货导致零售商收入损失,并增加处理退货商品的成本,加剧浪费。Boozt此举预计节省数百万美元。
阅读更多
昆士兰大学的研究人员在理解衰老和发育的分子机制方面取得了重大进展,强调了基因调控元件及其与转录因子相互作用的关键作用。研究发现,一种名为AP-1的转录因子是决定基因活性从出生到成年再到老年转变的关键因素。AP-1通过激活成人基因并抑制早期基因的活性,在不同细胞类型中表现出持续的活性,这表明了衰老的基本机制。该研究为解决阿尔茨海默病、代谢紊乱和中风等与年龄相关的疾病提供了希望。
阅读更多
本文介绍了如何使用 Go 程序读取谷歌表格数据。文章提供了两种方法:使用服务账户和 OAuth 2.0。使用服务账户时,需要创建服务账户并下载私钥,然后在程序中使用私钥进行身份验证。使用 OAuth 2.0 时,需要在 GCP 控制台中设置 OAuth 2.0 客户端 ID,并在程序中使用客户端 ID 和密钥进行身份验证。文章还提供了一个完整的示例程序,演示了如何使用这两种方法读取谷歌表格数据。
阅读更多
SREBench 是一个用于比较人工与 AI 在事件响应时间方面表现的平台。Parity 的 AI SRE 在 SREBench Leaderboard 上的成功率为 70%,平均修复时间 (MTTR) 为 2 分钟。该平台还举办竞赛,排名第一的人类参与者将赢得 100 美元的亚马逊礼品卡。
阅读更多
大型语言模型(LLM)虽然革新了自然语言处理领域,但也存在偏见和生成有害内容的风险。文章研究发现,采用强化学习人类反馈(RLHF)等校准技术虽然能减少这些问题,但也会降低模型的创造力,即语法和语义多样性。文章通过对 Llama-2 系列模型进行的实验,揭示了校准后的模型在标记预测中熵值较低,嵌入空间中形成独特的聚类,并倾向于“吸引子状态”,表明输出多样性有限。
阅读更多
加州大学圣地亚哥分校的研究人员和材料公司Algenesis找到了一种利用聚氨酯制造塑料的方法,这种“生物基”聚氨酯聚合物可以在自然环境中堆肥和分解,而典型的石油基塑料聚合物通常无法进行生物处理。研究人员发现了一种堆肥中的细菌菌株,可以完全依靠聚氨酯塑料生存,这意味着这些材料是完全可生物降解的。这项研究表明,他们以植物为基础的聚合物可以在不到7个月的时间内生物降解到微塑料水平以下。
阅读更多
Yoshi Mobility 公司宣布将开始把通用汽车 BrightDrop Zevo 600 电动送货车改装成移动电动汽车超级充电站,为车队运营商提供更便捷的充电服务。这些移动充电站配备 240 kW 直流快速充电器,可以为 5 到 7 辆车提供服务,并计划在 2025 年第一季度开始大规模商业化。 Yoshi Mobility 还计划推出其他车型的移动充电站,并通过收购 Mobile Auto Concepts Inc. 等公司扩展其服务范围,致力于加速车队电动化转型。
阅读更多
本文探讨了领英平台对于外部链接的“抗拒”现象。作者指出,领英算法刻意降低了外部链接的权重,迫使用户将内容直接发布在平台上,以增加用户粘性和平台内容量。作者将这种做法比作电信领域的“零评级”,认为这是一种损害互联网开放性的行为,并呼吁监管机构关注。
阅读更多
VMware宣布其Workstation Pro和Fusion Pro桌面虚拟化产品将免费供个人使用。这两个产品允许用户在本地计算机上创建虚拟机,用于运行不同的操作系统或创建沙盒环境来运行特定软件。公司表示,免费版本和付费商业版本之间没有功能差异,唯一的视觉区别是免费版本会显示“本产品仅供个人使用”的文字。商业用户仍需购买付费订阅。
阅读更多
QuickJS-ng 是 QuickJS 的一个友好分支,专注于重振该项目。QuickJS 是一款强大JavaScript引擎。在 2023 年 10 月,@bnoordhuis 和 @saghul 决定 fork QuickJS 项目,目的是重振它。截至 2023 年 12 月,最初的目标已基本实现。@bellard 恢复了对该项目的开发,双方从那时起就一直在相互 pull 补丁。截至 2024 年初,双方都认为,正确的方向是合并这两个项目,并将工作结合起来。
阅读更多
美国政府起诉佐治亚理工学院及其合约实体,指控其未能达到国防部为合约授予者设定的网络安全标准。 举报人 Christopher Craig 和 Kyle Koza 指控该机构未能保护受控非机密信息 (CUI),其中包括未能制定符合 DoD 标准的网络安全计划、未能在所有设备上实施反恶意软件解决方案以及提交虚假的网络安全评估分数。 这起诉讼是根据《虚假申报法》提起的,该法案旨在惩罚那些明知故犯地将美国 IT 系统安全置于风险之中的实体。
阅读更多
Paywall Skipper 是一款免费服务,可以绕过付费墙,让用户免费阅读付费新闻网站的文章。用户只需复制文章链接到 Paywall Skipper 网站,即可解锁阅读。与每月订阅主流新闻网站相比,使用 Paywall Skipper 每年可节省超过 2000 美元。
阅读更多
美国邮政署被曝与其网站用户共享邮寄地址数据,包括 Meta、LinkedIn 和 Snap 等科技巨头。 邮政署声称“未意识到”这一行为,并表示已采取措施“纠正”问题,停止了这种做法。 调查发现,邮政署网站上的数据收集代码在用户登录后会收集用户的邮寄地址和其他信息,并将其发送给这些公司。 尽管邮政署表示已采取措施解决问题,但并未透露具体采取了哪些措施,也未说明是否会要求相关公司删除收集到的数据。
阅读更多
尽管目前太阳正处于第25个活动周期的中期,预计将在2025年年中达到峰值,但伯明翰大学的研究人员在分析太阳内部声波数据时发现,太阳下一个11年活动周期的迹象已经出现。研究人员通过太阳旋转速度和太阳扭转震荡的变化模式推测,第26个太阳周期预计将于2030年左右开始。
阅读更多
这篇文章介绍了一款名为“UNIX管道纸牌游戏”的教育类纸牌游戏。该游戏旨在帮助儿童学习如何通过管道组合UNIX命令,并提供了详细的游戏规则、任务示例以及卡牌样式。此外,文章还推荐了其他几款类似的教育类纸牌游戏,涵盖了编程、算法、计算机体系结构等方面的知识。
阅读更多
Mactop是一款专为苹果芯片设计的终端监控工具,使用纯Golang编写,代码不到1000行。它可以实时显示CPU和GPU使用情况、E核心和P核心、功耗以及其他系统指标。Mactop支持macOS Monterey 12.3+及以上版本,并可通过Homebrew轻松安装。
阅读更多
这篇文章重点介绍了 Bumble 首席执行官惠特尼·沃尔夫·赫德对“约会礼宾专家”这个新兴领域的看法。约会礼宾专家旨在通过使用人工智能来帮助个人找到更匹配的约会对象,并根据用户偏好定制体验。赫德认为,这一领域具有巨大的潜力,因为人工智能可以消除在线约会中的许多摩擦和偏见。文章还探讨了 Bumble 在利用人工智能改善约会体验方面所做的具体努力,包括 Bumble BFF 和 Bumble Bizz 等功能。
阅读更多