2003年，弗吉尼亚理工大学使用1100台Power Mac G5构建了System X，达到10万亿次浮点运算/秒，全球速度排名第三，也是学术机构中最快的，成本为520万美元，而Earth Simulator的成本为4亿美元。后来它用1100台定制的双2.3 GHz Xserve G5重建，以支持ECC内存，达到12.25万亿次浮点运算/秒，并在2004年TOP500榜单中排名第7。2008年，System G使用324台搭载Intel Xeon处理器的Mac Pro，达到22.8万亿次浮点运算/秒，并专注于功耗感知、节能的超级计算。这些项目共同表明，Mac硬件可以构建能力强且成本低廉的超级计算机，并推动了每瓦性能成为关键指标。

下一个 新建 延长 验证 呼叫下一位创始人 16:12 演示日后1天 第一幕 邮件 笔记 17:00 放弃 投资 暂缓 将决策表放在桌上 检查 点击纸上的一个事实 · 0 / 2 请提供条款清单 故事 由 Bo Lau 创作 启用 JavaScript 以进行游戏。 ≡

```AWS 模拟器为编码代理提供免费、离线的本地 AWS 副本来进行测试。它源自 Amazon 的分布式系统历史，包括 Dynamo 和基于 Paxos 的“Alf”锁服务，在这些系统中，仿真和形式化推理帮助在生产前发现并发错误。随着 AWS 扩展到 200+ 服务，手建测试环境变得不切实际，尤其在代理编写代码的速度超过人类检查速度时。代理基于 400+ API 模型和针对真实 AWS 验证的保真测试构建了模拟器，覆盖 200+ 服务。通过将真实基础设施放入代理的编码循环，它帮助代理检查自己的工作，并更频繁地生成正确代码。工程师的角色转向定义规格、测试、合并门禁和护栏，以决定代理编写的代码何时正确。护栏包括保真测试、安全代理审查和确定性检查。代码以 CC0 发布，并公开提交历史和已知差距。未来工作将完善代理驱动的软件开发。```

AWS Emulator 是用于在无 AWS 账户或真实 AWS 资源时构建和测试软件的本地免费 AWS API 模拟器。它在本地提供 HTTPS 端点；可通过环境变量将 AWS CLI 或 SDK 指向它，或在 Rust 测试中内嵌运行。需要 AWS CLI 2.35.0+。它不适用于生产或安全测试。遥测默认开启且数据最小化；可通过 `--telemetry off`、`EMULATOR_TELEMETRY`、`config.toml` 或内嵌选项禁用。从源码构建需要 Rust/Cargo、C 编译器、约 100 GB 磁盘空间和多核 CPU。许可证为 CC0-1.0，供应商代码除外，后者为 Apache 2.0。

多份报告描述了在美国军事/核设施附近出现的水母状或触手状不明空中现象。在安克雷奇，目击者看到一个黑银色、带有移动触手的物体在埃尔门多夫-理查森联合基地附近消失。杰里米·科尔贝尔声称一个受限设施中的物体干扰了武器，并引用了潘泰克斯的入侵事件；他和乔治·纳普后来发布了伊拉克热成像视频，显示一个触手状物体，他们称其进入水中并高速离开。该基地一名前海军陆战队员对细节提出质疑，称部队称其为“意大利面条怪兽”，完整视频显示它漂离，而非坠入水中。其他说法包括一名在伊朗上空的F-15飞行员报告无人机呈水母编队，但官员质疑他脑震荡后的回忆；五角大楼不明空中现象记录显示，2020年大西洋上一个红外物体与伊拉克“水母”进行了比较；以及2015年潘泰克斯报告称雷达探测到一个无声的菱形物体。没有证据将其中任何现象与外星人联系起来。

研究人员在 Danfoss AK-SM800A 控制器中发现了多个严重的安全漏洞。在法国最近的攻击浪潮之前，已经记录了多个明显的漏洞，包括跨 Danfoss 产品线的认证绕过、操作系统命令注入、路径遍历和 SQL 注入。即使使用最新固件（v5.3.2），一小时的手动审查也揭示了六个允许远程代码执行的预认证栈缓冲区溢出漏洞。该固件缺乏栈金丝雀和 PIE 等基本保护措施，且应用程序以 root 身份运行。一个独立的 Web 应用防火墙二进制文件（sm_fcgi_app）也包含一个预认证内存损坏漏洞。这些设备缺乏安全启动，可能被植入持久性木马或被变砖。数百个 Danfoss、Copeland/Dixell 和 Eliwell 控制器仍暴露在互联网上。研究人员建议资产所有者通过 VPN、私有 APN 或严格的 IP 白名单来限制控制器访问，而不是依赖补丁或严格会话控制，因为这些措施对这一根本性不安全的代码库提供的保护极小。

