倍速(Doublespeed),一家获得a16z投资,利用人工智能和手机农场创建虚假社交媒体影响者的初创公司,遭遇了第二次安全漏洞。一名黑客访问了后端系统,并试图在数百个TikTok账户上发布表情包,将a16z联合创始人马克·安德森称为“反基督”。 虽然这些帖子最终被阻止,但黑客窃取了47MB的数据,可能影响了573个账户,并泄露了413部手机的信息。倍速声称,此次漏洞被限制在较旧、注重兼容性的系统上,没有未经授权的帖子发布。 这起事件凸显了人们对倍速商业模式的担忧,该模式积极试图规避社交媒体平台反对虚假行为的政策。去年12月的一次黑客事件揭示了他们运营的规模——数百个由人工智能驱动的账户推广产品,通常缺乏适当的披露。该公司计划扩展到X和Instagram。

一名黑客入侵了 doublespeed.ai 运营的手机农场,该公司获得了 Andreessen Horowitz (a16z) 的支持。黑客留下信息贬损该公司,强调对其运营方式的担忧。 Hacker News 上的讨论集中在这些“手机农场”的伦理问题上——这些企业利用大量手机生成和传播人工智能生成的内容,可能用于操纵性营销目的。评论员表示反对为或投资于从事这种活动的 公司,尤其是在当前全球问题背景下。 还简要讨论了 Hacker News 是否屏蔽了 404media.co 的链接,澄清仅在文章需要付费墙时才会发生这种情况。核心要点是对人工智能驱动的垃圾信息以及从中获利的公司持批判态度。

## 自定义 Linter 防止数据库事务泄漏 一位开发者构建了一个自定义的 Go Linter,主动捕获一个微妙但危险的错误:数据库事务将操作泄漏到其预期范围之外。当事务内的代码意外地使用组件级别的仓库实例而不是事务范围的实例时,就会发生这种情况,可能导致数据损坏和竞争条件。 这种错误很难通过传统方法检测到——它能够干净地编译,通过测试,并且经常逃避代码审查。为了认识到对更强大的解决方案的需求,开发者利用 `go/analysis` 框架创建了一个静态分析工具。 该 Linter `transactioncheck` 遍历抽象语法树 (AST),以识别事务调用,并验证事务回调函数内的所有数据库操作都使用事务范围的仓库参数。它处理嵌套事务,甚至递归分析辅助函数以确保完全覆盖。使用 `analysistest` 进行全面测试,并集成到 CI/CD 管道中,确保 Linter 有效地防止这些错误到达生产环境。该项目被证明非常有效,发现了现有的违规行为,并为先前难以捉摸的问题提供了一个快速、可维护的解决方案。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我发布了一个交易错误,所以我构建了一个代码检查工具 (leonh.fr) 8 分,由 leonhfr 1小时前发布 | 隐藏 | 过去的 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## Google 将惩罚“后退按钮劫持” Google 将于 2026 年 6 月 15 日更新其垃圾信息政策,明确禁止“后退按钮劫持”——一种欺骗性做法,会干扰用户的浏览器导航。这意味着阻止用户使用后退按钮返回上一页,而是将他们重定向到不需要的页面或显示未经请求的广告。 Google 将此视为对用户体验的侵犯,会造成沮丧和被操纵的感觉。这符合现有政策,禁止浏览器历史记录中的欺骗性做法。 发现实施后退按钮劫持的网站将受到惩罚,包括在搜索结果中降级或手动采取垃圾信息措施。 建议网站所有者检查其代码,包括第三方库和广告平台,以确保后退按钮按预期工作并删除任何干扰脚本。有关问题和重新考虑请求的资源可通过 Google Search Console 获取。

黑客新闻 新的 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 针对“后退按钮劫持”的新垃圾邮件政策 (developers.google.com) 20 分,zdw 53 分钟前 | 隐藏 | 过去 | 收藏 | 3 条评论 帮助 al_borland 14 分钟前 | 下一个 [–] 一些微软网站对此罪名昭著。最近我记忆最深刻的就是它们。回复 musicale 11 分钟前 | 上一个 | 下一个 [–] 网页恶化的铁律:每个网页功能都会(如果可能的话)被用来滥用用户,通常是为了推送广告。回复 CableNinja 46 分钟前 | 上一个 [–] 令人沮丧的是,花了这么长时间才对此采取行动,但很高兴现在终于有所作为。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

