Please provide the content you want me to translate. I need the text to be able to translate it to Chinese. Just paste it here, and I will give you the Chinese translation.

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 PG&E 在旧金山停电,13万用户无电 (sfchronicle.com) 20点 由 hamandcheese 1小时前 | 隐藏 | 过去 | 收藏 | 1条评论 Avicebron 28分钟前 [–] 我想知道应急行动中心是否有人提出应该有多家机构提供电力…回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## ZXC:为速度设计的非对称无损压缩 ZXC是一个高性能的无损压缩库,专为优先考虑快速解压缩的场景设计——例如游戏资源、固件和应用程序分发(“一次写入,多次读取”)。与传统的对称编解码器(如LZ4)不同,ZXC有意牺牲压缩速度,以换取显著更快的解压缩速度。 **主要优势:** ZXC在Apple Silicon上比LZ4实现了高达**+40%更快的解压缩速度**,在Cloud ARM(Google Axion)上实现了**+22%**,这一点已通过包含在lzbench基准测试套件中得到验证。它专注于“非对称效率”,优化压缩数据结构以适应现代CPU指令流水线,尤其是在ARMv8架构上。 **工作原理:** ZXC在压缩(构建时)期间执行密集分析,以最大化解压缩吞吐量(运行时)。它提供多种压缩级别,平衡速度和比率,其中Level 3提供了一个很好的平衡,Level 5则非常适合嵌入式系统。 **特性:** ZXC提供单线程(内存缓冲区)和多线程(文件流)API,完全线程安全,并包含强大的错误处理和校验和验证。它会持续使用模糊测试和静态/动态分析进行安全性和稳定性测试。 **可用性:** ZXC在GitHub上可用,并提供各种平台的预构建二进制文件。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 展示 HN: ZXC – 非对称,在 ARM 上比 LZ4 解码速度快 40% (C, BSD-3, 模糊测试) (github.com/hellobertrand) 8 分,由 pollop_ 1 小时前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 sounds 15 分钟前 [–] 如果你想查看与更广泛的开源压缩算法的比较,可以使用 lzbench (它直接链接在 ZXC 的 github 页面上) lzbench 已经将 ZXC 添加到其套件中。这使得一个很好的苹果对苹果的比较成为可能。https://github.com/inikep/lzbench 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 人工智能任务完成能力正在迅速提升 最新研究表明,人工智能代理能够自主完成的任务时长呈持续的指数级增长。以这些任务对人类专业人士所需的时间来衡量,“任务完成时间范围”在过去6年中大约每7个月翻一番。 这一指标提供了一种比传统基准更实用的评估人工智能进展的方式,弥合了测试表现与实际应用之间的差距。当前模型在特定任务上表现出色,但在持续的、多步骤的项目上却面临挑战。然而,根据当前趋势外推,在未来几年内,人工智能可以可靠地处理目前需要人类数周才能完成的任务。 该研究利用逻辑曲线来预测基于任务长度的成功概率,并证实了这一趋势在各种任务集和模型中都存在。尽管存在不确定性,但研究人员发现即使在数据发生重大变化的情况下,预测结果也具有鲁棒性。代码和原始数据已在GitHub上公开,鼓励进一步的研究和开发,以促进人工智能预测和风险评估这一关键领域。

测量AI完成长期任务的能力:Opus 4.5 有 4 小时 49 分钟的视野范围 (metr.org) 16 分,spicypete 发表于 24 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论 grim_io 发表于 1 分钟前 [–] 这似乎是衡量 LLM 改进的好方法。这与我使用越来越好的模型时个人感受相符。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在堪加鲁岛(澳大利亚南澳大利亚州)经历毁灭性的2019-20年丛林大火后,一项非凡的发现浮出水面。植被被清理后,研究人员利用航拍图像寻找潜在的洞穴系统,利用该岛独特的地质历史。这导致发现了超过150个新洞穴,数量超过了此前已知的130个。 最重要的发现是“凤凰洞”,因其从火灾灰烬中出现而得名。探险者们下降了八米,发现了广阔的隧道和令人惊叹的石灰岩地貌,估计历史可追溯到一百万至两百万年前。这些洞穴正在揭示该岛过去的秘密,包括古代海底沉积物,以及至关重要的、此前未被记录的物种——包括适应黑暗生活的无眼白色蜘蛛。 这项由志愿者驱动、通过资助支持的探索,不仅仅是关于测绘;更是关于通过石笋分析了解过去的气候,并保护新发现的脆弱生态系统。虽然这些新洞穴目前不对公众开放,但堪加鲁岛已建立的凯利山洞穴继续为游客提供一窥该岛地下世界的机会,反映了该岛更广泛的恢复和重生。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 从灾难到奇迹:袋鼠岛丛林大火导致洞穴被发现 (abc.net.au) 12 分,speckx 发表于 2 小时前 | 隐藏 | 过去的 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 乔姆斯基对语言统计学习的批判 在2011年的一次研讨会上,诺姆·乔姆斯基批评了机器学习研究人员专注于统计模仿语言行为,而没有寻求潜在原则或“意义”。他认为,实现工程上的成功——准确地模拟数据——本身并不是一个科学目标,即使准确的复杂统计模型也无法真正洞察语言的*运作方式*。他认为语言习得不能仅仅通过统计学习来解释,暗示着一种内在的语言能力。 然而,这种观点受到了挑战。虽然承认理论理解的价值,许多人认为科学是通过理论*和*观察共同进步的。统计模型,尽管复杂,通过它们的成功和失败*确实*提供了宝贵的见解,并且在许多语言处理应用中——从搜索引擎到语音识别——都得到了证实是有效的。 这场争论的中心在于,优先考虑简单性和抽象原则(乔姆斯基的方法)还是拥抱复杂、数据驱动的模型,哪种方法更有成效。现代统计方法,如概率上下文无关文法,解决了早期模型的局限性,并提供了对语言固有概率性质更细致的理解。最终,许多研究人员认为,结合这两种方法才能完全揭示语言的复杂性。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 乔姆斯基与统计学习的两种文化 (norvig.com) 12 分,atomicnature 2 小时前 | 隐藏 | 过去的 | 收藏 | 3 评论 templar_snow 11 分钟前 [–] 这家伙实际上在埃普斯坦档案里。回复 Epa095 6 分钟前 | 父评论 [–] 然后呢?彼得·诺维格的文章仍然很有趣。回复 edm0nd 1 分钟前 | 根评论 | 父评论 [–] 这有点奇怪和可疑。说实话,我很惊讶诺姆竟然还活着(97 岁了),他活不了多久了,很快就会离开这个世界。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese. Just paste it here, and I will give you the Chinese translation.

