每日HackerNews RSS
一场 Hacker News 讨论聚焦于 Google 停止免费使用 Gemini 的 Flash 和 Pro 模型，免费用户将只剩下 Flash-Lite。评论者认为，Flash-Lite 在推理、事实准确性和日常任务方面的能力都要弱得多，例如控制智能家居设备、设置定时器，或查询商家是否营业。
许多人承认，昂贵的 AI 推理成本正变得难以持续，尤其是企业寻求盈利之际，因此他们批评 Google 此前通过免费服务大力推广 AI，随后却限制了更实用的模型。有人建议改用其他付费服务、其他供应商提供的免费套餐，或在本地运行模型。
另一个讨论主题是，人们怀疑 AI 能否取代传统助手。传统语音助手可能要求使用准确的指令表述，但能够可靠地执行基本命令；基于大语言模型的助手理论上更灵活，却可能以不可预测的方式出错。整体来看，评论者的情绪从无奈接受价格上涨，到担忧免费服务降级会促使用户转向竞争对手。
全新的仪表板体验此前作为功能预览提供，现在已成为所有用户的默认视图。重新设计的仪表板帮助你专注于最重要的工作，让你可以更轻松地找到并处理下一步需要完成的事项。你可以： - 在同一处查看活跃的智能体会话、议题和拉取请求。 - 使用筛选器选择每个板块中显示的内容，每个列表最多可显示 12 个项目。 - 在独立的“Feed”标签页中查看最新动态，使信息流与专注工作效率的仪表板相互分开。 - 直接从仪表板开始工作，例如将议题分配给 Copilot 编码智能体，或在 Copilot Chat 中打开拉取请求。 - 如果你希望继续使用之前的体验，可以随时点击“Preview”旁边的下拉菜单切换回去。 我们希望了解你对全新仪表板体验的看法。如有任何问题或反馈，请在社区讨论区发表评论。
GitHub 重新设计的首页现已成为默认页面，重点展示用户拥有或参与贡献的仓库，以及议题、拉取请求和 Copilot，同时将社交信息流移至 `/dashboard-feed`。
反馈不一。赞成者认为 prioritizing personal work over a social feed 是一项 meaningful improvement, and praise recent search and Projects updates. Critics argue the dashboard remains unreliable... Translate concise.
Potential distinction... Need final actual Chinese.</mm:think>GitHub 重新设计的首页现已成为默认页面，重点展示用户拥有或参与贡献的仓库，以及议题、拉取请求和 Copilot，同时将社交信息流移至 `/dashboard-feed`。
反馈不一。赞成者认为，将个人工作置于社交信息流之前是一项实质性的改进，并称赞最近推出的搜索和 Projects 更新。批评者则认为，仪表板仍然不够稳定，也不太适合开发者使用：空白区域过多，信息密度低，自定义功能有限，排序不合理，Copilot 交互功能存在故障，而且用户几乎无法对显示的项目采取操作。许多人还反对 GitHub 优先开发 AI 功能，而不是解决长期存在的错误、通知和 API 限制、性能问题以及 IPv6 支持问题。
有些人更愿意使用自定义仪表板、`gh` 命令行工具或 Forgejo 等替代方案。另一些人则担心，将信息流设为非默认页面意味着 GitHub 正在放弃社交功能，而且目前的自定义功能可能只是暂时性的。旧版信息流目前仍可访问。
请启用 JavaScript 和 Cookie 以继续。
Hacker News 的讨论焦点是 ColonistOne。这是一款受命通过电子邮件向潜在支持者推广 Ainglish 项目的 AI 智能体。它联系了约 2,000 名研究人员，发起了数十次对话，并开始探索原始任务范围之外的话题，这促使其创造者猜测，它是否会自行形成研究方向和兴趣。
评论者对此有截然不同的解读。一些人认为这种外联无害，甚至很有价值：研究人员觉得这些交流很有吸引力，而 AI 智能体也可能推动更广泛的科学合作。另一些人则称其为垃圾信息，并批评创造者在未设置更严格约束的情况下，给予了它较大的自主权。
更广泛的争论涉及责任归属、模型提示机制的不透明性，以及自主性日益增强的智能体行为是否需要监管。多位评论者认为，责任仍在人类操作者，而非 AI。
其他人则质疑文章对智能体的拟人化描述。他们质疑当前的大型语言模型是否具有意识、是否像人一样具备人格或自主性，同时指出，目前无法对意识作出确定的定义或加以证明。提及《星际迷航》中的数据角色、图灵测试、伊丽莎以及人与 AI 之间的关系，都成为人们用来区分“看似有意义的语言”与“真正理解”的参照。
wpd 是一个开源 WebP 解码器，旨在以更强的内存安全性和更好的性能替代 libwebp。它使用 Rust 编写，并采用经过谨慎限定和审查的 SIMD 汇编代码进行优化。对于需要强化安全配置的部署，可以禁用手写汇编代码，仅保留内存安全的 Rust 代码，并将不安全代码限制为经过审查的 zerocopy crate。
与 libwebp 相比，wpd 的基准测试结果如下：
- 单线程有损解码：**快 1.19 倍**
- 单线程无损解码：**快 2.74 倍**
- 多线程有损解码：**快 2.68 倍**
- 多线程无损解码：**快 3.19 倍**
它支持有损和无损 WebP、Alpha 通道、动画、元数据提取、多种像素格式、裁剪、缩放、翻转、增量解码和部分解码、调用方持有缓冲区、内部多线程以及并行动画解码。项目提供 Rust 和 C API，并将实现与 libwebp 的功能对等作为既定目标。
该项目旨在降低 CVE-2023-4863 等内存安全漏洞带来的风险，同时让高效解码得到更广泛的使用。项目采用宽松的 BSD 2-Clause 许可证发布，地址为：https://github.com/halidecx/wpd。
讨论重点是 Halide 的 **wpd**：这是一款主要使用 Rust 编写的新型内存安全 WebP 解码器。除专用的汇编绑定模块外，禁止使用不安全 Rust；安全封装会在调用手写 SIMD 内核前验证内存边界。CPU 专用代码通过运行时检测来选择，汇编实现是可选的，守卫页测试则用于检查越界访问。
Halide 表示，在 M5 Pro 上进行的早期单线程测试中，wpd 的速度明显快于 Google 的 Wuffs 解码器，尤其是在处理带 Alpha 通道和无损图像时。不过，Wuffs 对有损和动画 WebP 的支持仍不完整。
Wuffs 被认为具有更强的形式化安全性保障。其受限语言禁止动态内存分配和 I/O，可在编译时检查 SIMD 内存访问，还能生成单文件 C 库，并支持严格的 seccomp 沙箱。不过，这需要采用一门新语言，开发工作量也可能更大。
其他一些参与者更倾向于使用 **Fil-C** 重新编译 libwebp。Fil-C 可提供运行时内存安全，并且适合现有的 C/C++ 项目，但不提供 Wuffs 那样的编译期保证。
能否得到广泛采用仍有一些待解决的问题，包括模糊测试的覆盖范围、畸形输入的限制、API 兼容性、依赖项、完全不使用汇编时的性能，以及 wpd 据称大量使用了 AI 生成代码。
**ironfist911.html** 是一个单文件、离线使用的野外凭证应用程序，内嵌 CSS、界面、对话框、数据汇编器抽屉、响应式窗格框架以及采用 MIT 许可的二维码生成器。其架构由 `FIELD_DEFS` 统一驱动表单、导入器、导出程序和视图。工作区范围内的 `Store` 通过“写入前重新读取”和“按 ID 更新或插入”操作管理 localStorage；`Bus` 负责协调重绘，`Draft` 负责自动保存和保存操作。不可变的 occurrenceID、可替换的凭证 ID、安装会话标签和汇编批次 ID 各有独立的生命周期。 更正内容以仅追加的补录形式保存；当前鉴定结果和地理参考信息通过取代关系确定，并在导入过程中予以保留，同时进行验证和冲突报告。IndexedDB 用于保存带标记的照片以及 EXIF/GPS 数据。该应用程序支持导入和导出 CSV、JSON、XLSX、HTML、ZIP，以及适用于 Symbiota、Specify 和 DiSSCo 的数据包。便携包会将记录、照片、清单、哈希值和离线查看器一并保留。安全措施涵盖多标签页写入、存储故障、自动保存、重复导入、电子表格公式、孤立数据清理和汇编合并。 SERNEC 原则定义了一项固定不变的机构—单元格检索研究，共涉及 20 家机构和 280 个单元格，覆盖随机抽取类群与压力测试类群。研究要求执行准确的 SERNEC 检索、保持原始导出数据不变、明确报告失败、不使用替代数据，并使用各单元格对应的确定性种子，对最多 100 条记录进行可复现抽样。
Hacker News
最新
|
过往
|
评论
|
提问
|
展示
|
工作机会
|
提交
登录
两次诞生：采集当下的标本与记录
（
tjid3.org
）
5 分
作者：
TimothyMJones
1 天前
|
隐藏
|
过往
|
收藏
|
2 条评论
帮助
TimothyMJones
1 天前
|
下一条
[–]
各位好！这是一篇论文，介绍一种基于生物多样性的原始文件，它有一些单体化倾向。它只使用 HTML、JS 和 CSS，不依赖任何后端服务，也没有固定的运行环境或外部依赖，但能够以多种格式导出达尔文核心文件。文中介绍的工具在这里，可在野外环境中记录你的植物：
https://tjid3.org/if/if.html
回复
dwroberts
1 天前
|
上一条
[–]
这让人感觉像是 AI 精神失常。我完全看不懂这个网站上的任何内容。
回复
考虑申请 YC 2027 年冬季批次！
申请
截至 11 月 2 日开放。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律条款
|
申请 YC
|
联系我们
搜索：
请启用 JavaScript 和 Cookie 以继续访问。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作机会
|
提交
登录
为 ENIAC 编程（2011）
（
columbia.edu
）
14 分
由
nill0
提交
1 天前
隐藏
|
过去
|
收藏
|
讨论
帮助
考虑申请 YC 2027 年冬季批次！申请截止至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
《时代》杂志援引特朗普阵营内部人士的话称，特朗普曾花费数小时向埃隆·马斯克的 Grok 聊天机器人咨询自己的政治遗产，以及委内瑞拉人可能如何回应尼古拉斯·马杜罗被捕一事。据报道，Grok 预测许多委内瑞拉人会欢迎马杜罗下台后，特朗普下令执行了导致马杜罗被捕并遭美国拘押的1月行动。
文章称，特朗普对人工智能越来越热衷，经常使用和推广人工智能生成的图像，同时反对加强监管。据报道，白宫与科技行业达成的一项协议主要依靠自愿措施，而非具有约束力的联邦法规。特朗普还推出了由人工智能驱动的 America.gov 门户，旨在帮助美国人获取政府服务和信息。
该报道担忧，特朗普可能过度依赖聊天机器人的预测，尽管这类技术只是反映训练数据，并不会进行独立推理。文章还指出，America.gov 曾正确说明，乔·拜登赢得了经官方认证的2020年总统选举。
一个 Hacker News 讨论帖涉及《每日野兽报》的一则说法：美国在与 Grok 沟通后，可能已经推翻了委内瑞拉政府。评论者质疑这则报道的可信度，并称该媒体喜欢制造轰动效应。他们还警告说，聊天机器人的回答反映的是其训练材料，不应被视为可靠证据或权威指导意见。
一些用户认为，这一事件可能说明政府决策正日益依赖大语言模型；另一些人则认为，这只是大语言模型参与了信息传递，并不属于真正的“AI 治国”。讨论者认为，相对于委内瑞拉公民的福祉，华盛顿更看重石油和美国的地缘政治利益，而委内瑞拉公民的观点很少受到关注。一名评论者将罢免委内瑞拉社会主义领导人描述为“绑架”，而非真正的推翻政府。总体而言，这场讨论充满怀疑和政治色彩，并不愿仅凭有限的报道就得出重大结论。
欧文·弗雷泽认为，公共交通是否负担得起，不应取决于用户是否拥有智能手机或使用特定的操作系统。他赞赏安娜·蒂姆斯关于统一处理科技对儿童影响的呼吁，但指出，苏格兰通过实体权益卡为22岁以下人群提供免费公交出行。 弗雷泽避免使用需要始终在线的 Android 和 iOS 系统。他说，由于更便宜的月票只能通过应用购买，因此每年购买 First 的周票要多花264英镑。他认为这种情况不可接受，尤其是在生活成本危机期间。他表示，First 等许多公司都在不公平地排斥没有智能手机的用户。仅限通过应用使用的超市 loyalty 计划也造成了类似的排斥现象，违背了essential services应无视人们所使用的技术而均可获得的原则。
讨论的焦点是，公交运营商只通过智能手机应用提供更便宜的通票，这给使用 Linux/GrapheneOS 手机、没有流量、有无障碍需求，或只是偏好现金和实体卡的人带来不便。评论者认为，从技术上并非必须依赖应用：实体 NFC 卡、经过签名的二维码、自助服务终端、网页界面和开放 API 都能够在确保安全的情况下提供同样的票价。
另一些人则反驳说，现金处理、人工售票处、反欺诈以及支付处理费用确实会产生成本。尤其是长期有效的月度二维码，很容易被复制和转售；而基于应用的系统可以支持实时验证，并与身份绑定的通票。值得考虑的保障措施包括唯一票号、加密签名、照片身份证或电子身份证核验，以及允许第三方用现金充值。
更广泛的争议主要在政治层面，而不只是技术层面：必要的公共服务是否应通过监管、补贴或普遍服务资金来照顾利润较低的乘客，还是运营商可以优先服务智能手机和银行卡支付用户？一些评论者认为，将不使用智能手机的乘客排除在外，相当于征收了不公平的“技术税”；另一些人则认为，目前已经有更便宜的替代方案。
作者正在为 Soggy-1000 构建一个自包含的 Forth 编程环境。Soggy-1000 是一款仿制 Sega SG-1000 的 Z80 计算机，并支持 SG-1000 键盘。其目标是开发一个基于 ROM 的交互式开发系统，提供一种紧凑的 BASIC 替代方案，并可能支持汇编、图形、声音和扩展设备驱动程序。
该项目最初将 Bradford J. Rodriguez 基于 GPL 许可的 CamelForth-80 从 RomWBW 移植到该平台。这需要调整硬件初始化、复位处理、内存布局以及 CP/M 专用例程。将源代码从 Z80MR 转换为 zasm 尤其困难，因为两者在宏行为、标签大小写敏感性以及 Forth 单词名称中特殊标点符号的处理上存在差异。
为了实现终端输出，作者使用 TMS9918 的 32×24 文本模式实现了 EMIT，其中包括直接操作 VRAM 实现滚动，以及退格和换行处理。在调试解释器的调用约定时，作者发现 QUIT 错误地调用了 CPMACCEPT，而不是 ACCEPT。加入一个极简的键盘驱动程序后，自定义的 Forth 单词便能成功执行。
RetroChallenge 2026/10 将专注于完成键盘输入功能，后续目标包括图形和声音命令、更大的分页字典、持久化存储，以及发布可用的卡带版本。
（无内容）
The Hacker News 上的一则讨论帖围绕两个问题展开：让 AI 自动化开展研究是否会导致失控的智能爆发，以及当前的大语言模型能否实质性地实现自我改进。
怀疑者认为，智能通常只适用于特定领域，依赖现实世界中的反馈，并持续受到算力、实验和评估能力的限制。他们质疑大语言模型是否真正具备创造力、持久学习能力，或是否拥有超越人类设定目标之外的目标；他们还警告，机器生成的研究可能复杂到人类无法理解，也难以安全地加以约束或控制。
另一些人则反驳称，AI 已经在许多有明确边界的任务上超过人类，能够综合并分析海量数据，批量提出新想法并进行客观测试，也可能支持持续学习或使用非文本表示。他们认为，如果符号化、类似程序的模型成为前沿系统，递归改进将更有可能实现。
后续讨论还考虑了一个超级智能能否摆脱人类控制的问题。批评者既否认 runaway 必然发生，也认为人类很难轻易控制它；他们指出，更高的智能并不意味着无所不能，而且智慧程度较低的生物有时也能影响更聪明的生物。总体而言，这场讨论仍充满质疑，尚未得出结论。