在美國促成的停火協議下,評估顯示伊朗遭受了重大、可能具有世代意義的軍事失敗,儘管其政權仍然存在。與以色列合作的“史詩怒火”行動,針對了伊朗的“馬賽克主義”——一種旨在防止徹底崩潰的分散式軍事結構——通過系統性地瓦解其功能部門和清除關鍵領導人,包括最高領袖阿里·哈梅內伊。 這次行動暴露了關鍵的脆弱性:該學說無法承受持續的壓力,隨著橫向和縱向控制的崩潰,指揮結構被削弱,以及針對伊朗革命衛隊代理網絡和石油走私業務的破壞性金融干擾。 值得注意的是,伊朗總統公開為最近的軍事行動道歉,凸顯了其對自身武裝力量的控制力喪失。儘管伊朗威脅霍爾木茲海峽,但這被視為一種絕望的舉動。美國現在掌握著巨大的影響力——軍事優勢、金融壓力以及對伊朗的地區孤立——伊斯蘭共和國的未來取決於接受前總統特朗普的條款。

在美国海军对霍尔木兹海峡实施海上封锁,旨在限制伊朗向中国出售石油后,油轮开始试探特朗普总统的决心。一艘先前因协助伊朗而受到制裁的油轮 *Rich Starry*,最初在遭遇封锁时掉头,但现在正驶过海峡,表明其中国所有权。另一艘油轮 *Elpis* 在停靠伊朗港口后也通过了海峡。 这些行动正值全球航运界暂停运营,等待封锁具体细节的明确。未经证实的报告称,中国国防部长已向美国表示,他们将继续与伊朗进行贸易,并在海峡自由行动。 美国已部署一支强大的海军力量——包括航空母舰和驱逐舰——能够拦截和扣留船只。局势正在升级,*Rich Starry* 的通过是对封锁的首次直接挑战,以及潜在冲突的预兆。

## VectorWare 将标准 Rust 线程带到 GPU VectorWare 正在开创 GPU 原生软件开发,并取得了一项重大里程碑:成功地在 GPU 上实现了 Rust 的 `std::thread` 功能。这使得开发者能够利用熟悉的 Rust 抽象来编写高性能 GPU 应用程序,弥合了 CPU 和 GPU 编程模型之间的差距。 传统上,GPU 编程需要以并行 *内核* 的形式思考,这些内核会启动许多实例,本质上是并发的。这与 CPU 编程的顺序线程生成形成对比。VectorWare 的方法将每个 Rust `std::thread` 映射到 GPU *warp* – 一组并行通道 – 有效地模拟 CPU 线程行为。 这种创新的解决方案避免了直接映射到 GPU 通道的陷阱(这些通道不是真正的线程),并防止了性能杀手的 *分歧*(warp 中的通道采取不同的代码路径)。它允许现有的 Rust 代码,包括依赖于线程的库,如 Rayon 和 Tokio,在 GPU 上运行,只需进行最少的修改,同时保持 Rust 的安全保证。 虽然仍然存在挑战 – warp 限制、同步成本和内存约束 – 但这一突破解锁了 Rust 生态系统的巨大潜力,用于 GPU 加速,并为使用 Rust 的强大功能和安全性构建真正 GPU 原生应用程序铺平了道路。VectorWare 计划未来将此支持扩展到其他语言,但相信 Rust 在 GPU 开发方面具有独特的优势。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Rust 在 GPU 上运行线程 (vectorware.com) 6 分,PaulHoule 1 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助 nynx 17 分钟前 [–] 我不明白这有什么用。这似乎是缘木求鱼。最终很容易得到效率极低的程序,为了实用性需要完全重新设计成正常的 GPU 编程模型。回复 rl3 13 分钟前 | 父评论 [–] 我认为他们已经考虑了集成难度。而且,完全重新设计现在并不昂贵(取决于情况)。>这似乎是缘木求鱼。 同意,但看看它如何发展会很有趣。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

对于摄影师,照片页面提供了熟悉的工具,以及DaVinci强大的色彩分级功能。它原生支持佳能、富士、尼康、索尼,甚至iPhone ProRAW的RAW格式。所有图像处理都在源分辨率下进行,最高可达32K,或超过4亿像素,因此您绝不会受到项目分辨率的限制。熟悉的白平衡、曝光、色彩和饱和度等基本调整为您提供了一个舒适的起点。通过无损处理,您可以随时重新构图、裁剪和重新解读原始传感器数据。并且,借助GPU加速,整个相册的处理速度比传统照片应用程序快得多!