美国银行分析师警告，美国啤酒出货量今年可能降至1980年水平以下，9月底累计下降3.9%后，全年体积预计为1.76亿桶，而1980年为1.78亿桶。他们将压力归因于家庭预算紧张、通胀、信心走弱、即饮鸡尾酒、大麻衍生THC饮料、GLP-1药物以及日益增长的健康担忧。行业增长正在转向即饮饮料（RTD）、无酒精啤酒和新兴“ade”品类，Constellation Brands与AB InBev获得份额，Molson Coors与Boston Beer损失最多。美国五大啤酒供应商在约15个月内均出现领导层更替。Campari也报告北美销售疲软，反映更广泛的酒精需求变化，包括美国成年人每日大麻使用量已超过每日酒精使用量。

blqsort 是一个快速的、单头文件 C++ 快速排序，带有 C 和多线程变体，在随机和部分有序数据上优于 std::sort。它使用无分支分区、针对小分区的排序网络、精心的中值主元选择、重复值处理，以及针对偏斜分区的堆排序回退。在 Apple M1 和 Intel i5 上的基准测试显示，排序 5000 万个 double 和结构体比 std::sort 和 ipnsort 更快。它检测已排序/逆序排序的输入，优化重复值，支持自定义比较器和类型，并针对非平凡可复制类型回退到 BlockQuicksort 变体。多线程 C++ 版本更快。包含 blqs.h 并像调用 std::sort 一样调用 blqs::sort。

NoteTimeNet 是一个预发布项目，通过 TimeF 格式和 TimeNet API 统一不兼容的时间序列数据集。TimeF 存储 manifest.json、control.duckdb 和 Parquet/Zarr 值平面。TimeNet 负责查找、构建、下载和加载数据集，而模型训练、推理和评估仍由你选择的框架完成。TimeNet 在线黑客松邀请参与者接入数据集并训练或微调时序 AI 模型。安装使用 uv add 'timenet[cli]'、uv tool install timenet-connectors，然后构建 timenet/hello-world；它从本地注册表加载，无需凭据或网络。仓库包含 timenet 和 timenet-connectors 包。TimeNet 采用 MIT 许可证，但数据集保留其上游许可证。

为我们的 Coupa 供应商门户创建 Pomerado 集成。按状态和日期范围列出发票，包含发票号、采购订单、金额、状态和预计付款日期。只读。开始使用 Pomerado 创建 MCP。我将根据你的条件回答它的问题。调用了 pomerado.find_website_tool，尚无 Coupa 工具。调用了 pomerado.build_website_tool，构建已开始。列出 Coupa 发票 supplier.coupahost.com 已发布。调用了 pomerado.get_job，已完成，已发布 1 个工具。调用了 pomerado.run_read_only_website_tool，耗时 3.8 秒。Coupa 集成已上线，我运行了一次：自 8 月 1 日以来有 38 张发票，412,860 美元仍待支付。其中 6 张已逾期，2 张有争议，每张都有最新评论。

佛罗里达州一名联邦法官允许特朗普对BBC的诽谤诉讼进入审判。BBC将特朗普1月6日演讲中相隔55分钟的语句剪辑成一段12秒视频，暗示其呼吁暴力，并删去和平相关表述。法院依据《纽约时报诉沙利文案》，以BBC误导性剪辑、主席道歉及先前新闻失职为由，认定实际恶意主张合理。BBC主张其为常规剪辑；法官不同意，指出时间间隔与鲁莽证据。《佛罗里达州欺骗性和不公平贸易行为法》下的主张被驳回。案件现在取决于陪审员能否克服其政治因素。图尔利——一名侵权法教授兼前BBC分析师——支持该裁定。

