周六,66岁的玛格丽特·斯旺(Margaret Swan)在亚特兰大乘坐MARTA列车时,遭到了一起残忍且看似随机的持刀袭击,不幸身亡。监控录像显示,当列车接近奥克兰市车站(Oakland City Station)时,25岁的约翰·伊莱贾·马修斯(John Elijah Matthews)靠近斯旺,并对其进行了多次刺伤。 尽管急救人员进行了抢救,但斯旺在现场被宣告死亡。在目击者描述的帮助下,当局迅速在车站站台上逮捕了马修斯。他目前被关押在富尔顿县监狱,面临重罪谋杀指控。 这起悲剧加剧了公众对MARTA交通系统整体安全性的担忧,尤其是在佐治亚州立大学站(Georgia State Station)近期发生另一起袭击事件之后。尽管一些乘客将这些安全问题与近期票务收费政策的变动联系起来,但交通官员尚未证实二者之间存在直接联系。据报道,马修斯是一名无家可归者,原定于周一出庭。

**MoErgo Glove80** 是一款性能卓越的超薄分体式机械键盘,专为实现极致的人体工程学舒适度而设计。它具备凹面键位区、可调节的倾斜支架以及优化的拇指按键区,旨在减轻长时间打字带来的手部压力。 **主要亮点:** * **设计与定制:** 该键盘重量极轻,且支持全键位互换(所有键帽均为 1U 规格)。其高度可调的倾斜系统虽然安装过程略显繁琐,但提供了无与伦比的定位灵活性。 * **性能表现:** 键盘搭载 ZMK 固件,并配有精简的在线布局编辑器,使得刷入固件的过程远比 Kinesis Advantage 360 Pro 等竞品更为简便。其无线连接稳定性表现出色。 * **用户体验:** 尽管硬件手感相比 Kinesis 少了几分“高级感”或厚重感,但在实用层面表现更为优秀:小指区域按键更易触达,蓝牙连接性能更稳健,且拥有活跃且易于互动的 Discord 社区。 * **价值:** 售价 399 美元,比同类竞品略显实惠,并附赠保护性的旅行收纳盒。 **总结:** Glove80 是追求高可定制性、人体工程学和可靠性键盘的高阶用户的绝佳选择。它有效改进了竞品的缺陷,树立了行业的新标杆。

一篇关于 MoErgo Glove80 键盘的 Hacker News 讨论帖强调了用户在使用这款人体工学设备时的体验。一位用户表示成功从 Kinesis Freestyle 2 换到了 Glove80,并指出虽然学习曲线需要几周时间,但这款键盘现在非常高效。他们特别称赞了功能层的使用,这使得执行复制粘贴等复杂命令时无需扭曲手部,同时高度可定制的拇指按键区也提升了工作效率。然而,另一位评论者对文章宣传图中展示的人体工学设计提出了质疑,对图中手部姿势的自然程度表示怀疑。

2021年,加拿大媒体广泛报道称,在甘露印第安寄宿学校旧址的无名墓地中发现了215名儿童的遗骸。这一说法源于甘露印第安部落最初的声明,引发了公众的强烈愤慨,导致政府投入数亿资金,并引发了针对数十座教堂的纵火和破坏浪潮。 多年后,包括《环球邮报》在内的多家主流媒体悄然承认,从未发现任何人类遗骸。作家丹尼尔·麦卡锡指出,媒体将预设的“殖民叙事”置于事实核查之上,在未对相关说法进行审视的情况下就将其定性为历史事实。尽管该说法已被证伪,许多媒体在撤回报道时仍含糊其辞,将叙事置于问责之上。麦卡锡认为,这反映了加拿大和美国媒体界的一种普遍现象:媒体为了推动进步议程而牺牲新闻操守,最终助长了社会动荡和现实中的暴力。

在最近使用 Clojure 重写个人网站后,作者分享了学习该语言一个月后的积极感想。他指出了 Clojure 相比其他 Lisp 方言的三大主要优势: * **内聚性:** 与感觉像是“委员会设计”产物的 Common Lisp 不同,Clojure 提供了统一的“序列(seq)”抽象和标准化的操作,使用起来更为顺手。 * **实用性:** Scheme 虽然简洁但往往缺乏必要功能,而 Clojure 则是“内置电池”,拥有庞大的标准库,并能利用广阔的 JVM 生态系统。 * **数据结构:** Clojure 将向量、哈希映射和集合提升为一等公民,创造了比传统 Lisp“万物皆列表”方案更实用的开发体验。 尽管最初对复杂的语法(多种括号类型)以及最终需要了解底层 Java 生态系统存有顾虑,但作者认为 Clojure 既有趣又强大。他总结称,Clojure 是进行 Web 开发和脚本编写的高效工具,并计划通过解决 Project Euler 问题来继续他的学习之旅。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 使用 Clojure 约一个月后的想法 (acdw.net) 18 分,speckx 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

本项目介绍了一套基于手机的生物反馈系统,它利用设备麦克风实时检测呼吸模式,无需佩戴任何可穿戴设备,也不包含干扰性的游戏元素。该系统旨在培养自我意识,所有音频处理均在设备本地完成,以确保用户隐私;它分析的是呼吸的频谱形状和能量包络,而非语音内容,且不会上传任何原始音频数据。 其核心技术采用了一套稳健的流程,包括信号处理、用于跟踪呼吸阶段的自适应状态机,以及用于剔除模糊信号以避免错误反馈的数据质量层。虽然该系统利用机器学习不断优化精度,但其核心仍基于规则,以确保在各种复杂的现实声学环境中保持可靠表现。 目前,该工具已在应用程序 *shiihaa* 中实现,旨在提供温和、灵敏的实时反馈,而非通用的引导式呼吸。它仅作为健康与自我意识的辅助工具,而非医疗设备,旨在帮助用户找到属于自己的“共振范围”以保持平静。该项目目前仍处于研究阶段,正在针对临床标准进行验证,以提升其在各类不受控的日常硬件环境下的有效性。