Blackmagic Design 最近在 DaVinci Resolve 中发布了一个照片编辑器,这在 Linux 用户中引起了兴奋。Hacker News 上分享的消息强调了它可能成为 Adobe Lightroom 和 Capture One 的替代品。 用户如“thebiblelover7”表示很高兴,称 Lightroom 是他们保留 Mac 的主要原因,而这个新的编辑器为 Linux 上的照片管理提供了一个无需订阅、注重隐私的解决方案。 现有的 DaVinci Resolve 用户称赞它在视频编辑方面的速度和效率(据报道,编辑一小时的视频大约需要两小时)。虽然有些人希望有独立应用程序的选择,但总体情绪是积极的,认为照片编辑器对于寻求强大功能而不受 Adobe 生态系统缺点的摄影师来说,可能是一款改变游戏规则的工具。

这篇文章声称加拿大自由党政府内部的反美情绪日益增长,可能升级为冲突。总理马克·卡尼最近的讲话被描绘成左翼的“战斗号角”,批评美国并哀叹正在瓦解的“国际秩序”——隐性地针对保守派运动和美国远离多元文化主义的转变。 文章强调了国内政治紧张局势,引用了对土著和 LGBTQ+ 人群的“种族灭绝”指控以及预算削减,并将这些定性为“觉醒疯狂”的例子。它还指出了加拿大国内日益增长的分裂情绪,尤其是在阿尔伯塔等省份。 此外,文章还暗示加拿大正在加强军事能力,质疑扩张计划——侧重于从公共服务背景中招募人员——是否旨在加强国内控制而非外部防御。文章将过去的美国-加拿大贸易关系描述为寄生关系,并将特朗普的关税视为对加拿大左翼政策的回应,并将加拿大的言论与更广泛的全球主义对美国外交政策的反击联系起来,例如欧洲对伊朗的支持,即使美国可能实施海军封锁。

## 准备的幻觉与脆弱城市 我们常常安慰自己,认为在发生大规模灾难时会有反应时间,但历史表明,崩溃很少是有序的。系统不会发出警告,它们会停滞,然后突然失效,引发混乱并非来自事件本身,而是来自对事件的*反应*——特别是恐惧和不确定性。 作者认为,即使没有灾难性触发因素(网络攻击、电磁脉冲、经济崩溃),扰乱基本物资的流动——食物、能源、交通运输——足以使即使是强大的城市失去稳定。这些城市中心依赖于持续的供应,实际上非常脆弱。最初的扰乱似乎可以控制,但随着短缺和不一致现象的出现,信任会迅速瓦解。 具体而言,文章重点介绍了五个特别脆弱的美国城市:**纽约市**(人口密度和对供应的依赖),**洛杉矶**(距离和分散的基础设施),**新奥尔良**(环境暴露),**旧金山**(地震不稳定和高生活成本),以及**底特律**(现有的衰退和不均衡的复苏)。 核心信息是*地点*至关重要。准备工作很有价值,但如果身处一个天生容易迅速恶化的地点,则是不够的。认识到这种脆弱性——以及某些地区已经存在的潜在紧张局势——至关重要,因为崩溃往往从细微之处开始,一旦发生,选择机会会迅速减少。

