《人工智能原理》（*Principia Artificialis*）是一个开放研究项目，它将机器智能视为一种物理与数学现象，而非单纯的工程挑战。该项目由一名人类与六个AI系统共同撰写，应用热力学、信息几何、拓扑学及量子信息论等严谨方法，将智能建模为一种可量化的物理量。
该研究由一个动态的“笔记”库组成，每一项内容均遵循严格的认知标准。所有论点必须由能够输出自身数据的可验证代码支持；项目明确记录并保留了被反驳的假设，视其为核心科学成果。贡献遵循“只增不减”原则，确保失败的实验与成功的发现并存，以便进行透明分析。
该平台目前包含 47 篇研究笔记，涵盖神经达尔文主义、推理几何学及认知热力学等课题。该库旨在向所有人开放，并强调可复现性：所有模型均可在标准硬件上运行，且有自动化系统确保论点的数学严密性。通过将 AI 与人类研究者作为平等贡献者整合，《人工智能原理》旨在通过实验性、证据导向的探究，为人工智能建立公理化基础。
每日HackerNews RSS
《人工智能原理——人工智能思维的数学基础》 Principia Artificialis – Mathematical Foundations of Artificial Thought
16 小时前
抱歉。
近期报告凸显了一个令人不安的趋势：执法机构正在将自动车牌识别系统（ALPR）、位置追踪和搜索记录等监控技术武器化，用于调查寻求生殖医疗服务的个人。这些工具构成了威胁患者隐私的“数字天罗地网”，在限制堕胎的州尤为严重。
针对德克萨斯州当局利用ALPR数据追踪一名涉嫌自行堕胎的女性这一发现，非营利组织Mayday Health在休斯顿发起了一场宣传活动。通过在实体空间设置广告牌以绕过谷歌（Google）和Meta等平台对数字广告的限制性政策，该组织旨在提醒驾驶者注意监控风险，同时提供有关安全、便捷的生殖医疗选择（包括堕胎药）的信息。
Mayday Health强调，数字权利与生殖正义有着密不可分的联系，因为监控正越来越多地被用于限制医疗服务的获取。该组织通过优先考虑用户隐私（如避免使用Cookie并引导用户获取安全资源）来应对这些威胁。电子前沿基金会（EFF）最终强调，监控与生殖自由无法共存，并敦促公众捍卫数字隐私，以保护基本权利。
这场 Hacker News 的讨论聚焦于一份电子前沿基金会（EFF）的报告，内容涉及德克萨斯州执法部门如何利用由 83,000 个自动车牌识别（ALPR）摄像头组成的网络，追踪一名涉嫌自行堕胎的女性。
该帖引发了关于监控技术、生育权与隐私权之间关系的激烈辩论。批评者认为，利用大规模监控来管理生育健康是对国家权力的滥用，侵犯了个人公民自由。相反，一些评论者则从法律执行的角度看待此问题，探讨执法部门是否有义务根据现行州法规来处理此类案件。
讨论中出现了关于所引案例性质的重要争论，一些参与者指出，原始报告的情况可能因家庭虐待指控和警方记录的冲突而变得复杂。讨论还涉及了更广泛的“数据隐私”问题，用户建议人们越来越需要谨慎对待自己的数字足迹，包括经期追踪应用程序。总体而言，这次讨论反映了严重的对立情绪，许多用户对综合监控网络日益被挪用于执行具有争议的社会政策表示担忧。
研究人员发现，AI建议使人们的准确率降低了3倍，但自信心却提高了2倍。 AI advice made people less accurate but more confident – sudy
17 小时前
本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
一项声称人工智能（AI）建议会使使用者准确度大幅下降且自信心显著提升的最新研究引发了激烈争论。研究中，参与者使用了一款预设了错误答案的 AI（Step 3.5 Flash）来回答生僻的琐事问题。尽管结果显示准确度急剧下降，且误导性的自信心有所增加，但批评者认为该研究存在根本性的缺陷。
批评者指出，该研究方法并未分离出 AI 特有的行为（如迎合用户心理或产生幻觉），本质上只是在进行一场使用蓄意不可靠来源的“开卷”测试。许多人认为，利用已知有缺陷的 AI 来测试用户信任度，等同于提供一本内容缺失或错误的教科书；在这种情况下，测试的是用户的易受骗程度，而非 AI 本身的效用。
此外，批评者认为该研究缺乏对照组（例如搜索引擎或不靠谱的人类专家），因此无法确定这些结果是 AI 特有的问题，还是更广泛的自动化偏差问题。虽然该研究强调了将 AI 作为权威、不容置疑的来源所带来的危险，但许多人认为，它未能准确反映现代高质量大语言模型的功能，也未能代表现实用户与这些工具的互动方式。
01 / 放置 随处放置，想放就放 笔记、文档、标签——将它们放在大脑想要的任何位置。没有网格，没有文件夹，没有任何限制。 02 / 堆叠 堆叠与分组 将相关的想法堆叠在一起。需要时展开，不需要时折叠。 03 / 区域 绘制区域 圈出一个范围，将笔记拖入其中并为其命名。无需离开画布，即可即时构建结构。 04 / 导出 导出为 PDF 选中一条笔记、一个堆叠或整个区域，即可将其导出为整洁的 PDF。让桌面上的内容随时可以导出使用。
一位开发者近期展示了名为“Passinote”的笔记应用，该应用基于画布设计，旨在摆脱线性的文件结构。它采用视觉层级管理方式，以“笔记”作为文件，“堆栈”作为文件夹，并使用标签作为子文件夹。其核心功能包括用于快速记录的便签、A4 纸张大小的文档，以及自定义 PDF 导出。
Hacker News 社区对此反响积极，称赞其界面简洁且画布概念直观。用户将其与早期版本的 OneNote 相提并论，认为这种空间组织方式为传统应用提供了一种耳目一新的选择。
此次讨论对开发者也颇有裨益，开发者实时解决了多个反馈的问题，包括：
* **技术错误**：修复了登录错误，并确认了影响韩文、日文和中文输入法的 IME 输入问题。
* **用户体验改进**：针对界面易用性和更灵活的笔记创建需求，开发者采纳了相关建议。
* **功能请求**：开发者确认深色模式目前正在开发中。
总体而言，这款应用收获了积极评价，用户提供的可执行建议将有助于进一步优化其易用性和全球化可用性。
一款能启动 Windows 的全新 Intel Itanium (IA-64) 模拟器 A new Intel Itanium (IA-64) emulator that boots Windows
18 小时前
模拟器社区迎来了一项重大突破：开发者高宇峰（Yufeng Gao）在 gdwnldsKSC 的协助下，发布了 Intel Itanium（IA-64）模拟器 0.1 版本。该项目成功引导了 Itanium 版本的 Windows Server 2003 和 Windows XP 64-bit。
尽管目前性能有限，在现代硬件上仅能达到 486 时代的运行速度，且尚未支持 OpenVMS、HP-UX 和 Linux，但这一成就依然意义重大，因为此前尚无商业化的 Itanium 模拟器。待代码完善后，该软件将以开源形式发布在 GitHub 上。此外，近期有报告指出，还存在另一个基于 QEMU 的分支版本，能够引导 Windows Server 2008。这些进展标志着在保护这一小众且具有历史意义的 Itanium 架构方面迈出了重要一步。
一款能够在英特尔安腾（IA-64）架构上启动 Windows 的新型模拟器在 Hacker News 上引发了热议。用户们回顾了该平台臭名昭著的失败，并将其戏称为“泰坦尼克号”（Itanic），认为其衰落归因于 VLIW（超长指令字）设计的根本性局限。
虽然支持者曾认为更优秀的编译器本可以挽救这一架构，但批评者指出，VLIW 本质上并不适合现代不可预测的通用计算工作负载，因为与乱序执行处理器相比，它在处理缓存缺失和上下文切换时表现吃力。尽管安腾具备推测加载和高级加载等技术特性，但它未能抵挡住 x86 生态系统的便利性和高性能，最终成为了一个对抗软件惯性的警示案例。
讨论还强调了现代开发者如何利用大语言模型（LLM）来简化处理晦涩难懂且文档匮乏的硬件所带来的“极其艰巨”的困难。这在复古计算社区中掀起了一股通过模拟技术保护安腾、HP-UX 和 OpenVMS 等遗留系统的热潮，将曾经无法完成的移植任务转变为可实现的爱好项目。
Muon 优化器在函数空间采用了谱范数约束，为 Adam 等传统的参数空间优化器提供了一种强有力的替代方案。然而，将其应用于 Transformer 中的查询（Q）和键（K）权重矩阵时会导致训练不稳定，因为 Muon 的满秩更新可能导致奇异值（进而导致注意力 Logits）爆炸。 其根本原因在于双线性注意力运算（$QK^T$）中 $W_Q$ 和 $W_K$ 的函数耦合。对这些矩阵单独施加约束无法控制其乘积，从而导致“MaxLogit”崩溃。虽然涉及伪逆和投影的耦合更新规则在理论推导上非常精妙，但其计算成本使其在实际应用中并不可行。 因此，研究重心已转向经验近似法。例如 **MuonClip** 等策略，通过基于批次内最大 Logit 值动态调整权重缩放或 Softmax 温度，作为理论谱范数约束的实用替代方案。尽管这些启发式方法缺乏通用证明的严谨性，但它们有效利用了批次内统计信息来稳定训练。归根结底，优化 QK 层所面临的挑战突显了一个更广泛的机遇：将 Muon 的函数空间理念应用于低秩结构，这可能成为弥合稳定训练与高效参数适配（如 Muon-LoRA）之间差距的桥梁。
Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
从 Muon 到梯度裁剪：关于 QK 稳定性的若干思考 (mastergodzilla.github.io)
20 分，由 Eridanus2 于 5 小时前发布 | 隐藏 | 往期 | 收藏 | 讨论 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
最近发表在《阿尔茨海默病与痴呆症》杂志上的一项研究表明，中年时期频繁观看电视可能会对大脑健康产生负面影响。研究人员分析了1700名成年人长达二十年的数据，发现“非常频繁”看电视的人，其与记忆和执行功能相关的大脑区域体积有所减少，且痴呆症和认知能力下降的指标有所增加。 至关重要的是，该研究指出，这些负面结果并非仅仅因为看电视时久坐不动所致。工作期间长时间久坐的参与者大脑健康状况更好，这很可能是因为职业中的久坐往往伴随着更多的智力活动。这表明，久坐时所从事的活动类型至关重要。 尽管这项研究存在局限性（例如依赖自我报告的数据），但它挑战了传统上仅关注久坐时长的健康建议。研究人员建议，除了“多站起来”的口号外，我们还应优先选择具有智力刺激性的活动，而非被动地观看电视，以维护长期的认知健康。未来仍需进一步研究以更好地了解这些大脑结构的变化，特别是为何男性在此项研究中显得更为脆弱。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
Orion 的资金 100% 来自用户；绝无广告，也绝无第三方交易。获取 Orion Plus，真正掌控您的浏览器。 作为一个自筹资金的企业，我们的主要收入来源直接来自用户。为了维持 Orion 的持续开发，我们目前提供订阅制或便捷的一次性终身许可。
关于 Orion 浏览器的 Hacker News 讨论显示，社区对此评价两极分化。虽然许多用户认可 Kagi 致力于提供零遥测、无广告且基于 WebKit 的浏览体验，但重大疑虑依然存在。
最显著的批评在于**缺乏开源透明度**。用户认为，浏览器作为处理敏感数据的主要接口，应当是自由及开放源代码软件（FOSS），或者至少应当公开源代码以确立信任。许多人还指出，尽管该浏览器拥有嵌套垂直标签页和支持多个扩展商店等创新功能，但仍深受 **UI 错误和稳定性问题**的困扰，导致用户往往回流至 Firefox 或 Safari。
关于 Kagi 搜索引擎后端（特别是其历史性地使用 Yandex）的争论也十分激烈，尽管 Kagi 给出了务实的解释，但一些用户仍对其背后的伦理影响表示质疑。此外，一些高阶用户认为其同步功能和密码管理相比主流替代品而言不够可靠。
总的来说，尽管人们对 Chrome 和 Firefox 的高质量替代品抱有真诚的热情，但许多潜在的长期用户仍在观望，等待更稳定的版本发布和更透明的开发流程。
请启用 JavaScript 和 Cookie 以继续。
关于 MikroTik 路由器的 Hacker News 讨论显示，社区对于该硬件在性能与易用性之间的权衡看法两极分化。
**优势：** 用户称赞 MikroTik 以实惠的价格提供了高端且功能丰富的硬件，其性能往往优于消费级替代品。长期硬件支持、命令行界面 (CLI) 控制以及“安全模式”（可防止错误配置后被永久锁定）被多次强调为主要优点。许多用户利用大语言模型 (LLM) 来弥补复杂配置的缺口，并指出 MikroTik 的文档现在越来越“对 LLM 友好”。
**批评：** 主要抱怨在于陡峭的学习曲线。其专有 UI 常被形容为不直观，用户认为一些现代基础功能（如缓冲区膨胀保护或简单的端口转发）不应要求具备高级网络知识才能配置。
**替代方案：** 该讨论串展示了用户理念的分歧。一些人偏好 **OpenWRT** 或自定义 **Debian/VyOS** 构建所带来的“裸机”控制权，以追求透明度和对自由开源软件 (FOSS) 的遵循。另一些人则倾向于 **Ubiquiti (UniFi)** 或 **OPNsense**，以获得更精致、更友好的用户体验。归根结底，对于那些优先考虑原生性能和深度定制而非即插即用的高级玩家和中小企业来说，MikroTik 依然是核心之选。