一份关于haveibeenflocked.com的报告称,Flock Safety(一家得到Y Combinator支持的公司)和Cyble Inc. 滥用“网络犯罪”下架请求来压制批评者。 报告声称他们提交虚假通知以压制负面信息,这可能源于从暗网获取的数据——尽管他们之前否认使用此类数据。 进一步调查(链接在评论中)详细说明了这些据称的虚假通知仍在继续。Hacker News的讨论质疑Y Combinator对其资助公司的监督和伦理责任,尤其是在从事潜在不道德或非法行为时。 用户表达了对这些行为更广泛影响的担忧,以及对公众意识不足的担忧。

## 史蒂夫·贝尔的三穹顶:一个几何挑战 在20世纪60年代,艺术家史蒂夫·贝尔是Drop City社区的一员,他试图改进巴克敏斯特·富勒的测地穹顶。他专注于佐诺hedra,特别是菱形十二面体(RID),旨在用回收材料(例如汽车顶棚)以经济实惠的方式建造适应性强、模块化的结构。 贝尔标志性的三穹顶由三个融合的RID构成,却出现了一个令人惊讶的问题:这些多面体*并不完全*能完美地贴合在一起,产生了一个他不得不强行闭合的角隙。他发现这些角度并非肥皂泡中理想的120°,而是一个无理数116.56505°。 最近的研究表明,解决方案在于四维几何。在4D中,三个RID可以作为更大的多胞体的一部分无缝连接。将这个投影到3D中提供了潜在的建造方法,但每种方法都有其权衡。实现简单的平面图需要复杂的零件清单或牺牲对称性。一个妥协的方案是使用略微不对称设计的标准Zometool零件。 贝尔在看到这些解决方案后,表达了建造它的愿望。他的作品突出了看似简单的几何形式中隐藏的意外复杂性以及对建筑完美的不懈追求。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 完善史蒂夫·贝尔的三重穹顶 (vorth.github.io) 3 分,robinhouston 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

启用 JavaScript 和 Cookie 以继续。

《经济学人》最近的一篇文章(链接见archive.is/KVT11)讨论了人科动物长期以来对酒精的处理历史。虽然标题声称“与酒精长达一千万年的恋爱关系”,但文章实际上关注的是大约在那个时期出现于人类、黑猩猩和猩猩共同祖先中的一种基因突变。 这种突变能够更有效地处理乙醇,与从森林生活转向地面觅食同时发生,后者以发酵的落果作为卡路里来源。“醉猴”假说认为,对酒精气味和味道的偏好提供了一种进化优势。 评论者指出标题夸大了“人类”的概念(人类仅存在约30万年),并指出文章需要付费才能阅读。讨论还简要涉及了GBL等潜在的酒精替代品,并对其危险性发出警告。 许多用户批评《经济学人》使用点击诱饵标题。

启用 JavaScript 和 Cookie 以继续。

Databricks Workflows 中的参数和组件 (medium.com/dev-genius) 3 分,protmaks 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

客户端挑战:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接,禁用任何广告拦截器,或尝试使用不同的浏览器。

这个Hacker News讨论围绕着一篇NBER关于美国不平等的报告,引发了对特权及其影响的反思。最初的评论者“i_am_a_peasant”指出,即使是少量的特权——安全的环境、支持性的关系——也会产生积极的反馈循环,而缺乏这些基本条件则会带来巨大的障碍。 他们分享了一个沃尔玛停车场令人心酸的轶事,对比了朋友的富裕和一个挣扎的家庭,质疑孩子们的未来机会。这个观察强调了美国社会中可见的差距。 “somewhereoutth”的后续评论呼应了这种观点,表达了对基本需求未被满足的后果感到震惊,并揭示了天真地认为每个人都从相似的起点开始的假设。 两条评论都强调了人们很容易将特权视为理所当然,以及那些没有特权的人所面临的严峻现实。