## tseda:时间序列探索应用概要 tseda是一个Python应用程序,旨在探索规则采样的时间序列数据(每小时或更高频率),目前限制为2000个样本。它引导用户完成一个三步工作流程:**初步评估**、**时间序列分解**和**观测记录**。 **初步评估**利用核密度估计、箱线图以及自相关/偏自相关函数(ACF/PACF)来揭示数据分布和潜在季节性。**分解**采用奇异谱分析(SSA)来识别底层成分(趋势、季节性、噪声),基于特征值分布和用户定义的组别。这允许进行变化点分析和噪声结构评估。**观测记录**提供AIC排名诊断、自动摘要以及用户笔记的空间,最终生成一份报告。 tseda可以通过pip或conda安装,并提供Web应用程序界面和notebook环境。它需要Python 3.13或更高版本,并接受包含时间戳和数值列的CSV或Excel文件——数据必须是规则采样的,并且不包含缺失值。欢迎通过GitHub提交开发贡献和功能请求。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 探索定期抽样时间序列的工具 (github.com/rajivsam) 3点 由 rsva 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 人工智能对数学发现的快速影响 近期人工智能的进步,特别是像AlphaEvolve和Gemini这样的大型语言模型(LLM),正在极大地加速数学研究。在2026年初,人工智能意外地在置换群的布鲁哈特区间内发现了一种隐藏的超立方体结构——这是一个数学家甚至没有有意识地追求的问题。这突显了人工智能发现人类忽略的模式的能力,这种能力以前在较老的机器学习中有所体现,但现在更容易获取。 人工智能正在帮助数学家解决复杂的问题,例如在旗变体中嵌入球体,甚至生成优雅的证明来阐明以前晦涩的结构。虽然数学家仍然逐行验证这些证明,但人工智能显著减少了所需的时间和精力。 然而,这一进展并非没有挑战。人们担心人工智能生成的大量“无意义”内容及其对学生学习的影响,人工智能可以轻松解决作业。数学家们正在探索“自动形式化”——使用人工智能来翻译和验证证明——以对抗不可靠性。尽管担心被淘汰,但大多数人认为人工智能将成为一种标准工具,类似于LaTeX,辅助而非取代人类数学家,特别是在解决最具挑战性、长期的问题时。关键在于平衡人工智能的计算能力与人类直觉和定义数学的艺术元素。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 人工智能在数学领域的革命已经到来 (quantamagazine.org) 15 分,来自 sonabinu 3 小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助 claysmithr 12 分钟前 [–] 我想知道人工智能何时能够辨别时间流逝 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

弗吉尼亚州州长阿比盖尔·斯潘伯格最近签署了一系列枪支管制法案,将于7月1日起生效。这些法律代表着一次重大转变,此前曾被共和党州长否决,并且是在民主党控制两院立法机构和州长职位之后出台的。 主要措施包括禁止“幽灵枪”(无序列号的枪支),以及允许起诉枪支制造商和销售商因不负责任行为的立法。两项法案涉及受法院命令限制的个人持有枪支的问题——弥补了针对亲密伴侣暴力的漏洞,并概述了在保护令下转移枪支的程序。 值得注意的是,参议院法案749禁止某些被定义为“攻击性武器”的半自动步枪,并对现有步枪提供保留条款。该法案规定了轻罪处罚和违反规定的临时枪支限制。这些行动标志着弗吉尼亚州枪支管制措施的实质性扩展,由新授权的民主党多数派推动。

玛乔丽·泰勒·格林,前坚定的特朗普盟友,现在是前总统和共和党当前方向的直言不讳的批评者。她预测共和党在即将到来的选举中将遭受重大损失,理由是其基本盘因“美国优先”、传统保守派和温和选民等不同派别而分裂。 格林与特朗普的决裂源于对诸如处理埃普斯坦文件以及最近他对伊朗言论(她称之为“邪恶和疯狂”)等问题的分歧,甚至建议援引第25修正案。她认为,“MAGA”现在完全由特朗普的个人观点定义,缺乏一致的意识形态。 尽管如此,目前的民意调查显示,共和党基本盘在很大程度上*支持*特朗普的行动,尤其是在“MAGA”选民中。讽刺的是,格林的攻击很大程度上被民主党媒体和战略家们放大,这使得她成为左翼一个出人意料的有用声音,即使她似乎采用了他们的信息。然而,她对近期选举结果的影响似乎有限,因为共和党仍然在她以前的选区获得了胜利。

独立记者尼克·雪莉对纳税人欺诈的调查,最初在明尼苏达州,后来在加利福尼亚州引发了争议和立法回应。雪莉的报道揭露了政府资助项目中的涉嫌广泛欺诈行为,特别是那些服务于移民社区的项目,导致加利福尼亚州至少有21人因其报道中涉及的医疗欺诈被捕。 然而,加利福尼亚州立法者现在正在考虑AB 2624法案,该法案表面上旨在保护移民服务提供者免受人肉搜索和威胁。批评者,由议员卡尔·德迈奥领导,认为该法案是直接企图压制雪莉和其他调查记者。他们声称,这将允许被指控欺诈的组织要求删除公开视频证据,并对出版商处以巨额罚款——实际上是将新闻业犯罪化,并违反第一修正案。 虽然支持者表示该法案保护弱势工人,但反对者将其称为“阻止尼克·雪莉法案”,认为它优先考虑掩盖潜在的犯罪活动,而非透明度和问责制。该法案已通过委员会审议,目前仍在推进中,引发了人们对其可能对言论自由和调查报道产生的影响的担忧。