瑞士家庭医生 Felix Zeller 推出了一款名为 **shii • haa** 的开源移动应用,旨在利用智能手机的麦克风提供呼吸模式的实时生物反馈。基于在急救和重症监护领域的经验,Zeller 开发该工具的核心目的在于促进自我觉察,而非游戏化体验。 该应用利用信号处理、状态机和机器学习技术来分析呼吸的节奏、深度和规律性。为确保用户隐私,所有音频处理均在设备本地完成,不会将原始音频或语音数据上传至服务器。内置的质量评估层可过滤背景噪音,以保持反馈的准确性。 与许多依赖奖励机制或绩效评分的健康应用不同,shii • haa 专注于正念,鼓励用户单纯地观察自己的呼吸习惯。Zeller 目前正在寻求具备信号处理、健康用户体验(UX)和移动音频工程专业知识的开发者提供反馈,以进一步完善该项目。

地球正面临前所未有的水资源危机。卫星数据显示,包括湖泊、河流和地下含水层在内的淡水资源正以惊人的速度消失。研究表明,全球75%的人口,即约60亿人,目前居住在经历“大陆干旱化”的地区。这一趋势在过去三十年中不断加剧,如今干旱地区已占地球陆地表面的40%以上。 这种严重的水资源短缺正对农业产生灾难性影响,尤其是在美国,干旱状况已导致小麦产量大幅减少。再加上农民运营成本的上升以及强劲的“超级厄尔尼诺”现象所带来的威胁,全球粮食安全正面临严峻压力。随着地球上超过四分之三的土地日益干旱,作者警告称,如果不做出重大改变,世界将面临一个大规模饥荒的时代。报告同时警示,尽管局势持续恶化,但全球绝大多数人口对这场正在浮现的环境与人道主义灾难的严重性仍缺乏认知。

Athena 是一款轻量级的、基于 Go 语言的变更数据捕获 (CDC) 解决方案,旨在将 MSSQL 数据库的变更(创建、更新、删除)流式传输至 Apache Kafka。与 Debezium 等复杂的替代方案不同,Athena 提供了一种简化的即插即用体验,在自动化数据库 CDC 配置的同时,为下游消费者提供直观的事件格式。 **主要特性:** * **易于使用:** 自动化 CDC 设置;仅需一个简单的 `config.json` 文件。 * **Kafka 集成:** 将变更流式传输至预先创建的 Kafka 主题,并支持 SASL 身份验证和 TLS。 * **运维灵活性:** 支持通过 `skippedTables` 排除特定数据表,并包含可选的 ClickHouse 日志记录功能。 * **管理功能:** 提供辅助命令以进行卸载、添加/删除 CDC 以及清除历史记录。 **入门指南:** 1. 下载预编译的二进制文件。 2. 创建一个包含您的 MSSQL、Kafka 以及(可选的)ClickHouse 凭据的 `config.json` 文件。 3. 手动创建目标 Kafka 主题。 4. 运行 `setup` 命令配置数据库,然后部署服务(例如在 Linux 上使用 `systemd`)以在后台运行 `athena run` 进程。 Athena 基于 MIT 许可证开源,并完全支持通过 Go 进行自定义构建。

一位开发者发布了 **Athena**,这是一个基于 Golang 的轻量级变更数据捕获(CDC)工具,旨在将 Microsoft SQL Server 的变更数据流式传输到 Apache Kafka。 Athena 的设计追求运维简洁,旨在提供一种比 Debezium 等复杂工具更易用的替代方案。它具备配置简单、支持 SASL 认证的 Broker 以及自动管理 CDC 设置等功能。该工具将数据库变更发布到单个 Kafka 主题中,并以简洁直观的格式交付事件,从而简化了下游应用程序的消费过程。 在讨论中,用户指出虽然基于 Kafka 的解决方案行之有效,但其他数据库也存在类似的实现,例如 Zendesk 用于 MySQL 的 Maxwell,它可以将变更流式传输到 ActiveMQ 等其他消息代理,以执行缓存失效等任务。