此文档似乎是一个严重损坏的PDF文件。内容主要由不可读、类似二进制的字符流组成,其中夹杂着一些可识别的PDF结构元素。 本质上,该文件没有按预期显示文本。`/ProcSet [ /PDF /Text ]`的存在表明该PDF*应该*包含文本,但字符流本身已损坏。文件可能在创建、传输或存储过程中受损。 如果没有专门的PDF恢复工具,无法确定文档的原始内容。可见的片段表明它*可能*包含一些基于拉丁字母的文本,但这只是推测。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 如何写21世纪的证明 (2011) [pdf] (lamport.azurewebsites.net) 6 分,由 User23 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 分片式、单线程数据库:一种令人惊讶的有效方法 传统的SQL数据库依赖于锁机制来处理并发写入,这可能导致死锁、重试和扩展瓶颈——尤其是在高负载下。本文论证了一种不同的方法:**积极分片式、单线程数据库。** 核心思想是通过确保每个分片只有一个写入者来消除写入冲突,从而保证可串行化,而无需复杂的事务模式。虽然SQLite展示了单线程的优势,但它缺乏可扩展性。分片*可以*解决这个问题,但会引入跨分片查询、复杂基础设施和困难迁移等挑战。 然而,许多这些问题都可以缓解——通常是通过接受较弱的一致性保证,或利用分布式事务和迁移的工具。好处是显著的:可预测的性能、水平扩展性和简化的开发,因为每个分片内的事务本质上是可串行化的。 这并非一个新概念(ScyllaDB和VoltDB利用了类似原理),但通常针对大规模应用程序。作者认为,这种架构可以使更广泛的开发者受益,为传统数据库的持续调整提供了一个引人注目的替代方案,特别是对于优先考虑可靠性和可预测性而非所有操作的绝对一致性的应用程序。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 更多数据库应该单线程 (konsti.xyz) 9点 由 lawrencechen 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

🛡️ 安全验证 验证您是否为机器人 ⏳ 正在验证您的浏览器… 验证并继续 ✓ 验证完成 此页面将在稍后自动跳转…

意大利生活在村庄附近的熊已经进化得更小、更不具攻击性 (phys.org) 27点 由 wjSgoWPm5bWAhXB 2小时前 | 隐藏 | 过去 | 收藏 | 3条评论 TechnicalVault 41分钟前 | 下一个 [–] .338 Winchester Magnum的选择压力不容低估。有趣的是,类似的情况也发生在实验室小鼠身上。当技术人员选择要淘汰的小鼠时,更具攻击性的老鼠更有可能被选中。会杀死同伴的小鼠会破坏实验。回复 naian 41分钟前 | 上一个 | 下一个 [–] 期待熊被驯养。回复 anothernewdude 21分钟前 | 上一个 [–] 哦,对了,是动物。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## light/HolyC:一个简单的、基于C的编辑器 light/HolyC是一个轻量级的文本编辑器,用C语言编写,优先考虑易用性而非原始速度——类似于Vim/Neovim之于Rust。它具有最小的运行时开销,并被用作Orthodox编译器项目的主要编辑器。 与Vim不同,light/HolyC主要在单个“插入”模式下运行。其功能通过**插件**(在每次输入时改变显示缓冲区的函数)和**快捷键**(Ctrl+字符组合,修改缓冲区)来扩展。 插件处理诸如行号和语法高亮显示等功能,而快捷键提供快速操作,例如添加/删除行(Ctrl+L/D)、导航到行首/行尾(Ctrl+B/E)以及跳转到特定行(Ctrl+W/A)。 该设计强调代码和使用的简洁性,旨在提供一个直接且可扩展的编辑体验。这是一个充满信念并向Terry Davis致敬的项目。

一位Hacker News用户分享了他在GitHub上的C语言代码编辑器链接,并表示这个项目是一次变革性的经历。随后的讨论很快转向了Terry Davis,他是特立独行的操作系统TempleOS的创造者。 评论者们提到了Davis的天赋以及他与精神分裂症的斗争,并表达了对TempleOS的不同看法——一些人称其为杰作,另一些人则认为其宗教内容有时令人不安。最初帖子中提到的项目似乎是对Davis的致敬,融入了相似的宗教主题。 一位评论者戏谑地责备了原作者,认为编写C语言编辑器本身并不具有改变人生的意义,从而引发了一场轻松的交流。这个帖子突显了Terry Davis复杂的遗产,以及天才、精神疾病和软件创作之间的交集。

该界面“Jmail”提供访问权限,可浏览国会公布的、据称属于杰弗里·埃普斯坦([email protected])的2400多封真实邮件。它由Workspace环境中的AI概述工具“Jemini”提供支持,但用户被警告要仔细核实其回复的准确性。 该平台允许用户浏览邮件,按姓名搜索(包括迈克尔·沃尔夫、劳伦斯·萨默斯和吉斯莱恩·麦克斯韦尔等人物),将邮件标记为星标,以及浏览账户。 还有一个“随机页面”功能。 目前显示收件箱,并显示有关暂停的亚马逊Prime会员资格的通知,Jmail呈现了埃普斯坦通讯的可搜索档案。 该系统强调数据的真实性,并鼓励探索和贡献。

## Jmail Suite:访问与可视化埃普斯坦文件 Luke Igel 和 Riley Walz,Jmail 的创建者(一个类似 Gmail 的埃普斯坦邮箱界面),在最近 DOJ 文件发布后宣布扩展他们的项目。在社区协作的推动下,“Jmail Suite”现在包含几个新的应用程序:**JPhotos**、**JDrive**、**JAmazon**、**Jemini**(一个 LLM 助手)和 **JFlights**,用于追踪相关旅行。 Jmail 最初于上个月推出,获得了大量关注,浏览量达数百万,并收到扩展数据访问权限的请求。该团队随后与 Drop Site News 和 DDoSecrets 合作,发布了与此案相关的此前未公开的 Yahoo 电子邮件。 一位合作者 dvrp 也在致力于集成一个 ML 模型 (SHARP),以从发布文件中图像中创建 3D 可视化效果。该项目旨在提供易于访问和多功能的探索埃普斯坦 20 年数字足迹的方式。你可以在 [jmail.world](https://jmail.world) 找到该套件。