托斯滕·格鲁斯特(Torsten Grust)在图宾根大学开发了一门为期15周的本科课程,专注于DuckDB数据库系统的内部运作。课程材料,包括幻灯片,已在GitHub上公开提供。 “数据库系统内部设计与实现”(DiDi)课程涵盖了查询性能、内存管理、聚合、排序、索引、查询计划和优化等关键领域——特别是利用DuckDB的架构。 虽然一个学期无法提供全面的概述,但该课程提供了对数据库内部运作的实践探索。 期望学生具备基本的SQL知识,但查询主要集中在核心SQL概念上。需要SQL介绍的学生可以参加配套课程“表格数据库系统”。 这门课程提供了一种实践方法来理解现代数据库系统的工作原理。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 DuckDB 内部设计与实现 (duckdb.org) 5 分,mpweiher 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助 viccis 2 分钟前 [–] 我是否遗漏了什么,或者内容是空的?回复 esafak 0 分钟前 | 父评论 [–] https://github.com/DBatUTuebingen/DiDireply 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Tokens – 新的多巴胺经济 (enfuse.io) 3小时前 jesol 发表于,9点 | 隐藏 | 过去 | 收藏 | 1条评论 帮助 bethekidyouwant 19分钟前 [–] AI垃圾吞噬自身。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

纽约正面临来自霍桑多明尼加修女会的法律挑战,原因是州法律强制宗教组织遵守 LGBTQ 政策。这些修女经营着玫瑰山疗养院——一家提供免费护理的癌症临终关怀机构,她们认为该法律侵犯了她们的宗教自由,因为它要求她们遵守基于性别认同的规则,涉及房间分配、卫生间使用以及强制性言论,这些言论肯定了与她们天主教价值观相悖的信仰。 在州长凯西·霍楚尔的领导下,该州威胁对不遵守规定的行为处以罚款、吊销执照,甚至监禁。尽管从未收到过关于居民待遇的投诉,但这些修女拒绝妥协她们的原则。 此案与之前的最高法院裁决相呼应,例如 *小怜修女会诉宾夕法尼亚州*,该裁决保护宗教组织免受类似命令的约束。这场冲突也可能对霍楚尔州长在即将到来的选举中与天主教徒的关系产生政治影响。

## WiiFin:任天堂Wii的Jellyfin客户端 WiiFin是一个实验性的自制应用程序,为任天堂Wii带来Jellyfin媒体服务器访问。它使用C++、GRRLIB和MPlayer CE构建,允许用户直接在Wii主机上浏览和流式传输电影、电视节目和音乐。 主要功能包括帐户登录(用户名/密码或QuickConnect)、保存的配置文件、带有封面艺术的库浏览,以及播放报告以恢复上次停止的内容。视频播放依赖于服务器端转码,播放器叠加层提供搜索、音量和音轨选择等控制。通过mbedTLS支持HTTPS连接。 目前,WiiFin正在积极开发中,并存在一些限制:它不支持直接播放或5.1声道音频,并且字幕需要服务器端嵌入。它以.dol文件形式分发,供直接使用,或以.wad形式分发,通过WAD管理器安装,并且需要MPlayer CE进行视频播放。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 WiiFin – 任天堂Wii的Jellyfin客户端 (github.com/fabienmillet) 22点 由 throwawayk7h 1小时前 | 隐藏 | 过去 | 收藏 | 1条评论 帮助 Synthetic7346 0分钟前 [–] 我不敢相信Wii的wifi客户端比PS5早。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

人工智能代理的最新进展正在大幅降低发现软件漏洞的成本,可能引发一场广泛的“软件危机”,因为大多数现有代码并非为如此密集的审查而设计。这导致人们对形式化验证的兴趣增加——使用机械工具证明代码的正确性。 最近在Lean生态系统内取得了一项重要里程碑:10个AI代理自主构建并*验证*了一个完整的zlib实现,名为“lean-zip”,保证它没有实现错误。然而,随后的模糊测试(使用另一个AI代理Claude)揭示了一个令人惊讶的结果。虽然lean-zip本身在超过1.05亿次测试后被证明是安全的,但发现了一个缓冲区溢出——并非在经过验证的代码中——而是在Lean 4运行时中,影响所有版本。此外,lean-zip的未经验证的归档解析器中发现了一个拒绝服务漏洞。 这表明,即使是经过形式化验证的代码也依赖于可能仍然存在漏洞的基础系统,并且验证工作必须超出核心应用程序的范围。