不起眼的塑料水瓶是数十年来不懈的工程设计和供应链创新的见证。虽然我们经常忽视一次性用品,但它们却是惊人技术努力的成果,从20世纪初易碎的玻璃瓶演变为当今高度优化、轻便的塑料瓶。 该行业向塑料的转型曾经历过早期失败,例如20世纪70年代可口可乐公司推出的丙烯腈“Easy-Goer”瓶,该产品因健康问题被禁用。这为PET(聚对苯二甲酸乙二醇酯)铺平了道路,事实证明它经久耐用、食品安全且具备无限的可扩展性。注拉吹塑(ISBM)工艺的发展彻底改变了生产方式,实现了数以十亿计产品的高速且经济高效的制造。 随着时间的推移,包装工程师们积极地对这些容器进行“轻量化”处理。现代瓶子,如超薄的尼亚加拉(Niagara)Eco-Air瓶,使用的塑料量比前代产品大幅减少,同时仍保持了在全球分销过程中生存所需的结构完整性。尽管围绕这些一次性用品存在环境担忧,但它们的设计代表了化学工程和物流方面的复杂成就。虽然消费与浪费的循环仍然是个问题,但塑料瓶的历史突显了人类不断优化即使是最短暂的日常物品的执着追求。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 比亚迪汽车零部件的 CT 扫描 (lumafield.com) 19 分,由 viasfo 发布于 32 分钟前 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助 embedding-shape 4 分钟前 | 下一条 [–] > 这个方形电池并不是刀片电池,但它们确实采用了相同的化学成分。 有点惊讶,这辆车上最有“比亚迪”特色的部件,竟然不是比亚迪刀片电池所用的那种电芯,这本来是我最期待看到的部分 :( 回复 kmoser 10 分钟前 | 上一条 | 下一条 [–] “你不会去给一辆车做 CT 扫描的!” 实际上,我们真的会:https://www.kmoser.com/ctscan/ 回复 viasfo 32 分钟前 | 上一条 [–] 比亚迪汽车零部件的 CT 扫描。比亚迪实现了完全的垂直整合,达到了 20 世纪初福特汽车以来前所未见的水平。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

随着人工智能成本飙升,Uber 已对每位员工使用 Claude Code 和 Cursor 等 AI 编程工具设定了每月 1500 美元的消费上限。此前,该公司曾大力鼓励员工使用相关技术,结果仅用了四个月就耗尽了全年的人工智能预算。 员工可以通过内部仪表板监控自己的使用情况,只有获得批准才能申请例外。这一转变反映出 Uber 管理层(包括首席运营官 Andrew Macdonald)日益增长的质疑——即人工智能的使用是否真的能直接转化为生产力的提升或面向消费者的产品改善。 Uber 的这一决定凸显了整个科技行业日益加剧的矛盾:尽管企业在人工智能领域投入巨资,但预期的投资回报大多仍处于理论阶段。随着最初的热情逐渐消退,各公司对“过高”的成本越来越警惕,并开始要求提供更明确的证据,以证明其人工智能支出确实能带来财务收益。

Uber 在短短四个月内耗尽了大部分预算,随后对员工的 AI 支出实施了上限,这一趋势反映出企业对失控的 AI 成本日益感到焦虑。Hacker News 上的讨论指出,随着各公司竞相集成 Anthropic Claude 等工具,“代币最大化”(即在处理每项琐碎任务时都使用高端模型)的习惯已变得难以为继。 评论者指出,尽管由于模型复杂性增加导致代币成本持续上涨,但企业仍难以衡量 AI 应用的实际投资回报率(ROI)。工程师们认为,目前的定价模式缺乏针对企业的可预测订阅上限,这助长了浪费行为。许多人注意到,公司早期吹嘘高 AI 采用率,如今却因预算触顶而不得不转向配给制,这显得颇具讽刺意味。 这场讨论表明科技行业正在产生更广泛的共识:AI 的重心正在转向软件维护成本和架构效率。最终,大家的共识是,除非企业能够有效地将模型能力与任务难度相匹配,否则 AI 支出仍将是一项不稳定且往往低效的企业开支。

吉姆·奎因(Jim Quinn)援引卡尔·萨根(Carl Sagan)1995年的警告,指出美国公众正受到统治精英系统性的“愚弄”,导致他们甘于无知,无法察觉美国帝国的崩溃。奎因认为,一个由亿万富翁技术官僚和政治傀儡组成的“深层政府”阴谋集团,正利用宣传、债务以及诸如“9·11”事件和新冠疫情等人为策划的危机来维持权力。 据奎因所言,美国正从赫胥黎式的“软性”操纵过渡到公开的奥威尔式极权主义,并由人工智能监控和海量数据中心强制执行。他将当前时代视为“第四个转折期”,即一个不可避免的衰落与动荡时期。奎因认为主流政治(包括唐纳德·特朗普的总统任期)不过是一场欺骗性的表演,旨在安抚民众,而精英阶层则在暗中推进人口缩减和全面管控。虽然他认为大多数公民已被过度驯化而无法“觉醒”,但他仍与那些拒绝接受当前现实的“愤怒少数派”站在一边。他总结道,当自由的幻象对精英阶层而言代价过高时,公众将面临最终抉择:是屈从于反乌托邦的技术古拉格,还是反抗即将到来的崩溃。

前政府效率部(DOGE)官员 Nate Cavanaugh 和 Justin Fox 创立了初创公司“Special”,旨在消除美国价值 10 万亿美元“主街”服务经济中的浪费。基于此前识别出 2150 亿美元政府财政节省额的经验,两位创始人计划对目前因低效而受阻的关键行业(如养老和托育服务)进行现代化改造。 该公司正在开发名为“SpecialOS”的人工智能操作系统,旨在自动化处理计费、排班和保险理赔等人工任务。Special 不打算仅仅通过授权软件获利,而是计划通过垂直整合,直接收购并运营相关企业,以确保实现最佳的部署效果。 他们的首个项目 Figure Health 专注于养老护理行业,并已收购了一家位于德克萨斯州的医疗服务提供商。通过利用人工智能简化运营,创始人旨在减少浪费、提高护理质量,并增加一线员工的工资。在包括 Andreessen Horowitz、Brian Armstrong 和 Shyam Sankar 在内的多位知名投资者的支持下,Special 致力于为基础服务行业的运营效率树立新标准。

本网站使用 Cookie 和类似技术来提升您的体验并提供所需服务。这些工具主要用于以下目的: * **基本功能**:用于启用所需服务并促进网络通信。 * **偏好设置**:用于存储用户未明确请求的设置。 * **分析**:用于进行一般性的匿名统计追踪,以了解网站使用情况。在大多数情况下,如果没有额外的第三方记录或法律程序,这些数据无法识别您的身份。 * **营销**:用于构建用户画像并追踪跨网站活动,以投放定向广告。 使用本网站,即表示您知悉并同意使用这些技术来管理功能、分析网站性能并支持个性化营销工作。

最近的一场 Hacker News 讨论凸显了人们对经典 HP-16C 计算机科学计算器(由惠普授权商生产)重新发售的兴奋之情。 社区的反响反映出人们对惠普传统硬件所带来的触感体验和高效性能有着强烈的怀旧之情。许多用户称赞了逆波兰表示法(RPN)的优越性,一些人指出他们至今仍在使用基于 RPN 的移动应用或现代替代品,因为他们觉得标准计算器并不直观。 这场讨论还提到了 SwissMicros,该公司生产备受推崇的现代版经典惠普计算器(如 DM42),对于那些无法找到或负担不起原始复古设备的人来说,它仍然是一个热门选择。虽然一些人对原始设备在二级市场上高达 500 美元的高价表示沮丧,但另一些人指出,新发售产品的 117 美元预购价格极具竞争力。总的来说,该讨论帖强调了科技爱好者对复古惠普计算器的做工品质和以逻辑为中心的设计的持久赞赏。

微软正在推出一款名为“Scout”的AI驱动自动驾驶工具,旨在代表用户在 Microsoft 365 环境中执行操作。该工具由企业副总裁 Omar Shahine 领导,利用受控的 Entra 身份在后台自主运行,无需持续提示即可执行任务。 Scout 集成了 Teams、Outlook、OneDrive 和 SharePoint,可访问聊天、邮件和日历中的数据。它还利用模型上下文协议(MCP)与外部应用程序和浏览器数据进行交互,从而打破了桌面、网页和云环境之间的壁垒。通过管理日常行政工作(例如安排会议、锁定日历时间以及识别项目瓶颈),Scout 旨在消除琐碎任务。其主要目标是主动处理工作流并标记潜在风险,让办公人员能够专注于更复杂、更高价值的职责。

微软近日发布了基于 OpenClaw 框架的自主 AI 智能体“Scout”。此举在 Hacker News 上引发了质疑与批评,反映出市场对微软近期 AI 战略及产品稳定性的普遍不满。 评论者对微软 365 生态系统中的持续性问题(如邮件服务中断和性能不稳定)表示沮丧,认为该公司专注于复杂的品牌重塑类 AI 项目,却牺牲了核心服务的可靠性。许多用户批评 OpenClaw 设计粗糙且缺乏安全性,还有人嘲讽了微软“Copilot”套件令人费解的命名策略。 讨论还涉及了微软的长期企业健康状况。尽管一些批评者称该公司已“走向没落”或机构臃肿,但支持者则指出,微软在企业基础设施、云服务(Azure)以及开发工具(GitHub、VS Code)领域依然拥有巨大的营收和统治地位。归根结底,这场讨论凸显了微软强大的市场实力与其日益下降的软件质量及产品专注度之间的矛盾。

作者指出,DOS 对双核的支持之所以从未实现,是因为它在技术上并无必要,且在商业上不切实际。当多核硬件普及之时,DOS 作为主流游戏平台的地位早已被 Windows NT 以及后来的 Windows 9x 所取代。 文章认为,只有在“主频竞赛”提前陷入停滞,或者 Windows 98/DirectX 遭遇灾难性失败并迫使开发者回归 DOS 的情况下,“多核 DOS”才有可能出现。归根结底,双核 DOS 开发的缺失是一个“先有鸡还是先有蛋”的问题:由于 DOS 缺乏足以证明多核硬件价值的“杀手级应用”,其用户群体规模过小,无法激励开发者投入研发。这与后来 Windows 游戏的发展历程如出一辙,尽管当时硬件早已普及,但 Windows 游戏也是经过多年才真正实现了对多核性能的充分利用。

``` Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 DOS 的多核支持是真的——部分实现 (vogons.org) 10 点,发布者 beebix,1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 ronsor 1 分钟前 | 下一条 [–] > ERR_HTTP2_PROTOCOL_ERROR 嗯? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

**开放维修数据标准 (ORDS)** 为收集和共享小型电气与电子产品维修数据提供了一个统一框架。通过规范社区团体记录信息的方式,ORDS 能够汇总数据以识别全球趋势,例如反复出现的产品故障和常见的维修障碍。 该标准将数据分为三个核心模块: * **产品:** 品牌、类别和制造年份。 * **维修:** 具体问题、维修结果以及遇到的任何障碍。 * **会话:** 日期和参与的社区团体。 ORDS 目前版本为 0.3,是一个由“开放维修联盟”(Open Repair Alliance) 维护的不断发展的项目。该联盟将来自不同组织的数据汇编成标准化的开放访问格式,并每六个月根据知识共享许可协议 (Creative Commons) 发布一次。 该倡议旨在提高数据的一致性,使研究人员和政策制定者能够获得关于设备寿命和可维修性的可行性见解。未来的发展将侧重于细化故障分类和产品分类。该联盟积极邀请相关方为这些标准的持续完善做出贡献。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 开放维修数据标准 – 开放维修联盟 (openrepair.org) 7 分,发布者:cassepipe,25 分钟前 | 隐藏 | 往期 | 收藏 | 讨论 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Kapa 开发了一种高效的方法,将技术图像(图表、屏幕截图和原理图)集成到 RAG 管道中,同时避免了查询时多模态处理的高昂成本。 与其在每次查询时都将图像发送给模型(这种方式成本高、速度慢且受限于 Token 限制),Kapa 选择在**索引阶段**完成这项工作。他们使用具有成本效益的视觉模型,为每张相关图像生成基于文本的描述或转录。这些内容会作为单独的检索块与标准文本一起存储。 这种架构具有以下优势: * **成本与性能:** 单次查询的开销极低(成本仅增加 1–6%),而查询时多模态方法通常会导致 27–51% 的成本激增。 * **准确性:** 通过转录表格或图表等“关键”数据,大模型可以获得结构化且可操作的文本,从而显著提高回答质量。 * **可扩展性:** 通过使用零样本分类器过滤掉噪声(如徽标、横幅)并提供上下文感知的标题,Kapa 确保只有高价值信息进入管道。 最终,这种“一次描述,文本检索”的策略使 AI 助手能够在提供基于图像的高精度技术支持的同时,保持系统的高速、经济和可扩展性。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我们如何为 RAG 索引图像 (kapa.ai) 17 分,mooreds 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

微软推出了 **MAI-Thinking-1**,这是一款强大的中型(350亿活跃参数,总参数约1万亿)推理模型。该模型专为企业和软件工程应用而设计,在编程和数学领域表现卓越——在 2025 年 AIME 考试中取得了 97.0% 的成绩,并在盲测中优于 Sonnet 4.6 等竞争对手。 至关重要的是,MAI-Thinking-1 代表了对当前行业趋势的背离。它是从零开始构建的,没有使用第三方蒸馏技术,确保其能力是真正习得的,而非继承而来。该模型是微软全新“爬山机”(Hill-Climbing Machine)这一专有端到端开发流水线的旗舰产品。该系统优先考虑三大核心支柱: 1. **自给自足:** 依赖内部基础设施和加速器。 2. **纯净数据:** 仅使用高质量、商业授权的数据,明确排除人工智能生成的内容,以保持数据来源和控制。 3. **习得能力:** 通过严格的确定性训练环境强制模型掌握任务,而不是模仿其他模型。 通过优化更小、更高效的占用空间,微软旨在提供先进的代理智能,使其能够应用于日常开发者工作流程中,这标志着迈向其“人文主义超级智能”(Humanist Superintelligence)目标的重要一步——即旨在增强而非取代人类生产力的人工智能。

微软推出了由其内部 MAI 部门开发的新型人工智能模型“MAI-Thinking-1”。该模型的一个关键区别在于其训练方法:微软强调,该模型完全使用纯净的、经过商业许可的企业级数据从零构建,刻意排除了合成数据或第三方提炼的内容。这一举措表明了其在数据来源和模型透明度方面的战略重点。 在 Hacker News 上,这一公告引发了关于这种“纯净数据”方法对人工智能缩放定律(Scaling Laws)潜在影响的讨论。一些用户质疑所谓的“纯净”训练集在多大程度上仍依赖于底层的合成数据。虽然一些评论者认为这与 OpenAI 目前的发展轨迹存在显著分歧,但另一些人则强调了技术上的不满,例如网站界面设计(UI/UX)较差。总体而言,该模型的发布作为一个重要的新兴力量,正在受到人工智能领域持续演进的密切关注。

包括 Meta、Google 和 Apple 在内的主要科技公司正合作开发一种名为“Attribution Level 1”的浏览器广告衡量系统,旨在将广告展示与用户购买行为关联起来。尽管该系统被包装为一种使用聚合数据而非个人追踪的隐私保护工具,但批评者认为该提案存在根本性缺陷。 该系统缺乏选择加入(opt-in)的同意机制,且通过人为偏向搜索、社交媒体和应用商店广告,进一步巩固了大型科技公司的市场主导地位。由于该标准优先考虑“漏斗底端”的转化广告而非品牌建设内容,这可能会导致收入从独立网站和新闻机构流失,从而造成社会损害。此外,该系统还忽略了环境影响和数字主权等更广泛的问题。 作者主张,隐私是一个无法通过个人设置来管理的集体性问题。由于这些公司实际上是通过技术标准在为自身利益进行游说,因此该提案应当被叫停。如果项目继续推进,用户至少必须保留通过浏览器插件管理或阻止此类追踪的权利。归根结底,这个“归因卡特尔”是一个借技术创新之名,行破坏竞争与隐私之实的利己机制。

此 Hacker News 讨论帖探讨了一篇批评新型浏览器广告归因标准(如 Attribution Reporting)的博文。 讨论主要集中在三个观点: * **对批评的质疑:** 有评论者认为,该博文本质上是对广告归因本身的变相批评,而非针对新型隐私浏览器标准的具体问题。 * **“行业垄断”的担忧:** 另一位参与者指出,当谷歌、Meta 和苹果等科技巨头在“隐私”倡议上合作时,用户应保持警惕,因为这很可能是在维护行业利益而非消费者利益。 * **技术影响:** 一位用户解释了该新系统的运行机制,将其比作传统 HTTP Cookie 的改进版——浏览器充当了跨站点跟踪广告展示并为广告商生成转化报告的中心存储库,这可能会进一步加剧跟踪的中心化。 总体而言,评论者对于这些新的浏览器标准是真正的隐私改进,还是大科技平台在隐私幌子下维持归因权力的更高级手段,存在分歧。

作为一名拥有16年使用史的Gmail用户,作者决定弃用该平台,原因在于谷歌日益激进的生成式人工智能整合。作者描述称,如今的Gmail用户体验充斥着未经请求的摘要、预设回复,以及不断弹出、令人分心的AI写作工具提示。 作者认为这些功能不仅毫无帮助,反而具有侵入性且不尊重用户,仿佛谷歌认定用户没有能力撰写自己的邮件。由于无法在保留基本功能的前提下禁用这些“对用户不友好”的功能,作者怀疑谷歌是有意将AI的使用指标置于用户体验之上。 最终,这种持续的摩擦促使作者彻底告别了Gmail。目前,他们正在转向使用Fastmail托管的个性化域名,并发现“重新开始”的过程令人感到解脱。作者在结尾处带有一丝讽刺意味地指出,尽管谷歌多年来保持了Gmail的稳定性,但其最近的急功近利却在极短时间内赶走了一位长期忠实的用户。

近期的一场 Hacker News 讨论凸显了用户对 Gmail 以及整个科技行业日益增长的不满。讨论主要集中在以下几个核心痛点: * **垃圾邮件过滤无效:** 用户对 Google 的 AI 难以拦截复杂的自动化垃圾邮件感到苦恼,导致一些人开始考虑转向需要人工验证的限制性电子邮件服务。 * **侵入性 AI:** Gmail 中的“Tab 键补全/优化”功能因削弱了个人写作风格并抑制了个人“声音”而受到广泛批评。 * **“平台腐烂”(Enshittification)与臃肿:** 参与者感叹 AI 的强行植入、Windows 系统中无处不在的侵入式弹窗,以及企业产品向用户进行的一般性推销。 尽管一些评论者建议改用独立的电子邮件客户端,或采用 Linux 和 GrapheneOS 来重新掌握控制权,但也有人指出,AI 的集成在各大主流平台上似乎已变得无法避免。许多用户将这些侵入式软件变更的累积效应形容为“凌迟”(death by a thousand cuts),并将现代 AI 提示语比作旧版“回形针助手”(Clippy)的更顽固、更令人恼火的版本。归根结底,这场讨论反映出用户对那些优先考虑产品驱动指标而非用户自主权的企业平台,已感到深层的疲惫。

MAI-Code-1-Flash 是一款专为真实开发者工作流设计的编程模型,而非单纯针对合成基准测试。通过使用 GitHub Copilot 的生产环境工具进行训练,开发团队确保了该模型在仓库级任务、代码重构以及实际软件开发环境中的代理式编码方面表现卓越。 该模型的一项关键特性是自适应解决方案长度控制,使其能够动态调整推理深度。这使得模型在处理简单查询时更加简洁,而在处理复杂问题时又能提供更深入的分析,从而在完成相同任务时减少了高达 60% 的 Token 用量。这种效率提升转化为更低的延迟、更少的成本,以及为开发者带来更流畅、更快速的体验。 在利用生产级评估工具与 Claude Haiku 4.5 进行对比测试时,MAI-Code-1-Flash 在所有核心基准测试中均超越了竞争对手,特别是在 SWE-Bench Pro 上领先了 16 个百分点。最终,该模型证明了高精度与计算效率并非互斥,为生产级编码环境提供了一种更优质的工具。

微软推出了 **MAI-Code-1-Flash**,这是一款仅需 50 亿活跃参数即可在 SWE-Bench Pro 基准测试中达到 51% 准确率的新模型。尽管微软将其视为效率上的重大突破,但这一公告在 Hacker News 上引发了褒贬不一的反应。 支持者指出,该模型的性能足以与 Anthropic 的 Claude 3.5 Haiku 等顶尖替代品相媲美。然而,怀疑论者则持批评态度,质疑基准测试结果是否因“爬坡”(在测试数据上进行训练)而虚高,并对模型权重未开源表示不满。 此次讨论凸显了人们对 AI 编程代理更广泛的质疑:用户认为“基本正确”的代码远远不够,因为调试过程所带来的负担抵消了使用 AI 提升的生产力。此外,一些评论者建议,行业应将重心从单纯的编码能力转向高级系统设计。最后,该模型的发布网站也因糟糕的用户体验遭到批评,甚至有用户调侃称,网站本身的导航问题和当前 AI 编程助手的局限性一样令人沮丧。

Shake Shack 周二股价暴跌 11%,创下自 2023 年 11 月以来的最低点。此前,这家汉堡连锁店在发布第二季度业绩指引仅一个月后,就突然下调了预期。 该公司将营收预测下调至 4.15 亿至 4.2 亿美元,并将同店销售额增长预期下调至 2.5% 至 3%。分析师认为,此举表明在任命新任首席财务官米歇尔·胡克(Michelle Hook)后,管理层正试图设定更切合实际的预期。 此次下调凸显了该连锁店面临的广泛担忧,包括牛肉和投入成本上升导致的利润率压缩,以及消费者在高端菜单项目上支出的减少。在第一季度报告亏损后,Shake Shack 最新的前景展望表明其快速增长阶段已经停滞。由于股价已从峰值下跌约 60%,投资者正在寻求更具体的转型策略以恢复增长动力,并将焦点转向新的财务领导层能否在充满挑战的经济环境中稳定品牌表现。

委内瑞拉5月份的石油出口量达到七年来的最高水平,平均每天125万桶。这比4月份略有增长,与去年同期相比则大幅增长了61%。 这一增长得益于美国政策的转变,美国放宽了对委内瑞拉国家石油公司(PDVSA)的制裁,并鼓励西方企业恢复运营和出口交易。因此,美国仍是委内瑞拉原油的最大买家,5月份进口量约为每天55.8万桶。 印度也已成为一个关键市场,进口量达到每天42.7万桶,创下六年来的最高水平,原因是印度在中东局势动荡之际寻求替代供应。维多集团(Vitol)和托克集团(Trafigura)等大型国际贸易商,以及雪佛龙(Chevron)等公司,正在促进这些出口量的增长。随着5月份出口货物达到67批次,委内瑞拉正成功利用贸易关系正常化以及主要全球合作伙伴需求增加的机会获利。

Semgrep 发布了 **Pyro Caml**,这是一款专为 OCaml 应用程序设计的持续性能分析工具。 作为一款工业级的静态分析工具,Semgrep 需要一种能够在生产环境中运行的性能分析器,且该分析器需满足以下条件:无需访问源代码,并能在受限的 **gVisor 沙盒**架构中工作(该架构会拦截标准的 `perf_event_open` 系统调用)。现有的 OCaml 性能分析工具要么无法在此类环境中运行,要么引入了过高的开销(约 80%),亦或是缺乏持续监控所需的功能。 Pyro Caml 通过以下方式解决了这些问题: * **统计采样:** 利用 OCaml 的 `Memprof` 库,基于内存分配对调用堆栈进行采样。 * **运行时事件:** 利用 OCaml 5 的“运行时事件”(Runtime Events)功能,以极小的开销导出性能数据。 * **FFI 集成:** 使用 Rust 库 `caml-rs` 将数据导入 **Pyroscope** 后端进行可视化。 尽管存在一些细微的局限性(例如无法查看 FFI 调用和特定的垃圾回收时间),但该工具已在生产环境中成功运行数月,处理了超过一百万次扫描。实践证明,它在识别性能瓶颈、将额外开销保持在 5% 以下以及确保 Semgrep 的可靠性与高性能方面至关重要。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Pyro Caml:OCaml 的持续性能分析工具 (semgrep.dev) 8 分 | j12y 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Doubleword 正在利用 AMD 的 MI300X 加速器来应对持续的 GPU 短缺问题。尽管与 NVIDIA 的 H100 相比,MI300X 提供了更高的 HBM 容量和更低的成本,但其应用仍受到软件摩擦的阻碍,特别是在处理 DeepSeek-V4 等复杂模型时。 在最近的一次技术深入分析中,Doubleword 详细介绍了在为 MI300X 优化 vLLM 时遇到的“棘手问题”。主要挑战包括: * **FP8 不兼容:** MI300X 使用一种“fnuz”FP8 方言,与标准的 OCP 兼容硬件相比,会导致两倍的数值误差。 * **AITER 库的局限性:** AMD 的调优内核库在 CDNA3 架构上对 DeepSeek-V4 的专用内核缺乏全面覆盖,需要自定义特定于 ROCm 的回退方案。 * **HIP 图的限制:** 成功实现 HIP 图需要重构内核,以避免主机端的动态分配。 通过手动优化和内核调优,Doubleword 实现了 8.6% 的性能提升,并成功在 MI300X 硬件上部署了该模型。虽然工作量巨大,但作者认为,随着 AMD 不断更新其标准,软件差距正在缩小。因此,他们认为 MI300X 是 NVIDIA 在大规模推理方面一个可行且具有成本效益的替代方案。

Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在 AMD MI300X 上部署 DeepSeek-V4-Flash (fergusfinn.com) 17 点 由 kkm 1 小时前发布 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助 mezark 2 分钟前 | 下一条 [–] 我们在 doubleword 非常看好 AMD 在低交互推理方面的表现——只是在软件层面需要付出更多努力…… 回复 kkm 3 分钟前 | 上一条 | 下一条 [–] 还有博客文章附带的 vllm 补丁: https://github.com/doublewordai/vllm-amd-blog-doubleword 回复 benlm 10 分钟前 | 上一条 [–] 干得漂亮!DeepSeek V4 Pro 在 8xMI300X 上能用这些补丁吗?回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

特朗普总统在经过数周的修订后,签署了一份精简版的人工智能行政令。该命令在“黑客新闻”(Hacker News)网站上引发了激烈讨论,反映出人们对其内容及行政权力使用方式的严重分歧。 一些观察人士认为,该命令是朝着安全协调人工智能发展和支持行业巨头迈出的务实一步,并将其与拜登政府此前的行政行动进行了类比。相反,批评者则认为,该政策旨在让政府通过“安全”之名,获得对人工智能公司的控制权,从而可能助长审查制度或政治胁迫。 此次讨论也凸显了人们在政府于科技领域应扮演何种角色这一问题上的深刻分歧。虽然有些人认为人工智能需要正式监管,但另一些人则主张,此类监管应通过公开的立法辩论产生,而非通过行政命令下达。批评者对政府的动机持怀疑态度,认为政府对人工智能的干预更有可能导致监管俘获和武器化,而非带来切实、客观的安全标准。还有人坚持认为,人工智能模型“仅仅是数学”,不应受到任何监管,任何违法行为应由现行刑法处理。

这篇短文通过作者本人及其兄弟埃里克(Eric)的经历,探讨了人类记忆的广阔光谱。作者认为自己拥有极其生动的情景记忆,能以极高的细节留存童年场景;而埃里克在生活中则有一种疏离感和“不连续性”,他难以回溯往事,甚至无法在照片中认出年轻时的自己。 作者将这些差异与心理学概念——超自传体记忆(HSAM)和严重自传体记忆缺陷(SDAM)联系起来。科学测试显示,虽然作者擅长视觉情景回忆,但埃里克倾向于通过抽象思维处理信息。他缺乏心理意象——即“心盲症”(aphantasia)——而这种心理意象正是作者“精神时间旅行”的特质所在。 这些不同的认知风格塑造了他们各自的创作生涯:作者专注于非虚构写作,将记忆视为严谨的考古事实;而埃里克则利用这种想象上的距离感,在小说和剧本创作中游刃有余。文章最终指出,无论一个人的记忆是细节无处不在的“垃圾场”,还是由一系列互不关联的语义事实组成,每种风格都既带来了沉重的负担,也赋予了独特的创造性优势,这体现了人类大脑构建过去以塑造身份的奥秘。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 关于自传体记忆的本质 (theamericanscholar.org) 12 点,由 prismatic 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 mikewarot 53 分钟前 | 下一条 [–] 天哪,我对自己的生活记忆并不多,但多亏了数码摄影,我确实能回想起其中重要的人生片段。我从未想过拥有完美的记忆力竟会是一种诅咒。感谢分享。回复 Hugsbox 52 分钟前 | 上一条 [–] 我曾希望自己的记忆力更好……但读完这篇文章后,我很庆幸它没有那么好。这是一篇非常精彩的文章,配上我早晨的咖啡阅读简直太棒了。:) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在 BQN 中,“原语”(由符号表示的函数)不仅仅是常见任务的速记。相反,其选择遵循“发现”而非“发明”的哲学。理想情况下,一个原语代表了一种基本的、通用的数学概念,正如算术或基本数组运算一样,任何社会都可能独立地“发现”它。 与提供精确性和细微差别的通用词汇不同,原语旨在实现代数上的简洁性和一致性。高质量的原语应当具备清晰的数学描述,提供简化实现的约束,避免随意的边缘情况,并有助于其他运算的构建。 通过将 BQN 建立在这些基础且不可变的原语之上,该语言实现了强大的代数操作。由于符号在视觉上截然不同且具有固定的作用,程序员可以根据运算之间的数学关系对代码进行重构和优化。虽然原语的集合归根结底是一种工程选择,但其目标是推崇编程中的“民间定理”(即揭示底层结构的模式),而非特立独行、凭空创造的功能。通过将原语视为基础的、可组合的构建块,而非单纯的工具,BQN 为复杂计算提供了一套既严谨又灵活的工具集。

``` Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 BQN:什么是原语? (mlochbaum.github.io) 12 分,由 tosh 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 brudgers 47 分钟前 [–] 背景说明:BQN 是“为你的飞碟准备的 APL”。https://mlochbaum.github.io/BQN/index.html 而 APL 是一种编程语言。字面意义上的编程语言。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

完整的开发生命周期 从收件箱中提取任务或 PR,指派智能体进行处理,审查差异并合并代码。或者让智能体为您完成后续闭环。 并行智能体,全程可见 跨代码仓库运行多个智能体会话,每个会话均相互隔离并可实时追踪。 适应您的工作方式 自动化重复性工作流,并通过 MCP 服务器和自定义技能扩展智能体功能。 请告诉我们您的相关信息,我们将评估您是否适合参与预览版。 * 标有星号的字段为必填项。 * GitHub Copilot 应用程序目前仅面向现有的 Copilot Pro、Pro+、Max、Business 和 Enterprise 用户开放。Copilot Free 用户及新客户的访问权限即将推出。 ** 使用 Copilot Business 和 Enterprise 版本需企业/组织层面开启预览权限,并启用 Copilot CLI。

GitHub Copilot 桌面端的发布在 Hacker News 上引发了热烈讨论。一些用户赞赏专用智能编程工具相比传统命令行界面(CLI)所带来的更佳体验;而另一些用户则持怀疑态度,认为这是 GitHub 锁定用户生态并收集数据的一种手段。 技术层面的争论聚焦于 `git worktree` 在现代工作流中的作用。开发者指出,随着多个 AI 智能体同时运行,仅靠分支隔离已不足够;`git worktree` 允许智能体管理多个分支而无需触发昂贵的重新编译,这一技术最初是为了帮助内核开发者保持上下文而开发的。 社区成员还将 Copilot 网站的高制作水准与 GitHub 近期“堆叠式 PR(stacked PRs)”功能的平庸发布进行了对比,引发了关于设计投入是否根据目标受众购买力进行优先分配的讨论。最后,用户质疑这款新的独立应用与 VS Code 和 Cursor 中现有集成的区别,部分人推测这标志着开发模式正向基于云端的远程智能体执行转变。

QBE 1.3 是该项目迄今为止最重要的版本,带来了显著的性能提升、架构改进以及更广泛的平台支持。 **主要亮点:** * **性能:** 通过全新的优化通道(包括 GVN/GCM 和循环优化),QBE 在 Coremark 基准测试中现已达到商业编译器 63% 以上的性能,在 Hare 测试套件中更是取得了 33% 的显著提升。 * **更智能的指令选择:** 全新的元编程工具 `mgen` 允许 QBE 将“类 Lisp”的中间语言(IL)模式编译为地道的 C 代码。这取代了手动逻辑,为指令选择提供了一种更强大、可扩展性更高的方法。 * **平台与链接:** QBE 现在通过 `-t amd64_win` 标志正式支持 Windows ABI。此外,编译器现在可以利用新的 `DYNCONST` 标志进行间接全局访问,从而生成与位置无关的代码(共享对象)。 此版本反映了各方的协作成果,采纳了 Roland Paterson-Jones、Scott Graham 和 Michael Forney 的贡献,在保持 QBE 核心理念的同时,实现了基础设施的现代化。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 QBE – 编译器后端:版本 1.3 (c9x.me) 36 分,作者 birdculture,1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 supergarfield 13 分钟前 [–] 我真的很想喜欢 QBE,但像这样的声明代码块让我感觉它更像是 1970 年代的 Unix 代码,而不是一个现代且易于修改的软件: int t, x, r, rf, rt, nr; bits rs; Ins *i, *i1; Mem *m; Ref *ra[4]; 我认为这让阅读和理解随后的 300 行函数中那些相对微妙的代码变得困难,从而阻碍了一些用户的使用。(我知道,这是技术问题) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

专为解决最关键的复杂问题而打造,兼具卓越的推理能力与顶尖的 SWE-Bench Pro 测试成绩,且价格适中。内置于 GitHub Copilot 和 VS Code 中的轻量级智能代理模型,助力您的工程团队更高效地编写优质代码。根据任何文本或图片提示,创作出精美且可直接用于设计的图像,并以更低的价格获得同类领先的 Arena ELO 评分。将嘈杂的音频转化为精准的行业领域转录文本,并拥有领先的 FLEURS 和 Artificial Analysis 准确度得分。

联系我们 contact @ memedata.com