Micron 是一种系统编程语言，结合了 Oberon 的模块化与严格性以及 C 的灵活性，支持引导代码、驱动程序、内核、应用程序和直接 C 调用。它使用 0–5 级语言级别来控制可用特性并防止不安全依赖。项目包含编译器、解释器和 IDE，并提供许多迁移的基准测试、操作系统示例和一本教科书。Micron 支持泛型、内联、编译时过程和 Pascal 风格运算符；保留字存在小写和大写形式。编译器和解释器已就绪，而原生后端和 C 转译器仍在进行中；后端大多基于栈。它可使用 LeanQt/BUSY 或 Qt 5 构建，并提供预编译系统。Micron 采用 GPL 2/3 许可，运行时和 Oakwood 库也可在 MPL 或 LGPL 下获得。

据报道，内塔尼亚胡与特朗普在中期选举后进行了一次紧张通话，讨论是否重启轰炸伊朗，以色列媒体称双方就战略问题发生“争吵”；内塔尼亚胡办公室否认了这一说法。据报道，内塔尼亚胡敦促采取更立即的军事行动，并称伊朗的核威胁只能通过推翻其政权来消除，而特朗普则表示他不打算恢复直接军事行动，并希望有更多时间进行间接谈判。这场争执发生在不受欢迎的“史诗怒火行动”之后，也正值内塔尼亚胡在未能赢得议会多数席位后面临政治压力。特朗普还威胁要停止美国每年40亿美元对以色列的援助，鲁比奥则表示以色列可以自己购买武器，不过怀疑者认为如此重大的政策逆转不太可能发生。

作者认为"100倍开发者"的说法被夸大且不切实际，尤其在企业环境中。虽然AI可以在特定狭窄场景下产生巨大倍率——如新手、微小任务或衡量任务影响——但大多数此类说法都来自没有代码债务、代码审查或利益相关者的单人、低摩擦项目。真正的企业工作涉及协作、遗留代码和限制收益的人类流程。在团队中，2倍的提升已经很出色；10倍是罕见的，100倍基本上不可能。作者安慰开发者不必因未能达到这些虚高的数字而焦虑，并专注于现实、可持续的进步。

最大内积搜索（MIPS）是检索的核心，但穷举比较代价高。传统近似方法与查询无关，可能错过匹配。本工作通过离线训练小型神经网络，为固定键数据库和已知查询分布摊销 MIPS。SupportNet 学习簇支持函数，比基于质心的分区更好地路由查询，以更低延迟提升路由召回。KeyNet 预测最佳匹配键，并可重写标准 IVF 索引的查询，降低搜索成本并提升召回。Natural Questions 上的实验表明，学习得到的路由器和搜索器在延迟和扫描预算下优于基线。SupportNet 适合校准分数或紧计算，KeyNet 适合快速键近似。大型系统可将两者结合。总体而言，将 MIPS 解编码到网络权重中，以前期训练换取高效、查询特定的检索。

叙述者回忆在2000年代初与 Tim 在 Python Labs 共事。Tim 是 Guido 传奇的早期 Python 协作者、把关者与润色者，也是《Python 之禅》的作者。他谦逊、温暖、聪慧，虽无装腔作势，却激励了叙述者。他一度修复了关键数据库错误，挽救了一个重要客户。作为 2001 至 2014 年的 Python Software Foundation 董事，他帮助 Python 成长为主流语言。他的幽默、精准与善良塑造了 Python 文化，也塑造了叙述者自身的开源领导力。在悲伤中。

以暴力犯罪闻名的孟菲斯，据RentCafe统计，年收入百万美元的房主数量从2020年到2024年激增931%（从52户增至536户）。但这里的“百万富翁”指年收入100万美元以上，而非净资产。同时，机构投资者在2026年第一季度购买了14.8%的住宅（全国为6.6%），并在2026年上半年购买了约五分之一，中位价为126,500美元。犯罪有所缓和——2025年凶杀案下降24%、抢劫下降30%、劫车下降48%——但孟菲斯仍记录约每10万居民1,849起暴力犯罪，促使2025年联邦打击行动。高收入房主数量的激增与该市持续的暴力犯罪和投资者驱动的住房市场形成鲜明对比。

本混合方法研究探讨了Reddit用户迁移如何影响Lemmy这一去中心化论坛类平台。增长数据显示，注册激增与Reddit的API变更及黑屏抗议相关，用户集中于lemmy.world和lemmy.ml等主要实例，表明去中心化中出现中心化趋势。对48,272条评论的VADER情感分析发现，对Lemmy和迁移主要持积极看法，同时批评Reddit，并抱怨技术问题或较小社区。对354名用户的调查显示，迁移主要由对Reddit政策/API变更的不满和对替代品的渴望驱动；许多用户适应容易，每日使用Lemmy，并打算长期继续使用。16名用户的访谈提供了关于社区响应、去中心化、功能偏好和缺失Reddit内容的细致视角。总体而言，Lemmy表现出较强的适应能力和用户承诺，但面临技术缺陷、联邦复杂性、内容多样性及中心化趋势等挑战。未来工作应关注审核工具、实例可持续性及长期社区增长。