一个黑客新闻的讨论强调了使用 Lean 和 Rocq 等工具进行形式化验证的挑战。虽然这些工具可以*证明*代码的正确性,但 Lean 验证了一个程序后发现的错误表明了一个关键点:**证明验证代码与*规范*一致,不一定与预期行为一致。** 评论者和原始帖子作者都经历了这种情况——经过验证的代码包含了一种拒绝服务漏洞,该漏洞源于程序规范中的缺陷。这说明,如果最初的规范不能准确反映期望的结果,完美的证明并不能保证程序没有错误。 令人担忧的是,如果规范没有经过严格审查,依赖于证明助手来验证人工智能的正确性可能会产生虚假的安全性,从而导致经过验证的代码*技术上*符合规范,但却不能实现人类*想要*的功能。

2026年大师赛的总奖金创纪录地达到了2250万美元,比去年增加了150万美元,比2022年增加了750万美元。罗里·麦克罗伊的胜利为他赢得了450万美元的历史最高奖金,这是大师赛历史上最高的赢家份额。 即使在排行榜靠后的选手也受益匪浅,晋级选手的奖金至少为55250美元,甚至未晋级的选手也能获得25000美元的保证。斯科蒂·谢ffler作为亚军获得了243万美元。 麦克罗伊以低于标准杆12杆的微弱优势获胜,为他的职业生涯增添了又一个大满贯冠军。前总统唐纳德·特朗普对麦克罗伊的胜利表示赞扬,称赞了他的表现,并表达了期待看到他在佛罗里达州多拉尔参加比赛的兴奋之情,提及了他们长期的关系。

一切工作流所需,都具备弹性。💾 检查点保存:在每个步骤后保存完整的工作流状态。JSON载荷高达1 MB,具有自动差异跟踪和ETags,用于并发控制。 ⏮ 恢复与重放:从最新的检查点恢复,或逐步重放整个工作流历史。代理从中断的地方继续。 🤖 代理身份:使用代理ID标记检查点。跟踪多代理工作流中代理执行的操作,并提供完整的审计跟踪。 📊 分析:内置工作流统计信息、故障模式检测和每代理性能指标。准确了解工作流中断的位置。 🔌 MCP服务器:开箱即用,可与Claude Desktop和Cline配合使用。添加系统提示,您的代理将自动获得持久内存。 💰 基于使用量的定价:提供慷慨的免费套餐:每月10k次写入、1 GB存储空间、5k次恢复。超出此范围只需为实际使用量付费。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 SnapState - AI 代理工作流程的持久化状态 (snapstate.dev) 5 分,robohobo 发表于 51 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## AI辅助编程:开发者视角 AI辅助编程工具如Copilot和Claude的快速兴起是不可避免的,甚至仅仅*讨论*它也在助长炒作。作者最初对此抵触,完全依赖AI进行代码生成时感到迷失和“文盲”——感觉像是在不断地代码审查,而不是创造。他们通过使用AI处理繁琐的任务,同时保留对核心逻辑和质量的控制,找到了平衡。 然而,这种开发便捷性的提高也带来了挑战。大量快速构建的“氛围代码”项目引发了对长期可维护性和代码质量的担忧,并对开发者的责任提出了伦理问题。AI生成代码的许可仍然是一个灰色地带。 最终,作者提倡负责任地使用AI。它是一种工具,而不是技能和努力的替代品。实验是找到适合个人需求的流程的关键,开发者应该优先考虑质量和责任,无论代码如何生成。核心信息是:继续“努力”——专注于构建伟大的事物,不要害怕将AI作为*过程的一部分*来拥抱。

一篇由一篇倡导编写更少代码的文章引发的 Hacker News 讨论,凸显了关于软件开发瓶颈的争论。一位独立游戏开发者分享了使用 C 和 raylib *不使用* 编码助手构建游戏的积极体验,认为流程可控且进度令人满意。他们认为真正的挑战不是*快速编写*代码,而是代码*背后的思考*。他们批评“更多、更好、更快”的追求在经济上是不可行的,指出增加代码通常会导致更多错误和开发者倦怠。 然而,另一位评论者,过去五年参与招聘 40 多名软件工程师,强烈不同意。他们表示,根据他们的经验,招聘的主要原因*始终*是提高编码产出——代码编写*就是*瓶颈。这次交流揭示了对现代软件开发中最大挑战所在的基本分歧。