此代码实现了一个浏览器扩展功能(测试版),它会根据网页中特殊格式的文本显示工具提示。它搜索用双重方括号括起来的文本,例如`[[术语|标题|内容]]`,并将其替换为交互式按钮。 点击或聚焦这些按钮会显示一个包含`标题`和`内容`文本的工具提示“气泡”,并将其锚定到按钮(`术语`)。该扩展智能地定位气泡,避免屏幕边缘并调暗其他页面内容以突出显示。 它处理鼠标交互(悬停、点击)、键盘导航(聚焦、Esc键)和触摸事件,适应桌面和移动设备体验。该扩展还包括打开/关闭工具提示的动画,并管理状态以确保一次只打开一个工具提示。 **重要提示:** 作为测试版功能,用户被警告要谨慎并保护自己免受潜在的安全风险。

一个名为“Claude in Chrome”(claude.com)的新Chrome扩展程序正在Hacker News上讨论,它可能取代Chrome Devtools MCP,提供更大的上下文自由度。然而,初步评价似乎不佳。 一个主要的争议点是Claude即使是基本的LLM使用也需要登录。用户对此表示沮丧,更喜欢ChatGPT等替代方案的可访问性。一些人认为登录对于提供价值的免费服务来说是合理的,而另一些人则将其与期望承包商免费劳动进行不利比较。 讨论还集中在登录要求是否是优先考虑专业付费用户并管理计算资源的一种策略,类似于Gemini的做法。最终,对话强调了用户对易用性的偏好与服务提供商施加的潜在限制之间的对比。

## 关于涂鸦的一些思考 一次法国乡村的火车旅行,因在一栋老房子上看到涂鸦以及与作者兄弟吉姆——一位曾经多产的涂鸦艺术家——的共同经历,引发了对涂鸦的思考。文章探讨了涂鸦的复杂本质,质疑其定义、道德和艺术价值。作者承认涂鸦的非法性和潜在的破坏性,但认为其反叛性反而*增强*了其审美价值,代表着对财产权和社会规范的反抗。 叙述在个人历史——吉姆的艺术发展,从合法的墙壁到大胆的“轰炸”——和关于艺术、所有权和抗议更广泛的哲学问题之间穿梭。作者努力克服批评涂鸦带来的“背叛”感,认识到涂鸦作为边缘群体发声和对社会失败的评论的力量。 从古罗马的铭文到现代政治声明,如覆盖在企业口号上的“解放巴勒斯坦”,涂鸦被呈现为一种持久的表达形式。最终,作者得出结论,涂鸦不仅仅是破坏,更是一种艺术批评、诗歌,以及对我们周围世界至关重要(尽管常常不受欢迎)的反映。

## 黑客新闻上的涂鸦争论 一篇关于涂鸦的文章在黑客新闻上引发了一场讨论,观点分歧。一些评论者怀念过去对涂鸦艺术的欣赏,受到《地铁艺术》和《Jet Set Radio》等的影响,但许多人则表达了对其普遍存在的沮丧。 一个关键点是将非法涂鸦与无处不在的广告进行比较——两种对公共空间进行不受欢迎的“标记”形式,广告更为普遍。一些人认为,限制涂鸦的艺术表达,却允许商业广告,是正义问题和公共话语权的不平等。 然而,另一些人则强烈捍卫财产权,将大多数涂鸦定义为简单的破坏行为,而非艺术。人们对强加不受欢迎的信息表示担忧,将其比作被迫听糟糕的诗歌。讨论还涉及了一些涂鸦的政治性质,质疑通过涂鸦表达可能具有争议的观点是否是合法的公共讨论形式,还是仅仅是不受欢迎的强加。最终,这场争论凸显了艺术表达、财产权和城市景观美学之间的紧张关系。

目前,您**无法更改**与您的Claude账户关联的**电子邮件地址**。注册时请谨慎选择您的电子邮件! 如果您需要使用新的电子邮件地址使用Claude,您必须**取消**任何现有的付费订阅(Pro或Max),通过您的账户设置进行操作,允许在您的账单周期结束前访问 – 请至少在续订前24小时取消,以避免产生费用。 如果您无法访问原始电子邮件,请**联系Claude支持**,从您当前的电子邮件地址发送请求,并在请求中*抄送*旧的电子邮件地址以启动取消流程。您也可以要求他们**解除绑定您的电话号码**,以便用于新账户。 最后,**删除旧账户**(设置 > 账户 > 删除账户),请记住此操作是永久性的,并将删除您的聊天记录 – 如果需要,请提前导出数据。如果看不到“删除账户”选项,请联系支持寻求帮助。

Hacker News 的讨论指出,Anthropic 的 Claude AI 存在一个令人沮丧的限制:用户**无法更改与其帐户关联的电子邮件地址**。 这迫使需要新电子邮件地址的用户创建全新的帐户,OpenAI 也报告了类似的问题。 用户推测原因,认为可能是潜在的数据库问题——具体来说,电子邮件地址可能被用作主键,使得更新变得复杂且有风险。 也有人想知道是否使用了 Okta 等第三方身份验证解决方案。 对话表明,这些 AI 平台在帐户管理方面缺乏令人惊讶的灵活性,引发了人们对这种看似简单的限制背后技术原因的质疑。 一篇建议使用帐户号码代替个人信息的文章也被提及为一种潜在的解决方案。

