🛡️ 安全验证 我们正在检查您的连接以防止自动化滥用 ⏳ 正在验证您的浏览器… 有问题？联系客服 验证并继续 ✓ 验证完成 此页面将在片刻后自动跳转…
每日HackerNews RSS
科学家观察到几种动物物种中存在3亿年前的脑电波节律。
Scientists observe a 300M-year-old brain rhythm in several animal species
2 天前
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
科学家观察到几种动物物种中3亿年前的脑电波节律 (phys.org)
14点 由 PaulHoule 1天前 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式
搜索：
巴纳姆·布朗，绰号“骨头先生”和“恐龙之父”，是一位先驱古生物学家，出生于1873年。他最出名的是1902年在蒙大拿州发现的霸王龙，最初鉴定的是一些碎片化的遗骸，后来在1908年又发现了一具近乎完整的标本。
布朗在美国自然历史博物馆工作期间，足迹遍布全球，从缅甸到希腊，通常是应古生物学家亨利·奥斯本的要求，后者寻求支持过时进化理论的化石。1934年，他在怀俄明州发现了一个巨大的蜥脚类恐龙墓地，出土了4000块骨头。
然而，布朗的生活不仅仅局限于古生物学。他还为石油公司勘探，并在二战期间，为中央情报局的前身提供地理情报。他还曾就《幻想曲》电影与华特·迪士尼合作。布朗继续化石挖掘到80多岁，虽然他在1963年去世时，尚未经历“古生物学革命”，但他广泛的发现为现代古生物学研究奠定了至关重要的基础。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
间谍发现了霸王龙 (nautil.us)
12 分，speckx 1 天前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Aletheia：用于自主数学研究的AI 本文介绍Aletheia，一种旨在超越解决竞赛级数学问题，并主动*进行*数学研究的新型AI代理。Aletheia由增强版的Gemini Deep Think和复杂推理的新型扩展定律提供支持，它使用自然语言生成、验证和修改解决方案，并利用各种工具来浏览数学文献。 研究人员通过几个突破展示了Aletheia的能力：完全由AI生成的算术几何研究（计算本征权重）、关于交互粒子系统的AI-人类协作证明，以及在评估700个问题后，自主解决Bloom的Erdos猜想数据库中的四个未解决问题。 为了促进理解和透明度，作者提出了用于量化AI在研究中的自主性和新颖性的标准化指标，以及“人机交互卡”。所有提示和模型输出均公开可用，这标志着在数学领域人机协作发展的重要一步。
## 朝着自主数学研究：Hacker News 摘要
一篇最近的 arXiv 论文探讨了人工智能在数学研究中的潜力，承认**成功的自主问题解决仍然很少见**。Hacker News 上的讨论集中在进展是源于计算能力的提高，还是更有效的方法，例如更严格的问题分解和验证循环。
主要观点包括：难以确定失败点（搜索、形式化或证明检查），需要人工监督，以及当前 LLM 与专业人类数学家相比的局限性。一些评论员认为，规模最终会克服这些障碍，而另一些人则强调算法突破和高效评估基础设施的重要性。
一个反复出现的主题是 LLM “解决”问题与真正*理解*潜在数学之间的区别。许多人强调了形式语言（如 Lean）在证明检查方面的价值，以及对稳健、动态的评估数据集的需求，这些数据集可以适应快速发展的模型。最终，对话表明了一种谨慎的乐观态度，既认识到人工智能的潜力，也承认仍然存在重大挑战。
纽约市公共医院系统（NYC Health + Hospitals）自2023年以来，已与一家与有争议的政府工作相关的的数据分析公司Palantir签订了近400万美元的合同。该合同旨在通过扫描患者健康记录以识别未被利用的收入机会，从而改善医疗补助和其他公共福利的账单处理。 由于Palantir作为美国移民及海关执法局（ICE）、五角大楼和情报机构的主要承包商的历史——包括参与监视计划和支持ICE的驱逐工作，这一合作关系引发了担忧。批评人士认为，与一家促成这些活动的公司共享患者数据会使弱势群体面临风险，尤其是移民社区。 虽然Palantir声称数据已去标识化，并且仅在合同范围内使用，但活动人士警告说，重新识别通常是可能的。担忧延伸到潜在的数据滥用以及与有争议的做法相关的公司获取纽约市超过100万年度患者的敏感健康信息的伦理影响。市长办公室和医院发言人尚未对合同细节发表评论。
该项目致力于数字化玛伊蕾德·尼·格拉达（Máiréad Ní Ghráda）的《曼南南的数字化》（1940），这是一部罕见的爱尔兰语青少年科幻小说，可能包含机甲的首次描绘以及对引力助力的文学提及。由于该书目前没有再版或翻译版本，此举旨在提高其可读性。
该工作涉及从扫描的PDF文件中提取文本并仔细校正，因为该书使用了较旧的爱尔兰语正字法。目前正逐章推进，已完成并手工校正了第9-18页的OCR输出结果。一项关键策略是尽早识别并修复常见的OCR错误，因为这些模式会在整个文本中重复出现，从而简化未来的校正工作。
该项目欢迎贡献，特别是来自爱尔兰语母语者的帮助，以识别和纠正提取文本中任何剩余的错误。全书共188页，包含目录，列出了章节标题和页码范围。
## 1940年代爱尔兰科幻小说发现
一项引人入胜的发现浮出水面：一部1940年代的爱尔兰语科幻小说，其中可能包含“机甲”在日本以外的首次描绘，以及引力助推等概念。 这部由Máiréad Ní Ghráda创作的小说，融合了科幻与爱尔兰神话，提到了Lug Lám-fada等人物。
目前，GitHub上提供了一个带有OCR的数字化版本，引发了爱尔兰语使用者和科幻爱好者的讨论。 用户正在协作翻译章节标题并纠正OCR错误，并指出该文本使用了经典的爱尔兰文字体（“cló Gaelach”）。 虽然PDF目前仅包含前20页，但正在努力扫描并上传完整作品以进行保存。
Claude AI提供了一个初步翻译，让我们得以一窥这个故事。 这部小说易于阅读——专为青少年读者编写，并使用相对简单的爱尔兰语——使其对于语言学习者和早期科幻小说爱好者来说都是一个有希望的发现。 社区对分享爱尔兰文化充满热情，并欢迎对这件独特的文学历史作品的兴趣。
美国分析公司帕兰蒂尔正在起诉瑞士在线杂志“Republik”，原因是该杂志发表了两篇报道，详细介绍了该公司试图与瑞士当局（特别是军队、警察和卫生部门）签订合同的企图。虽然没有达成任何协议，“Republik”报道了帕兰蒂尔的主动接触，引发了这场诉讼，因为帕兰蒂尔寻求法院强制执行的反声明，以纠正他们声称的不准确之处。 此举具有讽刺意味地放大了对原始报道的关注——一种典型的“斯特赖桑德效应”。帕兰蒂尔的动机源于欧洲正在进行的关键采购决策，在国防和安全软件领域获得合同是其关键增长领域。该公司在美国当局取得了成功，但在瑞士却难以获得进展。 “Republik”坚持其报道的真实性，该报道基于瑞士政府文件，并指责帕兰蒂尔试图恐吓他们。帕兰蒂尔否认了这一点，表示他们只是想纠正“重大不准确之处”。瑞士法律允许法院审查反声明的请求，但不评估事实真相，只判断是否存在不同的观点。此案获得了公众对“Republik”的大力支持，捐款和声援之情激增。
## Palantir 诉讼与数据隐私问题 - 摘要
美国分析公司Palantir正在起诉瑞士杂志《Republik》，原因是其刊登了批评Palantir运营的文章。这场诉讼引发了网络讨论，评论员将其解读为Palantir积极保护声誉，或是欧洲试图进行审查。
一个核心问题围绕数据隐私。许多评论员强调Palantir的商业模式本身存在问题，可能违反GDPR法规。 围绕美国政府使用数据和监控展开了更广泛的讨论，以及依赖美国公司是否会产生漏洞，特别是考虑到对问责制和美国内部潜在不稳定性的担忧。 一些人提倡欧洲在数据分析方面实现独立，以避免这些问题。
进一步的讨论点包括GDPR执法的有效性（以及罚款收缴方面的不足），美国是否有意规避国际规范（例如对国际刑事法院法官的制裁），以及美国科技公司是否有可能成为美国政府的延伸。这场辩论也涉及更广泛的监控资本主义问题，以及安全与个人权利之间的平衡。
这个Hacker News讨论围绕着Erich Lof使用WebGL实现的实时路径追踪渲染器（erichlof.github.io），展示了直接在网页浏览器中令人印象深刻的全局光照效果。用户对光线追踪技术的进步感到兴奋，并指出由于GPU硬件加速，它正变得越来越可行。
许多评论者强调了WebGPU的重要性，这是一种更新的网络图形API，它比WebGL更适合于计算密集型任务，例如全局光照。一位用户甚至分享了他自己的WebGPU实现。
关于演示的反馈包括改进相机控制的建议（例如围绕旋转而不是平移）以及对经典计算机图形场景重现的赞赏。许多用户对演示在移动设备上的性能感到惊讶。还分享了多个用于Three.js的替代路径追踪项目，这表明了可访问的、基于浏览器的实时渲染正在成为一种趋势。总体情绪是对网络计算机图形未来的兴奋。
## Gwtar：一种新型HTML归档格式 Gwtar是一种新颖的HTML归档格式，旨在克服现有方法的局限性。它创建一个单一的、自包含的HTML文件，能够高效地延迟加载资源，解决了静态（独立、完整）、单文件和高效（按需加载）之间的三难困境。 传统方法存在不足：保存为HTML会失去静态特性，SingleFile会产生巨大的下载量，而WARC/WACZ则需要专门的软件。Gwtar通过将JavaScript头部内联到标准HTML文件中来实现这三点，该头部指向包含原始内容的tar包。JS拦截请求，并利用HTTP范围请求仅在需要时下载资源，模拟正常的浏览器行为。 这种方法确保了长期保存、兼容性（仅需标准浏览器功能）和用户友好性。Gwern.net利用Gwtar归档大型页面，即使超过500MB，并包含可选的PAR2错误校正和GPG签名以确保数据完整性。虽然本地查看可能受到浏览器安全限制，但Gwtar为归档和共享网络内容提供了一个强大的解决方案，旨在创建一个面向未来且易于访问的格式。
## Gwtar：单文件 HTML 格式 - 摘要
Gwtar 是一种将网页归档为单个 HTML 文件的全新格式，旨在实现静态交付、效率（通过范围请求进行部分加载）和简洁性。它通过将页面资源的 tar 归档附加到 HTML 序言的末尾来实现这一点，并利用 `window.stop()` 在初始 HTML 加载后停止进一步的资源加载。
该格式解决了现有解决方案（如 SingleFile 和 WARC）的局限性。SingleFile 缺乏高效的部分加载，而 WARC 需要外部软件才能查看。Gwtar 旨在无需任何特殊的服务器端配置即可被普遍查看。
讨论强调了 Gwtar 与 iOS 和桌面 Safari 的兼容性问题，以及鉴于现有替代方案，该格式的必要性。人们对作者的背景及其与有争议组织的潜在联系表示担忧，引发了关于在线讨论和负面情绪的离题讨论。最终，Gwtar 提出了一种专注于简洁性和可访问性的新型网页归档方法，但其实际益处仍在评估中。
## 6502 笔记本项目总结
该项目详细介绍了基于 65C02 处理器、运行于 8MHz 的一个完全功能、便携式笔记本电脑的创建过程。目标是超越“PCB 堆叠”，构建一个自包含的系统。
该笔记本电脑具有 46K RAM、ROM 中的 BASIC、65C22 VIA 以及 9 英寸显示屏。存储由 Compact Flash 卡提供，由 10000mAh 电池供电，并通过 USB-C 充电。输入由内置键盘处理，同时也可通过串口控制台进行操作。内部扩展槽允许未来升级。
开发始于 2025 年底，并在 2026 年初获得可用的 PCB。关键里程碑包括使核心组件正常工作、集成键盘以及实现带有 `LOAD`、`SAVE` 和 `DIR` 命令的 Compact Flash 支持。图形功能已添加，包括用于绘制圆、线和散点的命令。该项目基本完成，功能性外壳已组装完毕，但仍有待改进之处，例如更大的显示屏（计划 10.1 英寸）和键盘代码优化。
## 黑客新闻讨论：自制6502笔记本电脑 (LT6502)
一位黑客新闻用户分享了一个GitHub项目链接，该项目详细介绍了一款基于6502处理器的自制笔记本电脑 ([github.com/techpaula])。该项目引发了关于计算机替代历史的长时间讨论，特别是如果处理器速度在80年代停滞不前，技术可能会是什么样子。
许多评论者回忆了较旧系统（如Commodore 64、Apple II和Amiga）的局限性和魅力，并将它们与如今臃肿的软件和硬件进行对比。 讨论集中在如果专注于效率而非原始速度，是否会导致更可定制和用户友好的操作系统，可能类似于经典Mac OS的改进版本，或更专注、更精简的网络体验。
对话涉及了在没有当前处理能力的情况下，现代LLM的不可行性、分布式计算的潜力以及稳定性和安全性与用户控制之间的权衡。 最终，该项目因其独创性而受到赞扬，并引发了对更简单的计算时代的怀旧之情，在那个时代，理解和修改硬件和软件更容易实现。