## 人工智能生产力陷阱 尽管人工智能工具声称能带来“10倍生产力”的提升,但软件工程师中日益普遍的心理空虚感正在加剧。虽然人工智能加速了代码*生成*,但它通过持续的上下文切换、任务扩展和模糊的工作生活界限,反而*增加了*工作量——导致广泛的倦怠(71%的人报告倦怠,高人工智能用户中高达88%)。 加州大学伯克利分校的研究和行业报告表明,人工智能并没有减少工作,而是加剧了工作强度。人类大脑的分析思维能力约为每秒10比特,被需要审查的大量代码所淹没。质量下降;更大的PR(代码审查请求)导致缺陷检测率大幅下降,而PR的规模现在显著增加(代码行数增加76%)。 具有讽刺意味的是,最依赖人工智能的人最容易倦怠并可能辞职。核心问题是“监管税”——经验丰富的工程师花费*更多*时间批判性地验证人工智能的输出,承担了其他人卸载的认知负荷。这导致身体疲劳、睡眠中断,并最终导致一个系统,即确保质量的关键人员被推向崩溃的边缘。尽管产出增加,但整体组织吞吐量和质量仍然停滞不前。

最近的 Hacker News 讨论强调了追求“10倍”生产力提升所带来的人为代价。有报道称,资深工程师正面临不可持续的工作量,例如一位工程师每周工作 8 点到 8 点,6 天,主要*监督*大量的 AI 代理,这项任务过去需要更大的团队和更多时间。 这种压力增加发生在许多初级工程师被裁员*之后*,导致经验丰富的员工不得不承担负担。评论员质疑“10倍”说法的有效性,指出这通常是一种比喻性的夸大。另一些人认为个人工作习惯和倦怠是促成因素,而 AI 助长了过度工作。核心问题是,公司正在优先考虑 AI 驱动的产出,而忽视了工程团队的福祉和长期可持续性。

“海岸线悖论”表明海岸线的长度不是固定值,而是根据测量比例而变化。正如英国 Ordnance Survey 的 Danny Hyam 所演示的那样,英国海岸线在宏观尺度下(16,652公里)看起来比在更精细的尺度下(超过28,509公里)短得多。 这是因为放大显示会揭示越来越多的复杂特征——海湾、岛屿,甚至单个藤壶——从而增加整体测量长度。你尝试测量得越精确,细节越小,海岸线就变得越长。 本质上,这个悖论强调海岸线的长度会随着你越来越接近而趋于无穷大,因为每一个微小的不规则性都会贡献到总测量值中。这不仅适用于海岸线,也适用于任何不规则的边界或边线。

一场由BBC文章引发的Hacker News讨论,探讨了测量英格兰海岸线这一长期存在的难题。核心问题在于,你越仔细地检查海岸线,就越能发现更多的海湾、曲线和细节,从而无止境地增加其测量的长度——这一概念与分形几何有关。 一位用户提出了一种解决方案:定义一个固定半径,并沿海岸线“滚动”一个该大小的圆,追踪圆行进的距离。这提供了一个可测量的长度,尽管它会根据所选半径而变化。他们进一步建议根据陆地质量的大小来调整半径,以获得一致的结果。 另一位评论者开玩笑地建议使用普朗克长度作为半径来获得“真实”答案,突出了寻求明确测量值所固有的荒谬性。这场讨论强调了在处理复杂的自然形态时,定义测量本身所面临的挑战。

香港批准首批稳定币发行方,包括汇丰银行和渣打银行合资企业,预示着一场可能的重要转变,不仅仅是数字支付。此举将主要银行置于货币技术的前沿,并可能将亚洲确立为基于区块链的外汇(FX)和抵押品生态系统的中心。 虽然目前大多数稳定币以美元计价,但香港的港币支持的稳定币为进入美元系统提供了一个“侧门”,为区域贸易和汇款提供更快、更便宜和可编程的流动性。这并非一定是*去*美元化,而是为了多元化美元流动性的渠道,并促进法定货币之间的竞争。 香港与美元的独特货币挂钩为亚洲商业创造了一种“准美元”,有可能构建第一个可信的、基于互联网的原生外汇市场。其成功取决于维持与高质量资产的兑换能力和健全的监管——目标是建立值得信赖的货币基础设施,而不是投机性替代品。最终,这可能会重塑国际货币秩序,不是通过结束美元的主导地位,而是通过在其下方增加新的交易层,并优先考虑结算质量和透明度。