## MIRA:一个自我管理的AI & 开源项目 MIRA是一个独特的开源AI项目,源于对个性化食谱生成器的渴望,并发展成为一个“持续的数字实体”——一个持久的、自我管理的对话型AI。与典型的聊天机器人不同,MIRA具有单一的、无尽的对话线程,这促使人们为长期记忆和上下文寻找创新的解决方案。 主要功能包括自动记忆管理(衰减不相关信息并优先处理参考数据)、通过协作的“domaindoc”工具处理大型文档的能力,以及一个自我配置的工具系统,可以根据需要动态加载和卸载功能。MIRA甚至利用一个“knowledgeofself”文档来随时间推移发展其人格。 MIRA采用模块化、事件驱动的架构,并大量利用Claude Opus 4.5的卓越对话能力(尽管也兼容其他模型),旨在实现可扩展性。用户可以使用Claude Code轻松创建新的工具。该创建者强调对开源开发的承诺,认为该项目的潜力应该被集体拥有和改进。MIRA可以通过一个简单的脚本进行部署,并且在[miraos.org](http://miraos.org)上存在一个托管版本。

## MIRA:一个开源AI实体 Taylor Satula 发布了 MIRA,一个具有记忆功能的开源AI实体,最初采用商业源代码许可证 (BSL)。但根据反馈,许可证已更改为 AGPL,以确保更广泛的可访问性,同时仍保护开发者的工作。讨论强调了人们对“源代码可用”许可证被误认为是真正开源的担忧,一些人认为需要更清晰的定义。 MIRA 旨在通过两步生成过程(涉及语义记忆检索和过滤)来解决常见的AI“上下文污染”问题——长期记忆导致行为异常。一个托管实例在 miraos.org 上免费提供公共测试,开发者正在积极寻求错误报告以提高稳定性。 用户报告了一些不稳定性,尤其是在使用第三方API提供商进行工具调用时,开发者已经开始解决这个问题。该项目被描述为一项个人努力,类似于创造者眼中的“TempleOS”,并展示了平衡开放访问与维持开发努力的承诺。

## 对比搜索策略:从国际象棋到康威生命游戏 现代人工智能采用不同的搜索策略,以国际象棋引擎Stockfish和Leela Chess Zero为例。Stockfish快速探索*大量*棋局并进行简单评估,而Leela Zero则受到AlphaZero的启发,分析*较少*的棋局,并使用更深入的、基于神经网络的评估。这种差异反映了在寻找康威生命游戏中的复杂模式时,方法的转变。 传统上,像`ntzfind`这样的程序使用穷尽式、内存密集型搜索。一个新的程序`ikpx2`采用了Leela Zero的方法:较小的搜索树,加上每个节点上计算密集型的分析,利用SAT求解器“预判”并评估潜在情况。这种“浅树重叶”模式适合内存,并允许并行处理。 重要的是,`ikpx2`不会丢弃扩展的部分解;它*模拟*它们,通常会揭示直接搜索遗漏的意外模式——例如高周期尾部或碎片轨迹。这促成了在标准和非标准生命规则中发现新的宇宙飞船和模式,包括一个周期为21的宇宙飞船和Day&Night规则中的增长骑士飞船。虽然更快的(2,1)c/7宇宙飞船仍然难以捉摸,但`ikpx2`证明了优先考虑分析深度而非搜索广度的力量,并且其源代码可供公开实验。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 带有浓密树叶的浅树 (2020) (hatsya.com) 11 分,由 HeliumHydride 发表于 5 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

互联网结束了!恭喜你,你终于到达了互联网的尽头!这里没有什么可看的,也没有更多的链接可以访问。你已经完成了所有的事情。这是互联网上最后一个服务器上的最后一页。你现在应该关掉你的电脑,去用余生做一些有用的事情。 * 建议: * 读一本书 * 做一些公益服务 * 与你可能只在网上认识的邻居亲自互动 * 种一棵树 * 向住在你家里的其他人介绍自己(你的家人)。 * 请不要忘记离开时关灯。为了节省时间,我们现在将开始将互联网下载到你的本地驱动器。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 你已经到达互联网的尽头 (hmpg.net) 29 分,raytopia 4 小时前 | 隐藏 | 过去 | 收藏 | 3 评论 mapontosevenths 1 分钟前 | 下一个 [–] 曾经很有趣。对我来说,高光时刻是 Fark 或者 Homestar,低谷时刻显然是 Facebook……或者民主的终结。回复 jacewhitmer 40 分钟前 | 上一个 | 下一个 [–] 让我想起了这个广告 https://youtu.be/_uXtWIg_A7M?si=h0FSN79T5SDoUuGm 回复 benwerd 7 分钟前 | 上一个 [–] 我的意思是,终于。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

