南加州大学维特比工程学院学生运营的火箭推进实验室 (USCRPL) 最新研发的火箭 Aftershock II 打破了国际海拔记录，达到了 470,000 英尺，比之前的记录高出 90,000 英尺。Aftershock II 于10月20日在内华达州黑岩沙漠火箭发射场成功发射，速度达到5283英尺/秒，5.5马赫。该火箭采用新的航空电子设备、改进的安全和数据集成系统，以及包括新油漆和钛涂层翅片在内的热保护系统，使其能够承受高超音速。这枚火箭也是学生制造的动力最强劲的固体推进剂火箭。
阅读更多
本文介绍了Erlang编程语言的并发、容错和分布特性。Erlang基于Actor模型，通过进程和消息传递实现并发。容错机制包括进程链接和监控。OTP框架提供了行为、监督器和GenServer等组件，简化了容错和可扩展系统的构建。分布式Erlang允许程序在多台机器上运行并通信，但存在一些问题，例如大规模集群的可扩展性、缺乏细粒度控制、网络分区、单邮箱瓶颈和物理限制等。
阅读更多
本文研究了基于输入优化计算流程的动态执行技术，旨在识别可以用更少资源解决的简单问题。讨论的技术包括深度网络的提前退出、语言模型的推测性采样和扩散模型的自适应步骤。实验结果表明，这些动态方法可以显著提高延迟和吞吐量，而不会影响质量。结合量化等基于模型的优化，动态执行提供了一种强大的多管齐下的AI推理优化策略。文章还介绍了将这些技术集成到英特尔性能库和Huggingface Optimum中的案例，以提高其易用性和采用率。
阅读更多
kapa.ai是一家帮助科技公司构建AI支持和引导机器人的公司，目前正在招聘软件工程师、客户经理和应用AI研究工程师。kapa.ai已获得Initialized Capital、Y Combinator等知名投资机构的投资，其产品已被OpenAI、Mixpanel等150多家领先的初创公司和企业使用，服务超过75万开发者。
阅读更多
本文解释了作者Daniel Stenberg为何不断收到关于Cisco AnyConnect VPN客户端问题的邮件。由于libcurl库被AnyConnect使用，而作者是libcurl的首席开发者，其联系方式出现在软件中，导致很多用户误以为他是AnyConnect的支持人员。作者澄清他与Cisco和AnyConnect无关，并提供了AnyConnect的正确支持邮箱地址[email protected]。
阅读更多
本文讲述了AdGrok公司在创立初期被前雇主Adchemy起诉，面临巨大财务危机的故事。AdGrok借助Y Combinator创始人Paul Graham和Sam Altman的帮助，分别对Adchemy的投资者和潜在商业伙伴Microsoft施压，最终迫使Adchemy撤诉。虽然AdGrok赢得了诉讼，但这场斗争耗尽了创始人的精力，最终公司被Twitter收购，产品下线。而Adchemy虽然融资超过1.2亿美元，但最终以低价出售，投资人损失惨重，CEO Murthy Nukala却带着巨额补偿金离开。
阅读更多
最新研究发现，鲑鱼和鳟鱼等鱼类的大脑中存在健康的微生物群落，这一发现对“健康脊椎动物大脑中存在微生物群”这一观点提供了有力证据。科学家们通过提取鱼脑DNA并与其他器官的微生物DNA进行比较，发现某些细菌具有穿越血脑屏障并在脑组织中生存的特殊机制。尽管鱼类和人类生理结构存在差异，但该研究表明人类大脑也可能存在微生物群的可能性，并可能在神经生物学中发挥重要作用。
阅读更多
本文概述了 QEMU 项目中使用 Rust 语言的路线图。QEMU 9.2 版本已初步支持 Rust，并通过了单元测试和迁移测试，但 Rust 支持尚未默认启用。路线图涵盖了构建系统改进、完善 pl011 设备的功能、避免未定义行为、安全的 QOM 类定义、QOM 方法调用、回调、追踪/日志记录、数据结构互操作性以及使用最新 Rust 特性等方面。文章还讨论了利用 Cargo 和 Meson 等构建工具改进 Rust 代码管理，并分析了与 C 代码交互和数据转换等方面的挑战。
阅读更多
Simon Willison 开发了一个名为 sqlite-utils-ask 的插件，允许用户使用自然语言直接查询 SQLite 数据库和 CSV/JSON 文件。该插件通过将数据库 schema 和用户问题发送给大型语言模型（LLM）来生成 SQL 查询，并执行查询返回结果。用户还可以提供示例值以帮助模型生成更准确的查询。该工具支持多种文件格式，包括 CSV、TSV 和 JSON，并兼容多种 LLM，例如 gpt-4o-mini 和 Claude 3.5 Sonnet。
阅读更多
暴雪即将于12月13日从GOG平台下架初代《魔兽争霸》和《魔兽争霸II》的DRM-Free版本，此举正值暴雪推出这两款游戏的重制版之际。GOG为应对这一情况，启动了“游戏永久保存计划”，承诺即使游戏下架，已购买的用户仍可继续访问并获得更新，以确保游戏与未来系统兼容。GOG版本的游戏在网络代码和DirectX封装方面进行了改进，以提升在现代显示器上的分辨率。此次下架事件也凸显了GOG与游戏发行商之间在经典游戏保存方面的理念差异。
阅读更多
本文档是Copper项目的发布日志，记录了从v0.2.3到v0.5.0版本的更新内容，包括新特性、改进和错误修复。主要更新包括：确定性日志回放、对齐任务、移除生命周期trait、命名输出映射、CuTimeRange的引入、Windows兼容性改进、Iceoryx2支持、Hesai XT32支持、模拟API支持、配置嵌入、多源和可选输入API、监控系统集成、以及各种驱动程序的支持和错误修复等。
阅读更多
作者在画廊工作三年半后辞职，总结了六条经验教训。他将一份乏味的工作变成了自己喜欢的工作，并体会到即使在机构中工作，也应该积极主动，承担责任，并努力使自己的工作与机构的目标相一致。他还观察到成功的艺术家如同优秀的创业者，专注于作品质量，并持续改进。此外，他认识到糟糕的展览往往耗费更多精力，与高效的艺术家合作能事半功倍。他还强调了经济增长对艺术的重要性，认为艺术家有责任确保艺术的经济可行性。最后，他发现找到激励机制与个人价值观相符的工作至关重要，并指出大多数人并没有认真对待工作。
阅读更多
作者比较了Haskell和OCaml在生产环境中的使用体验。Haskell语法简洁优雅，功能丰富，但过多的特性和复杂的工具链有时会降低生产力。OCaml功能较少，但更专注于构建实际应用，工具链更简单直接。两者都属于小众函数式编程语言，生态系统相对较小，但对于常见任务都有解决方案。作者最终更倾向于OCaml，因为它更专注于实际构建，而Haskell的复杂性有时会分散注意力。
阅读更多
本文探讨了软件的本质，认为软件并非物理实体，也不是代码文本或算法本身，而是一种抽象的人工制品。作者引用了Nurbay Irmak的观点，认为软件类似于音乐，其存在不依赖于特定的物理载体或执行实例。软件可以被修改、版本更新，但其身份仍然保持不变。文章还讨论了软件消亡的标准，包括作者消失、所有副本被销毁、不再被执行以及无人记得它。
阅读更多
树莓派工程师调整了Pi 5的SDRAM时序和其他内存设置，在默认2.4 GHz频率下实现了10-20%的性能提升。结合NUMA仿真和超频至3.2 GHz，性能提升可达32%。这些改进可能很快会在固件更新中提供给所有Pi 5和Pi 4用户。文章作者Jeff Geerling测试了这些改进，并再次创造了Geekbench 6的世界纪录。
阅读更多
本文讲述了斯佩里兰德公司的发展历程。该公司由斯佩里公司和雷明顿-兰德公司于1955年合并而成，是当时美国最大的公司之一，生产多种产品。合并后，公司进行了重组，成立了五个主要部门。公司在计算机领域取得了显著进展，推出了UNIVAC Solid State等一系列计算机，并参与了世界首批超级计算机之一——UNIVAC LARC的研发。尽管面临IBM的激烈竞争，斯佩里兰德公司仍然不断创新，推出了UNIVAC III、UNIVAC 1107、UNIVAC 1108等机型。公司还收购了其他公司，例如Clary Corporation和RCA的计算机部门，并最终更名为斯佩里公司。由于市场竞争压力，公司将重心转向软件和服务，最终于1986年被Burroughs收购，合并后的公司命名为Unisys。
阅读更多
LookAtThat 是一款能够将源代码以 3D 形式渲染的 macOS 和 iOS 应用。用户可以通过 TestFlight 下载测试版，或克隆代码库自行构建。该应用目前处于公测阶段，欢迎贡献代码。核心库包括 SwiftGlyph 和 MetalLink。未来计划加入编辑、多窗格编辑、追踪、录制和高亮文件轨迹等功能，并支持更多 AST 解析器。
阅读更多
玛莎·威尔斯创作了21世纪科幻小说中最具标志性的人物之一：杀戮机器人，一个不情愿的人类救世主。在她自己的生活中，她也曾面临生存威胁。威尔斯在2017年中篇小说《所有系统都红了》中首次推出了这个角色。这部小说出乎意料地大受欢迎，甚至震惊了威尔斯的出版商。之后，更多故事和中篇小说相继问世，以及几部长篇小说。威尔斯获得了该类型的所有主要奖项：四项雨果奖，两项星云奖和六项轨迹奖。在她成名之后，一系列挑战接踵而至，而正是她周围的支持、社群，甚至是她笔下的杀戮机器，帮助她度过了难关。
阅读更多
本文探讨了布隆过滤器背后的数学原理，分析了其准确性和权衡，并解释了为什么布隆过滤器在某些情况下，尤其是在大数据、OLAP系统以及处理庞大且相对静态的数据集时是一个 excellent 的选择。文章详细解释了布隆过滤器的组成、插入和检查元素的函数，并用示例说明了其工作原理。此外，文章还深入探讨了假阳性概率的数学推导，并通过近似计算和微积分找到了最佳哈希函数数量和过滤器大小，以最小化假阳性概率。最后，文章提供了一个计算最佳过滤器大小的通用公式，并提出了一个关于如何表示已删除元素的思考题。
阅读更多
本文以科幻电影《异形》系列中的异形为研究对象，从动物学和生物化学角度对其进行了推测性分析。文章首先提出了异形的假设分类，将其归类为动物界、节肢动物门、螯肢亚门下新设的异形目、异形科、异形属，并命名为“异形外星种”。随后，文章详细描述了异形的形态特征，包括外骨骼、头胸部、螯肢、肢体、蝎尾状尾巴和产卵器等，并将其与地球上的节肢动物进行比较。接着，文章探讨了异形的生物化学特征，重点分析了其酸性血液的成分和作用机制，以及外骨骼的耐酸特性和荧光颜色。最后，文章阐述了异形的寄生行为，将其与寄生蜂等地球生物进行类比。
阅读更多
本文详细介绍了网友Will基于电影《勇闯夺命岛》中的VX毒气罐制作的复制道具。Will分享了制作过程、材料选择以及遇到的挑战。毒气罐的核心部件“珍珠串”由充满芦荟胶的空心玻璃珠串联而成，连接过程繁琐且易碎。罐体则主要由树脂、丙烯酸、黄铜和铝棒构成，内部的电子元件只是装饰性的降压转换器。Will还展示了外部储藏盒，由旧坦克壳体改造而成。
阅读更多
本文探讨了肯尼亚咖啡质量下降的原因，指出问题根源并非品种更迭，而是肯尼亚根深蒂固的殖民主义色彩的咖啡出口体系。该体系层层剥削咖农的利润，导致咖农缺乏投资动力，从而影响咖啡品质。作者详细分析了肯尼亚咖啡的生产和出口流程，揭示了其中存在的腐败、贿赂和不透明现象，并指出该体系导致咖农收入微薄，无力改进生产技术和工艺。此外，文章还探讨了肯尼亚咖啡独特的“二次发酵”工艺，以及咖啡产量下降对加工效率的影响。作者认为，要解决肯尼亚咖啡质量下降的问题，必须改革现有的出口体系，提高咖农收入，并鼓励小型合作社和微型加工厂的发展。
阅读更多
KlongPy 是 Klong 数组语言的 Python 实现，它利用 NumPy 提供高性能的向量化操作。KlongPy 结合了内置模块和 Python 丰富的生态系统，方便开发者使用简洁的语法快速开发应用程序。其核心功能包括：基于 NumPy 的向量化操作、CPU 和 GPU 后端支持，以及与 Python 生态系统的无缝集成。KlongPy 提供数组编程、高速计算、快速列式数据库、进程间通信、表格和键值存储、Python 集成、Web 服务器和定时器等功能。它适用于数据科学家、分析师、研究人员和编程语言爱好者。
阅读更多
Mesa 25.0版本中，Radeon "RADV" Vulkan驱动程序将默认启用对VCN 2.x和VCN 3.x硬件的Vulkan视频API支持。由于AMD向linux-firmware.git仓库提交了新的固件，更新后的固件包含了必要的更改，RADV Vulkan视频集成能够通过所有必需的Vulkan API一致性测试套件（CTS）测试，涉及视频编码/解码处理。此举标志着跨平台开放视频编解码API的更好支持。此前，Vulkan视频支持在Mesa RADV驱动程序中一直可用，但默认情况下处于禁用状态。
阅读更多
CapibaraZero是一个基于Espressif芯片的低成本FlipperZero替代品。该文档介绍了如何构建CapibaraZero，并提供固件下载、使用指南以及社区交流渠道，包括Matrix和Discord。
阅读更多
该页面是一个名为 Vimeo 的视频网站，内容是 Guillaume Slizewicz 的碳技术结构视频。访问该视频需要进行人机验证，以确认访问者不是机器人程序。
阅读更多
英特尔公司宣布，首席执行官帕特·基辛格 (Pat Gelsinger) 已退休，并于2024年12月1日起卸任董事会职务。公司任命David Zinsner和Michelle Johnston Holthaus为临时联席首席执行官，同时董事会进行新CEO的遴选。Holthaus还被任命为新设立的英特尔产品事业部首席执行官，该事业部涵盖客户端计算、数据中心与人工智能以及网络和边缘三大业务部门。董事会独立主席Frank Yeary将在过渡期担任临时执行主席。董事会已成立专门的遴选委员会，将积极寻找基辛格的永久继任者。
阅读更多
华为发布了Mate 70系列手机，这是首批搭载其自主研发的HarmonyOS NEXT操作系统的手机。该系统完全自主研发，不依赖开源安卓代码。Mate 70系列在中国的预订量已超过300万，表明了强劲的国内市场兴趣。华为强调了Mate 70系列的人工智能功能，例如高级照片编辑工具。该系列包含三款机型：Mate 70、Mate 70 Pro和Mate 70 Pro+。华为还发布了新款折叠手机Mate X6。HarmonyOS NEXT的推出不仅限于新的Mate 70系列，旧款华为设备也将在未来几个月内获得升级。
阅读更多
本文介绍了1985年日本Ampere公司推出的一款名为WS-1的翻盖式便携电脑。这款电脑由日立生产的HD68000处理器驱动，拥有独特的外观设计，并采用APL编程语言。WS-1配备了8 MHz CPU、64 KB内存（可扩展至512 KB），支持打印机、软盘驱动器和硬盘。虽然功能强大，但由于不符合FCC排放规定，WS-1未能在美国上市，但在英国和澳大利亚有售。文章引用了多家杂志对WS-1的报道，详细介绍了其配置、功能和市场反响。
阅读更多