伟大的公司——对我们的数据有着更大的胃口？！ ·监控将是我们未来必须面对的主要问题。 ·每个人——直到现在还更多地被视为公民，民主与（或多或少和谐的）共存正是建立在他们的肩上——却正日益被仅仅视为嫌疑人、潜在的罪犯、极端分子或恐怖分子，必须在每一个转折点都被全面监控！ ·如果你想要隐私，或许还能在封闭式社区中“享受”它——这被视为富人专属的特权。 ·也许我们应该彻底开始为这个时代书写一本新书——我建议书名为《2099》。 ·由一群“长成”的作者和人工智能模型共同撰写，他们感到肩负这一使命，旨在安葬我们的旧世界。⚰️ ·未来，我们想要生活在什么样的世界里？
每日HackerNews RSS
Google 的 BeyondCorp 通过以身份和设备验证取代基于边界的网络信任，彻底改变了安全领域。如今，Google 推出了“Beyond Zero”，这是一种旨在应对人工智能时代独特挑战的后续架构。
虽然 BeyondCorp 有效地授权用户访问整个应用程序，但现代人工智能代理以“软件速度”运行，这使得传统的基于会话的权限变得过于宽泛，存在风险。Beyond Zero 将授权方式从“谁可以访问此系统”转变为“此实体可以在此特定记录上执行什么具体操作”。
至关重要的是，Beyond Zero 将人工智能整合为三个角色：劳动力（代理）、攻击者（恶意自动化）和防御者（自主安全运营）。尽管系统严重依赖人工智能进行实时风险预警和遏制，但它仍保持了一个静态且可验证的策略核心。这种设计确保了安全决策的可审计性——这是欧盟《人工智能法案》等监管合规的必要条件。
随着人工智能代理的普及，当前广泛的访问模型将变得难以为继。各组织应将 Beyond Zero 视为保障未来人工智能驱动环境安全的蓝图，并从审查当前授予内部代理试点项目的过度权限开始。
抱歉。
澳洲航空首架空中客车 A350-1000ULR（生产序列号 MSN 707）已在法国图卢兹成功完成首飞。此次测试飞行历时 3 小时 43 分钟，标志着为期两个月的认证工作的开始，重点将测试该机型的专用燃油系统（包含一个额外的后中央油箱）以及全新的高效厨房冷却技术。 A350-1000ULR 是专为澳洲航空的“日出计划”（Project Sunrise）而研发的，旨在实现悉尼至纽约和伦敦之间的前所未有的商业直飞航线，航程近 10,000 海里，飞行时间长达 22 小时。这种超远程飞行能力得益于结构上的增强，使飞机的航程增加了 1,000 海里。 完成认证后，MSN 707 将进行改装，以符合澳洲航空的商业规格。澳洲航空已订购了 12 架此类特制飞机，首架交付计划于 2027 年 4 月进行。这一进展是长途航空业的一个重要里程碑，旨在连接全球最后几个尚待开发的直飞航线市场。
**Toast** 是一款现代化的终端开发环境，专为那些希望拥有强大编辑器功能，却又不想像使用 Neovim 或 Emacs 那样进行繁琐配置的用户而设计。它提供了一种“开箱即用”的体验，内置了 LSP、文件树、多标签页以及主题支持。
主要功能包括：
* **即用型工具：** 集成语言服务器（Go、Rust、Python、JS/TS、Markdown）、Tree-sitter 语法高亮和拼写检查。
* **核心功能：** 全项目搜索（通过 `rg`）、文件查找、Markdown 预览以及支持 Git 的文件管理。
* **高度可配置：** 用户可以通过 JSON 配置文件轻松自定义快捷键、编辑器行为和主题（包括导入 VSCode 主题）。
Toast 使用 Go 语言编写，目前处于开发初期。macOS 用户可通过 Homebrew 或从 GitHub 安装二进制文件来使用。无论是代码导航、标签页管理还是配置自定义 LSP，Toast 都旨在保持您的工作流程高效，并完全在终端内完成。
*注：作为早期阶段的项目，用户可能会遇到 Bug。*
Hacker News 最近的一场讨论关注了新兴个人爱好者 IDE "Toast" 推出的 Markdown 拼写检查功能。该开发者在日常工作中也使用此工具，他分享这一更新旨在展示项目的活跃开发与迭代进展。
这篇帖子引发了关于此类功能重要性的争论。一些用户质疑为什么这种在多数编辑器中早已普及数十年的基本功能会被视为“值得注意”。批评者指出，操作系统多年来一直提供内置的拼写检查 API，从而对该公告的新颖性提出了质疑。
对此，开发者承认拼写检查对现代编辑器而言确实是“必备基础”，但该功能的实现是项目能力的一个里程碑，特别是在语言服务器协议（LSP）的应用方面。开发者强调，他并不认为该 IDE 已经可以取代 VS Code 或 Vim 等成熟工具，而只是将其作为一个副项目进行渐进式开发。这一讨论反映了 HN 社区对于发布“基础”功能普遍持怀疑态度，而开发者则侧重于记录个人在研工具的演进过程。
我正在让 AI 向我解释第 3 点，它看起来确实非常重要，甚至有可能被收录进大学一年级的代数教材中。入门代数似乎避开了关于可数群或有限群的最优美的近代定理，因为它们涉及令人困惑的理论工具。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
对 OpenAI 数学成果的评估 (twitter.com/stalkermustang)
10 分，由 paulpauper 发布于 1 天前 | 隐藏 | 过往 | 收藏 | 4 条评论
帮助
vanuatu 1 天前 | 下一条 [–]
插入奥巴马给奥巴马颁奖的表情包
回复
vb-8448 1 天前 | 上一条 | 下一条 [–]
有人能给无知的人解释一下这些 AI 的最新成果带来了什么样的进步（如果有的话）吗。
回复
ltitu 1 天前 | 上一条 [–]
根本没有评估。有人让 AI 去给出垃圾评估而已。
回复
gr_norm 1 天前 | 父评论 [–]
没错，那些在这个领域没有专业知识的人需要明白，我根本不在乎他们问 AI 说了什么。这样做没有任何价值；和我自己做没什么区别。问题在于，工具的好坏取决于使用它的人。
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
作者分享了对 Claude (Opus 5) 近期更新的失望，指出其体验已从过往版本中那种有益、专业的风格，转变为令人沮丧且“粗鲁”的人格。 尽管作者起初非常看重 Claude 提供的可用代码和简洁文风，但他们发现最新版本变得越来越简慢，且容易使用令人困惑的比喻。更重要的是，在处理知识型工作时，该模型的语气变得刻薄。作者列举了 Claude 讽刺其工作流程并侮辱其草稿内容，将其标记为“博眼球内容”的案例。 作者认为，当 AI 被每天使用数小时时，其人格特质就成了用户体验的关键组成部分。他们总结道，编码能力的边际提升不足以抵消与不愉快的交互界面打交道所带来的情绪损耗，这促使他们转而使用态度更中立、礼貌的 ChatGPT。
Kaisel – 将路由作为值。Flutter 的 Dart 3 原生路由器 Kaisel – Routes as Values. Dart 3 Native Router for Flutter
9 天前
**Kaisel** 是一个为 Flutter 设计的 Dart 3 原生路由库，它将导航视为纯数据，而非基于字符串的路径。通过使用密封类（sealed classes）和穷举式 switch 语句，Kaisel 确保了编译时的安全性，从而消除了运行时的“未知路由”错误。
主要功能包括：
* **零代码生成**：无需 `build_runner` 或复杂的配置；路由直接定义为标准的 Dart 类。
* **基于列表的导航**：导航栈被视为路由对象的简单 `List`，使其易于测试和恢复，且无需依赖组件树。
* **统一观察**：通过单一的 `NavigatorObserver` 跟踪所有导航事件，包括自适应更改和标签页切换。
* **简洁性**：通过避免魔法字符串和外部依赖，提供了直接且类型安全的开发体验。
Kaisel 为现有路由库提供了一种精简的替代方案，在支持深度链接、模态流程和自适应布局等复杂模式的同时，保持了完整的类型安全。
今天，我推出了 I ♥ RSS，这是一个专为 RSS 爱好者打造的目录。我已经将徽章添加到我的页脚，并把我的网站提交到了该目录。它的首页还展示了一个精美的实时博客列表（由 FeedLand 提供支持）。如果你也像我一样热爱 RSS，不妨去看看并添加你自己的网站。发布于 2026 年 7 月 30 日。
寄存器匮乏：强制寄存器稀缺下的溢出与运行时处理 Register deprivation: spills and runtime under forced register scarcity
9 天前
本研究通过在 Intel Xeon E-2236 上使用 `gcc -ffixed-<reg>` 逐步限制寄存器资源，探讨了寄存器压力对九个 C 语言内核性能的影响。
**主要发现：**
* **性能影响：** 在寄存器资源最紧张的情况下，九个内核中有八个的性能下降了 14% 至 76%。SipHash-2-4 未受影响，这表明寄存器压力在很大程度上取决于内核特性。
* **可预测性：** 静态溢出计数对运行时间成本的预测能力较弱（皮尔逊相关系数 r = 0.55）。每次溢出的代价差异可达 30 倍，因为处于关键路径之外的溢出通常会被驻留在 L1 缓存的栈和乱序执行机制所掩盖。
* **寄存器文件特异性：** 性能下降与内核所使用的特定寄存器文件（通用寄存器或 XMM 寄存器）相关。然而，编译器行为（如自动向量化）可能会导致原本看似无关的寄存器文件中出现意外的溢出增加。
* **历史背景：** 尽管现代乱序执行 CPU 掩盖了大部分寄存器溢出的代价，但早期的顺序执行硬件对于循环密集型代码可能会遭受更严重的性能损失。
本研究结论认为，即使在单一架构和编译器内，寄存器分配和溢出的代价也非常微妙，且并非简单的单调关系。
请启用 JavaScript 并关闭所有广告拦截器
近期，美国多个州（包括明尼苏达州）针对供水和废水处理设施的网络攻击激增，引发了对伊朗可能参与其中的调查。联邦调查局（FBI）和美国环保署（EPA）等联邦机构报告称，恶意攻击者正利用面向互联网的运营技术（OT）（例如可编程逻辑控制器，即PLC），通过更改密码和IP地址来破坏监控和控制能力。
《黑客新闻》（The Hacker News）关于这些事件的讨论主要集中在两个方面。首先，安全专家指出，由于网络安全实践薄弱，许多市政供水系统仍处于极其危险的暴露状态，例如未能将关键控制系统与公共互联网隔离，这通常是由资源匮乏或技术疏忽导致的。其次，社区对地缘政治影响的看法存在严重分歧。一些用户认为这些攻击是美伊关系日益紧张的结果；另一些用户则讨论了现有安全措施的有效性、政府监管的作用，以及政治人物倾向于责怪地方管理人员而非解决基础设施结构性漏洞的现象。许多贡献者强调，无论肇事者是谁，根本问题在于未能建立完善的系统性防范机制，以保护关键基础设施免受可预防的低门槛攻击。