许多人认为数学家们深入研究像选择公理这样复杂的基石问题,但实际上大多数人并不直接参与其中。数学基础是一个相对较新的发展,最初的“危机”几乎没有影响到实际的数学工作——只有基础教材需要修订。 这种看似的漠不关心并非弱点,而是数学稳健性的体现。数学本质上是非正式的,依赖于共同的直觉和未言明的约定。形式系统作为沟通和思考的工具很有价值,但最终是定义“足够形式化”的社会构建,而非绝对真理。 数学家们通常接受ZFC集合论,并非出于深刻的承诺,而是因为它为基于朴素集合论的直觉实践提供了一种广泛接受的理由。这种冷漠提供了一个机会:如果将类型论等更具表现力的基础系统呈现为*便捷*的工具,而不是要求哲学转变,数学家们可能会对此持开放态度。数学并非建立在基石之上,而是直觉不断演化的编码。

## 数学家与基础:摘要 一篇博客文章(“数学家不关心基础”)引发了 Hacker News 的讨论,探讨了数学家是优先考虑严格的基础,还是仅仅关注结果。核心论点是,就像软件开发者不纠结于寄存器一样,数学家经常使用已建立的工具和“黑魔法”,而不会深入质疑潜在的公理系统。 然而,评论员指出数学家*确实*关心简洁性,并积极寻求使用最少假设的证明——以改进费马大定理和素数定理的证明为例。这场讨论强调了与软件的一个关键区别:一旦确立,数学证明被认为是绝对可靠的,而代码的正确性往往是不确定的。 虽然有些人认为基础选择会影响数学真理(例如,函数的连续性),但许多数学家优先考虑实用性和审美偏好,尤其是在各自领域内。他们更关心结果的实用性和优雅性,而不是支持它们的“纸牌屋”基础,特别是如果这些基础不会直接影响他们的工作。最终,争论的中心在于数学是符号操纵的游戏,还是对内在真理的发现。

X-59 3D打印 以下提供X-59 3D打印文件下载。X-59实验飞机长约100英尺,设计飞行速度为1.4马赫(925英里/小时)。该飞机是“Quesst”任务的一部分,该任务有两个目标:设计和制造NASA的X-59研究飞机,采用降低超音速飞行时冲击波噪音的技术,使其对地面人员听起来像轻微的撞击声;以及在选定的美国社区上空飞行X-59,收集人们对超音速飞行产生声音的反应数据,并将该数据集提供给美国和国际监管机构。 作者/来源:NASA航空研究任务局 / Zachary Gwennap 和 Liam Brinton (NASA实习生) 相关任务:Quesst 添加日期:2021年12月17日 X-59 3D打印组装说明 下载 X-59 3D多部件图形模板文件 (ZIP) 下载 带支架的X59 (ZIP) 下载 无支架的X-59 (ZIP) 贴纸 X-59贴纸 (1/64)