flatpoints 将采样于未知曲面的三维点云展平为一个或两个方形像素网格，每个点对应一个像素，并将空间相邻的点放置在相邻像素中。这样，附着的点数据——坐标、法线、颜色、特征——可以变为图像，从而能够使用卷积、插值、压缩和重采样等标准二维工具。它通过将曲面切割成半球并进行剪切以消除残余闭合性，来处理开放或封闭曲面。用户可以从点创建 Flat 对象，可选地附带网格，检查像素索引，将数据转换为图像，绘图，进行均匀重采样，并通过 SVD、DCT 或小波压缩点云。该方法基于几何图像和矩形共形映射。可通过 pip 获取，并提供可选的可视化和压缩依赖。

私密 AI 会议记录。免费且开源。下载 Mac · Windows · Linux 版本。Yogurt 在不向会议添加机器人的前提下记录你的通话。macOS 14.4+（Apple Silicon）· Windows 10 2004+（x64）· Ubuntu 22.04+ 或类似系统（x64 AppImage）· 8 GB 内存。yogurt.so · 帮助 · 从源码构建 · MIT 许可证。由 Frigade 制作。

九名肯尼迪家族成员加入诉讼，试图阻止特朗普总统计划在阿灵顿国家公墓附近的纪念环岛修建一座250英尺的凯旋门，称其会投下阴影遮蔽亲属墓地并破坏历史视线。该凯旋门将包括夹层、观景台和自由女神像。在规划委员会批准建设后，法官塔尼娅·丘特坎因退伍军人、华盛顿特区、弗吉尼亚州和阿灵顿县的诉讼而暂时阻止施工。肯尼迪家族称，政府缺少纪念性建筑所需的国会批准。特朗普表示该凯旋门可能具有军事用途；阿灵顿县警告称，军事用途在通勤者和游客附近会增加风险。丘特坎的14天限制令禁止在纪念环岛进行与建设相关的活动。

请启用JS并禁用广告拦截器

计算机图形学在1940–1950年代起源于贝尔实验室、波音、麻省理工学院等实验室中供科学家、工程师和艺术家使用的可视化与绘图工具。1960–1970年代的学术研究在ARPA资助下，由Ivan Sutherland、Dave Evans和Edwin Catmull等先驱推动，产生了Sketchpad、DAC-1以及早期CAD/动画方法等基础系统。艺术家和工作室探索了抽象动画，商业公司则推出了矢量和光栅系统。CG通过《西部世界》和《星球大战》进入电影领域，随后在《电子世界争霸战》《最后的星战士》《少年福尔摩斯》《侏罗纪公园》和《玩具总动员》等影片中扩展，并借助纹理映射、光线追踪、变形、数字合成和运动捕捉等技术取得进步。SIGGRAPH成为重要论坛，Evans & Sutherland、Pixar、Silicon Graphics、Alias、Wavefront和ILM等公司推动了硬件、软件和视觉特效创新。到1990年代，数字特效、虚拟角色和全CG电影重塑了娱乐产业，并奠定了现代计算机图形学的基础。

萨尔瓦多总统纳伊布·布克莱表示，萨尔瓦多军队动用直升机摧毁了与海地400 Mawozo帮派及其领导人Wilson Joseph（又名Lanmò San Jou）有关的一处院落和一座房屋。当地媒体报道称，最多有20人死亡，但Joseph并不在该地点。自2025年1月以来，萨尔瓦多一直在海地维持驻军，并最近增加了兵力。此次行动发生在海地总理计划访问萨尔瓦多以及海地即将举行选举之前。