2026年4月,一位联邦法官驳回了前总统特朗普对《华尔街日报》、道琼斯公司和鲁珀特·默多克提出的100亿美元诽谤诉讼。该诉讼源于一篇2025年的文章,该文章涉及一封特朗普据称写给吉莱恩·麦克斯韦尔和杰弗里·爱泼斯坦的信。 法官达林·盖尔斯裁定,特朗普的最初诉状未能达到公共人物起诉诽谤所需的“实际恶意”标准。法官认为,恶意指控过于笼统,缺乏对真相的鲁莽漠视的具体证据。《华尔街日报》在出版前已向特朗普、司法部和联邦调查局寻求评论,并在文章中包含了特朗普的否认。 驳回是*无偏见*的,这意味着特朗普的法律团队可以在2026年4月27日之前重新提交修改后的诉状。特朗普表示他打算这样做,坚持否认该信的真实性,并指责《华尔街日报》发表“假新闻”。道琼斯公司对驳回表示满意,并重申了其报道的准确性。

安杰伊·奥德日沃莱克最近在arXiv上发表了一篇文章,表明仅使用函数和常数1,就可以获得所有基本函数。以下方程摘自论文的补充材料,展示了如何从elm函数引导出加法、减法、乘法和除法。有关如何获得常数π以及平方、平方根等函数,以及标准的三角和双曲函数,请参阅论文和补充材料。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 数学极简主义 (johndcook.com) 10 分,chmaynard 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 gus_massa 发表于 6 分钟前 [–] 关于原始文章的深入讨论:https://news.ycombinator.com/item?id=47746610 (781 分 | 21 小时前 | 251 条评论) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私政策和安全 YouTube 工作原理 测试新功能 © 2026 Google LLC

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 气动段式显示屏?[视频] (youtube.com) 18 分,ProfDreamer 2小时前 | 隐藏 | 过去 | 收藏 | 3 评论 帮助 pointpth 3分钟前 | 下一个 [–] 有时候人类真是太棒了。回复 tyleo 27分钟前 | 上一个 | 下一个 [–] 哇,这太低调了。视频开头剪辑了创作者用气动制作的几个其他发明。他们讨论了通常使用气动进行数字逻辑门。 非常棒的东西,我以前从未想过!回复 rbanffy 1小时前 | 上一个 [–] 当你将柔性显示屏与之结合时,它会变得更有趣。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

参议院调查显示,拜登政府下属的FDA和CDC官员早在2022年10月就发现辉瑞二价新冠疫苗加强针与老年人缺血性中风风险增加之间可能存在关联。尽管有七项分析标记出这一“中风信号”,并且数据显示到2023年2月已有226例病例,但政府并未发布公开警告或更改加强针建议。 相反,政府聘请了一家私人承包商进行内部调查(“中风项目”),而官员们继续公开声称疫苗是安全的。一份关于风险的草案沟通计划被修改,将信号的严重程度从“中度升高”降至“轻微升高”,但没有记录显示是谁做的修改。 此前已有政府淡化心肌炎风险的发现。此次调查凸显了一种被认为的双重标准,与因更少的报告不良事件而迅速暂停强生疫苗形成对比,并导致公众对CDC和FDA的信任度下降。

启用 JavaScript 和 Cookie 以继续。

## 技术岗位衰退与人工智能因素 最近在Hacker News上的讨论指出,技术岗位确实出现了下滑,但认为直接将责任归咎于人工智能还为时过早。 核心问题并非人工智能以承诺的速度取代开发者,而是公司过度投资于基础设施(数据中心)以支持尚未完全实现的人工智能抱负。 用户认为,公司正在押注规模以弥补人工智能当前的局限性,导致在缺乏资源的领域进行代价高昂的建设——最终导致裁员。 尽管过去的基建繁荣(如光纤)需要时间才能获得回报,但人工智能专用硬件(GPU)的快速老化却是一个关键的区别。 对话强调,目前增强型人类比完全由人工智能驱动的解决方案更具成本效益,市场崩盘甚至可能稳定GPU价值,结束虚高的定价。 最终,当前的情况源于对人工智能即时影响的未实现预期,而非其最终潜力。
联系我们 contact @ memedata.com