一个黑客新闻的讨论集中在NASA发布可3D打印的航天器模型,例如X-59、哈勃和好奇号探测器。用户分享了NASA的3D资源链接 ([https://science.nasa.gov/3d-resources/](https://science.nasa.gov/3d-resources/))。 对话很快转向了打印这些模型的实际问题。一些评论者指出,macOS和Windows都内置了.STL文件查看器,允许用户即使没有3D打印机也能浏览模型。其他人讨论了打印机推荐(任何“主流”打印机都可以工作)和预计打印时间(在Bambu P1S上大约4小时)。 也有一些幽默的评论,承认打印一架全尺寸的X-59飞机或期望PLA塑料承受超音速是不切实际的。总的来说,该帖子展示了人们对NASA开放访问这些详细模型的积极态度。

## 爱尔兰人加冕Excel世界冠军 来自爱尔兰戈尔韦的迪亚穆德·厄利成为世界上最优秀的Excel用户,赢得了2025年微软Excel世界锦标赛,比赛地点在拉斯维加斯。他击败了三届冠军安德鲁·Ngai,赢得了6万美元的奖金和梦寐以求的冠军腰带。 这项赛事吸引了全球256名选手,将办公软件转变为一项高风险的电子竞技,拥有欢呼的观众和巨大的压力。决赛轮包括限时淘汰赛,要求选手在Excel中以速度和准确性解决越来越困难的挑战——从解决迷宫到对扑克牌手的牌型进行排名。 虽然金融背景不是必需的,但快速思考和高效的问题解决能力是关键。现在在纽约经营自己金融业务的迪亚穆德认为,他的技能为他带来了客户。尽管被誉为“Excel电子表格的勒布朗·詹姆斯”,但他仍然保持谦逊,享受他新获得的声誉带来的喜剧效果,并在YouTube上分享他的技巧。不断壮大的社区为渴望进入竞技Excel世界的新手提供支持和指导。

## 爱尔兰选手迪亚穆德·厄利赢得世界Excel冠军 爱尔兰选手迪亚穆德·厄利最近赢得了世界微软Excel锦标赛,引发了Hacker News上关于Excel精通令人惊讶的深度和竞争性的讨论。 许多人将Excel与基本的业务任务联系起来,但这项比赛展示了使用该软件解决复杂问题的技能——类似于用公式而不是代码解决的算法难题。 评论员们注意到其中涉及的技能,一位专业的Excel用户谦虚地承认了展示的技术令人印象深刻。 讨论还涉及有用的Excel技巧,例如为了可读性使用多行公式,以及Excel的本地化设置可以改变公式语法(逗号与分号)的令人惊讶的事实。 比赛从财务建模发展到更一般的挑战,甚至包括模拟地形图场景,以及“专业Excel场景”的起源可能源于一部幽默的伪纪录片。 一些人还指出,微软一直在不断开发Excel,尽管它已经存在很长时间了,并且这些比赛可以获得用户体验方面的见解。

启用 JavaScript 和 Cookie 以继续。

## AI 与智力下降:黑客新闻讨论 一篇最近的文章,暗示人工智能会让我们的孩子“变笨”,在黑客新闻上引发了争论。许多评论者质疑这一前提,认为孩子们的认知能力*已经*在下降,引用研究表明近几代人的智商正在下降,以及基本知识的缺失(例如宇宙的尺度或基本数学)。 讨论主要从指责人工智能本身,转移到更广泛的社会趋势。几位用户指出了一种优先考虑便捷和效率的文化,导致对基础理解失去兴趣,并依赖外包思考。其他人强调了社交媒体的作用,以及像TikTok这样的平台培养的注意力持续时间缩短。 虽然一些人担心人工智能会通过提供肤浅的答案来加剧这些问题,但另一些人则认为它是一个强大的工具——一个为好奇者提供的“超级导师”,或者仅仅是现有趋势的反映。一个关键点是好奇心(通常在就业市场上没有报酬)与对实用、以结果为导向的工作的需求之间的紧张关系。最终,共识倾向于认为人工智能是一种症状,而不是导致更大问题的原因:社会从深度参与和批判性思维的转变。

OpenBenches项目由一对夫妇运营八年,体现了Web 2.0的积极潜力,它围绕着一个独特的数据集——纪念长椅,建立了一个社区。用户贡献带有地理标签的长椅铭牌照片,形成了一个全球性的、众包的数据库,目前已包含近39,000条记录。 最初,创建者打算将每个长椅下的评论区用于更正或更新信息,但他们对其真正的用途感到惊讶。评论区并没有成为事实编辑的空间,而是成为了人们表达深刻的个人联系、悲伤、怀念和共同人类经历的地方。 OpenBenches优先考虑用户隐私和安全,使用自托管的、预先审核的评论(通过Commentics),且不收集个人数据。该项目展示了一个简单的在线平台如何能够激发意想不到的情感共鸣,以及集体哀悼和记忆感。你可以在OpenBenches.org探索长椅和它们感人的评论。

这个Hacker News讨论围绕着OpenBenches网站,一个绘制纪念长椅的项目。最初的帖子询问人们为什么会贡献内容到该网站,由此引发了关于类似但未实现的项目想法的讨论。 一位用户分享了一个长期存在的想法,即创建一个网站来绘制旅行路线上的信息板和铭牌,现在借助GPS定位照片可以实现,但他担心审核问题和潜在的过度旅游。 另一位用户指出Strava提供了一个类似的、社区驱动的地图功能,用于标记步道标记和兴趣点。 几位评论者表达了对OpenBenches和最初想法的热情,并计划贡献当地长椅和铭牌的照片。 讨论强调了人们对简单、以社区为中心的网站项目的渴望,这些项目让人联想到“老互联网”,以及对在线评论和信息保存的欣赏。

## Anna’s Archive 备份 Spotify:一项大规模音乐保存行动 Anna’s Archive 已完成对 Spotify 音乐目录和元数据的 масштаб备份——约 300TB 数据,旨在创建世界上第一个开放的音乐“保存档案”。此次发布包括 2.56 亿首曲目的元数据(其中 1.86 亿首拥有独特的 ISRC 代码——远超其他公共数据库)和 8600 万个音乐文件,涵盖了 Spotify 99.6% 的收听量。 尽管承认 Spotify 并非所有音乐的完整记录,Anna’s Archive 发现有必要解决现有保存工作中的不足,这些工作通常侧重于流行艺术家和高质量文件,而忽略了音乐的“长尾”。该档案根据 Spotify 的受欢迎程度指标对曲目进行优先排序,为热门歌曲提供原始 OGG Vorbis 文件(160kbit/s),为不太受欢迎的歌曲提供重新编码的 OGG Opus 文件(75kbit/s)。 数据通过 torrents 发布,包括元数据数据库、音乐文件和支持重建的信息。该项目将 Anna’s Archive 的使命扩展到基于文本的保存之外,涵盖人类知识和文化的各种形式。该团队鼓励捐赠和 seeding,以确保这项宝贵资源的长期可访问性。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 备份 Spotify (annas-archive.li) 24 分,由 vitplister 1小时前发布 | 隐藏 | 过去 | 收藏 | 4 条评论 artninja1988 6 分钟前 | 下一个 [–] 哇。Anna 是救星。希望现在能出现一些真正优秀的开源音乐模型。 回复 zoklet-enjoyer 0 分钟前 | 上一个 | 下一个 [–] 哇。我现在只需要一些硬盘和一个方法来下载它,而不用让我的 ISP 做些什么。这太棒了。 回复 lelouch9099 10 分钟前 | 上一个 [–] 这在版权法方面有多合法? 回复 phainopepla2 7 分钟前 | 父评论 [–] 不合法 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## Biscuit:一种用于LIKE查询的快速PostgreSQL索引 Biscuit是一种新的PostgreSQL索引访问方法 (IAM),旨在显著提高使用 `LIKE` 和 `ILIKE` 查询进行模式匹配的速度,尤其是在包含大量通配符的情况下。它通过利用位图索引技术,避免了传统三元组索引(如 `pg_trgm`)代价高昂的重新检查开销。 **主要特性:** * **速度:** 在包含大量通配符的搜索中提供显著的性能提升。 * **多列支持:** 原生支持跨多列搜索,并根据选择性自动优化查询顺序。 * **自动优化:** 采用 12 种性能优化,包括通配符跳过、提前终止和高效的位图处理。 * **构建与内省:** 提供 SQL 函数来检查构建配置、CRoaring 支持(用于增强性能)和整体状态。 * **数据类型支持:** 适用于文本、数字、日期/时间以及布尔类型。 **工作原理:** Biscuit 构建正向和负向字符位置位图,从而能够基于模式匹配快速过滤候选对象。 **安装:** 需要 `gcc`、`make` 和 `pg_config`。可选地,可以使用 CRoaring 库以进一步提高速度。安装过程包括克隆仓库、使用 `make` 构建,以及使用 `CREATE EXTENSION biscuit;` 在 PostgreSQL 中启用扩展。 **使用场景:** Biscuit 在频繁、复杂的 `LIKE` 查询场景中表现出色,尤其是在电子商务搜索、日志分析和 CRM 系统等应用中。

## Biscuit:一种用于LIKE查询的新PostgreSQL索引 Biscuit是一种新的PostgreSQL索引,旨在加速`LIKE`模式匹配,特别是对于像`ILIKE '%foo%bar%'`这样的查询。与现有的解决方案(如`pg_trgm`,针对模糊匹配进行了优化)或全文搜索(`tsvector`)不同,Biscuit预先计算了广泛的位图结构,代表字符位置和变化。这使得它能够将许多通配符搜索转换为快速的位图操作,从而绕过较慢的堆扫描。 虽然有望带来显著的速度提升——据报道,Biscuit比B树快15倍,比Trigram索引快5.6倍——但Biscuit也存在权衡。它需要更多的存储空间(比Trigram大3.2倍),并且其写入性能仍在评估中。 基准测试表明,Biscuit使用的空间为277MB,而Trigram为86MB,B树为43MB。该项目非常新,只有一个作者,因此在生产环境中使用前建议谨慎。它利用Roaring位图来实现高效的数据存储。一些用户正在探索将其与向量嵌入结合使用,以实现混合搜索方法。

HN年度总结2025:回顾、趋势和对你一年 Hacker News 使用情况的预测。✨生成你的 2025 年度总结✨由 • AI 网页数据代理(我们在招聘!)提供。与 Y Combinator 或 Hacker News 无关。所有数据将在 30 天内删除。

## HN Wrapped 2025:AI 年度回顾 一个名为[HN Wrapped](https://hn-wrapped.kadoa.com)的新“Show HN”项目,使用Gemini AI模型为用户生成个性化的2025年Hacker News活动回顾。用户输入用户名,即可收到AI生成的“吐槽”、统计数据、预测的2035年HN首页,以及代表用户HN形象的xkcd风格漫画。 早期用户对此印象深刻,许多人发现结果出乎意料地准确和幽默。AI似乎能够有效地分析评论模式并识别反复出现的主题——一位用户的回顾诙谐地指出了他们对高中化学的沮丧! 尽管由于需求量大导致一些初始服务器压力,但该项目正在获得关注。创建者hubraumhugo为该项目使用了gemini-3-flash和gemini-3-pro-image模型,展示了它们在有趣和引人入胜的方式中的能力。它证明了对于HN用户来说,这是一种令人愉悦和富有洞察力的方式来回顾他们的一年。

## 树莓派与外置显卡:令人惊讶的实用性? 本次实验探讨了使用树莓派 5 以及外置显卡(eGPU)——甚至多个显卡——来处理通常由台式机处理的任务的可行性。尽管树莓派的 PCIe 带宽有限(Gen 3 的 1 条通道,而台式机有 Gen 5 的 16 条通道),但结果却出乎意料地具有竞争力。 测试重点包括 Jellyfin 媒体转码、GPU 渲染(GravityMark)以及 LLM/AI 性能(推理和预填充),使用了 AMD、Nvidia,甚至包含 *四* 张 Nvidia RTX A5000 的配置。树莓派通常能达到接近台式机的性能,有时甚至在效率上胜出,仅损失 2-5% 的峰值速度。 主要发现:转码对于典型使用是可行的,原始渲染速度接近台式机,而 AI 性能,尤其是在多个 GPU 通过 PCIe 交换机共享内存的情况下,可以达到与专用服务器相差 2% 以内的水平。树莓派配置的成本为 350-400 美元,而台式机为 1500-2000 美元,并且空闲时的功耗明显更低(4-5W 与 30W)。 最终,虽然台式机在原始性能上仍然更胜一筹,但树莓派为许多 GPU 密集型任务提供了一种引人注目、高效且经济实惠的解决方案,证明了其超越最初设计的潜力。

## 大型GPU,小型PC:黑客新闻讨论 最近黑客新闻上的一场讨论集中在这样一个观点:本地运行大型语言模型(LLM)时,GPU是最关键的组件,其重要性超过了对强大整体PC的需求。 用户们正在探索构建或利用极其精简的系统——例如300美元的迷你PC,甚至翻新旧笔记本电脑——仅仅为了容纳和连接高端GPU。核心概念是,这些系统只需要高效地传输数据到GPU和从GPU传输数据,并且可以轻松处理浏览和视频播放等基本任务。 一些评论者分享了在低功耗虚拟机上成功运行工作负载的经验,并使用了外置GPU,这进一步强化了现代硬件营销常常高估日常生产力所需规格的观点。这一趋势表明,人们正在转向优先考虑GPU性能,并尽可能减少支持计算机的体积和能耗。
联系我们 contact @ memedata.com