klad 是一个源码可用的二维绘画与动画应用，人类画师与编程代理可同时在同一幅画作上协作。画师使用数位笔；代理使用 klad CLI，使用相同的画笔、图层和时间轴，双方都能即时看到笔触。与图像生成器不同，klad 将每个笔触、形状和填充作为可编辑数据保存，因此后续可以重新着色、重塑、移动或删除单个元素；动画由移动部件构建，而非重绘帧。绘图是普通本地文件，无需账户，且与 git 配合良好。它包括画笔、图层、蒙版、效果、时间轴、中间帧、骨骼，并可导出为 PNG、精灵图集或 Godot。macOS 支持压感/倾斜；Linux 和 Windows 构建/测试通过，但 Linux 使用鼠标，Windows 绘制未测试。个人或小公司可免费构建和使用，大公司需付费许可；文档、技能和客户端 crate 为 MIT 许可。代理可通过 CLI 读取技能并绘制；用户可以注释、选择并手动编辑笔触。

Gitori 的《Find the Notes》游戏数据来自超过 10,000 名玩家和 275,169 次音符识别尝试，显示最难的位置在琴颈上中段，尤其是 G 弦 6–9 品，其中 G 弦 8 品（E♭）错误率约三分之一。边缘位置，尤其是低音 E 弦和高音 E 弦、空弦以及 12 品，最容易，错误率约 6%，而 8–9 品附近约 20%。变化音比自然音更难：错误率 16% 对 12%，速度慢约 11%；F♯、B♭、A♭ 和 E♭ 是最难的音名，而 E 最容易。

一位Jane Street系统工程师讲述了公司办公室机房里的一次近乎灾难的事件。承包商在隔壁房间切割时扬起的粉尘触发了烟雾报警。报警关闭了CRAC冷却机组并给喷淋管道加压，形成了一场与温度上升的赛跑：若温度达到150°F，热敏喷头就会喷水并毁坏设备。工程师 sprinted 回办公室，逐排拔掉每台设备的电源线，将温度稳定在约143.6°F。由于市场已休市，停机时间很短，系统在早晨前恢复。事后，团队决定继续将服务器留在楼内，但收紧了流程。工程师还编写了一个OCaml监控工具，每分钟轮询每台服务器的温度，若平均温度上升就发出警报，为普遍性的冷却故障提供可靠预警。

引用的作品从多个角度探讨软件工程中的AI：生产力与交付成果的对比、开发者借助AI解锁的新能力、AI自主性的限制、代码审查代理的性能，以及个人和团队采用GenAI工具的驱动因素。一篇论文指出了活动与成果之间的差距，认为尽管编码活动增加了，AI并未解决软件工程问题。另一篇比较了不同代AI编程工具的生产力。其他研究考察了开发者在AI自主性方面划线的位置，对代码审查代理的缺陷检测能力进行基准测试，并识别了影响GenAI工具使用的因素。一场行业主题演讲提供了额外背景。总体而言，这些来源表明，AI可以辅助开发，但其价值取决于上下文、人工监督、工作流集成和审慎评估，而非自动的生产力提升。

美国国务卿马尔科·卢比奥表示，随着伊朗日益绝望，最终必须与美国谈判，并称“最终，你得吃饭”，暗示华盛顿可能利用饥饿迫使伊朗遵守特朗普总统的要求。美国已设立中央司令部的“铁门特遣队”扰乱伊朗进口，并维持对伊朗港口的封锁，这是将伊朗经济推向崩溃的广泛经济战的一部分。一些特朗普官员认为，短暂的轰炸行动可能击垮伊朗的意志并迫使其让步。虽然特朗普表示支持外交，并看到结束冲突的“积极势头”，但伊朗已誓言，若美国升级，将打击美国在该地区的盟友。

前特朗普律师、新泽西州联邦检察官阿琳娜·哈巴·米尔顿被解雇，此前她在康科德合伙公司担任总法律顾问；该公司与获赦免银行家胡利奥·埃雷拉·韦卢蒂尼家族有关。这份四年期合同价值超过5000万美元，因被指未履行职责于11月4日终止。她仍保留约1450万美元：约650万美元工资和800万美元签约奖金。解雇发生前，特朗普总统曾公开批评，称该薪酬安排不可接受。康科德由银行家的女儿伊莎贝拉·埃雷拉注册；哈巴于1月1日入职，同时担任司法部高级顾问。该银行家在特朗普赦免前对一项竞选财务指控认罪；哈巴否认在赦免中起任何作用。一位接近家族的人士说，她在开始与现任丈夫、土耳其投资者图尔汗·米尔顿约会后，注意力发生了转移。哈巴·米尔顿计划采取法律行动，同时因涉及其丈夫金钱和理查德·格伦内尔的指控面临白宫审查。