本实验旨在评估指示 AI 编程代理使用特定测试技术（如测试驱动开发 TDD、形式化方法、基于属性的测试）或预置库“技能”是否能提高软件的正确性。通过对 Zstd 和 IMAP 的 Rust 实现进行 26 种不同条件的测试，结果表明：**明确的指令通常无法提高正确性。** 主要发现包括： * **应用无效：** 当被要求使用形式化方法或基于属性的测试等高级技术时，代理通常只是表面地应用它们——编写“冒烟测试”或无效证明——而仍然过度依赖标准的单元测试。 * **技能表现：** 大多数现成的测试技能表现不佳，往往在没有带来任何好处的情况下显著增加了 Token 消耗。这些技能描述读起来更像是人类教程而非可执行的约束，未能引导代理改变其默认的无效行为。 * **“默认”偏差：** 不提供任何指令通常能获得高于平均水平的结果。指示代理使用它们并不从根本上理解的技术，往往导致它们将精力浪费在低效的工作流上。 * **TDD 的失败：** 正如预期，测试驱动开发（TDD）导致了更差的结果，引导代理编写了大量低质量、平庸的测试。 最终，该研究表明代理缺乏对测试的深层理解；若没有专家级的人类指导来构建其方法，通用的测试指令在很大程度上是无效的。
每日HackerNews RSS
抱歉。
《我们拥有这面玻璃》（We Own the Glass）是一个独立的艺术项目，旨在挑战 LG 等广告技术公司利用自动内容识别（ACR）技术监控用户观看习惯的侵入式数据采集行为。该项目旨在夺回用户隐私，并抵制将个人屏幕时间商品化的做法。 该网站展示了一个持续、缓慢移动的历史艺术作品幻灯片——旨在防止 OLED 屏幕烧屏——这些作品描绘了社会动荡和民众被剥削带来的历史后果。创作者强调，这是一种基于事实的评论和教育性的抗议，而非煽动暴力。 该项目独立运营，与各大电视制造商没有任何隶属关系，且仅使用公共领域的图像来表达其观点。通过鼓励用户在自己的智能电视上运行该网站，《我们拥有这面玻璃》对嵌入在现代娱乐硬件中的监控策略起到了一种数字颠覆的作用。
抱歉。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC
抱歉。
请提供您需要翻译的内容。
抱歉。
真不敢相信现在一切都免费了！所以，为什么不在你的 IDE 中间放一个悬浮球作为屏保呢？下载这个视频。关于这个 UI，这是我自己制作的自定义 IDE，包含了智能体、终端以及各种功能。对于智能体来说，最棒的一点是 Composer 可以像我的编辑器一样使用我自定义的快捷键。总之，左右两栏是相对静态的，中间才是核心区域。盯着它看虽然没什么用，却又让人欲罢不能。所以我心想，为什么不放一些视觉噪点在那儿，好让你放松一下，而不是一直盯着文字看。
这篇 Hacker News 的讨论探讨了现代人工智能辅助编程所带来的哲学转变。对话的核心是一个 IDE 插件——一个“浮动球”——它代表了一种更广泛的趋势：高科技功能现在触手可及，但往往缺乏从零开始构建事物所带来的深层教育价值。
一些参与者对此表示遗憾，认为“简单的”代码会导致“大脑萎缩”，与手动学习算法那种困难但有益的过程相比，会导致对基本功掌握的缺失。另一些人则认为这种效率是净收益，使开发人员能够专注于创造价值，而不是重复造轮子。
辩论的深层担忧在于这种便利背后的隐形成本，包括“免费”生成的代码所带来的技术债务、现代应用程序对资源的过度消耗（内存），以及过度依赖自动化工具可能削弱我们理解底层构建系统的能力。归根结底，该讨论对比了“冥想式”简洁的乐趣与现代软件开发的现实需求，质疑我们是否在以牺牲真正的技术能力为代价来换取速度。
Bedrock 2.0 现已发布，为 Emacs 提供了一套精简、极简的入门工具包。Bedrock 并非一个框架，而是旨在让用户完全掌控自身配置；它提供了一系列带有注释的 `init.el` 和 `early-init.el` 文件，供用户复制并根据需求进行定制。 此次重大更新要求使用 Emacs 31（2026 年 8 月发布），标志着对旧版本支持的终结。主要改进包括： * **标准化**：所有文件现已统一使用 `lexical-binding: t`。 * **现代化**：改进了 tree-sitter 配置，默认启用 `repeat-mode`，并更新了补全功能。 * **精简**：使用 `embark-auto-prefix-help-mode` 替代了 `which-key`，并移除了 `wgrep` 以采用内置功能。 * **用户体验**：增强了主题颜色的统一性及启动行为。 Bedrock 始终保持着“前沿”但稳定的基础定位。由于它专为直接修改而设计，因此没有自动升级路径；建议用户将现有文件与新存储库进行比对，以整合所需的更改。Bedrock 继续优先考虑隐私、简洁和用户自主权，在基础设置中摒弃了遥测和第三方依赖，同时为必要插件提供了可选的配置方案。
**Emacs Bedrock 2.0** 的发布在 Hacker News 上引发了热烈讨论，凸显了社区对 Emacs 持久的热情。Bedrock 旨在提供一套“以内置功能为主”的入门套件，帮助新手在不被臃肿配置所困扰的前提下学习 Emacs，同时仍保留深度定制的自由。
该讨论反映了开发者工具选择的周期性特征，用户常就“VS Code 与 Emacs 与 Vim”的困境展开辩论。许多贡献者分享了自己重回 Emacs 的心路历程，原因多涉及对 VS Code 遥测数据收集及性能下降的担忧。讨论要点包括：
* **配置理念：** 用户将 Bedrock 与其他极简发行版进行了对比，并分享了各自经历“配置文件崩溃（dotfile bankruptcy）”的经验。
* **Emacs 现代化：** 讨论涉及词法绑定的采用、Elpaca 等包管理器的演进，以及向内置功能迁移的趋势（例如用原生的 grep-edit 模式取代 wgrep）。
* **编辑器历史：** 资深用户分享了关于 Emacs 起源及其基于 Lisp 环境的深刻见解，进一步巩固了“Emacs 更像是一个操作系统而非单纯文本编辑器”的观点。
Jellyfin 12.0 是一个重要版本，采用了新的版本编号方案，进行了重大的性能优化，并扩展了对书籍和漫画的支持。
**关键升级说明：**
* **备份：** 升级前请对数据和配置目录进行完整的手动备份。
* **先决条件：** 升级至 12.0 前，必须先处于 10.10.7 或 10.11.x 版本。
* **数据库迁移：** 本版本包含重大的数据库模式重写。升级后需要进行完整的媒体库扫描，耗时将比平时更长。
* **兼容性：** 升级后请清除网页缓存。请移除第三方插件（它们需要更新），并确保您的客户端已更新至最新版本，因为旧版 API 支持（/emby/ 和 /mediabrowser/）已被移除。
**主要亮点：**
* **数据库性能：** 重新组织了播放列表和收藏集的存储方式，显著提高了浏览速度和资源管理效率。
* **内容支持：** 现在支持剧集的替代版本。书籍和漫画现具备原生元数据支持、改进的阅读界面，以及现已作为默认设置的“现代”布局。
* **增强自定义：** 用户现在可以按媒体库配置推荐来源和搜索提供程序。
* **安全性：** 实施了多项安全补丁。
Jellyfin 12.0 的发布在 Hacker News 上引发了热烈讨论，凸显了开源拥护者与 Plex 等商业替代品之间日益紧张的关系——尽管后者功能丰富，但其环境正变得越来越“不友好”。
**核心议题：**
* **性能与升级：** 尽管部分用户在数据库迁移过程中遇到了一些小问题，但大多数人认为 12.0 更新快速且稳定，并指出其性能较之前版本有显著提升。
* **客户端问题：** Jellyfin 最常受到的诟病依然是其在各类设备上的用户体验（UX）。许多用户通过使用 Infuse（在 Apple TV/iOS 上）或 Wholphin 等第三方应用来弥补这一差距，这些应用提供了更精致的界面和更好的编码支持。
* **自托管与人工智能：** 一个主要趋势是利用 Claude 等 AI 工具来自动化管理 “arr” 堆栈（Sonarr/Radarr/Bazarr）。用户发现这大大降低了维护媒体服务器的难度，不过也有人提醒不要授予 AI 完全的管理员权限。
* **安全与访问：** 关于是否应将 Jellyfin 暴露在公网，各方意见不一。许多人更倾向于使用 Tailscale 等工具进行远程访问以保障安全，而另一些人则认为配置得当的反向代理已足够。
* **理念：** 许多用户被 Jellyfin 的非营利、社区驱动模式所吸引，以此作为对他们所认为的 Plex 发展路线“劣质化”（enshittification）的一种抵御手段。
Colorlight 5A-75B 是一款价格低廉（20–25 美元）的 LED 接收卡，已成为硬件极客圈中广受欢迎的低成本 FPGA 开发板。该板卡专为驱动 LED 显示屏而设计，搭载了 Lattice ECP5 FPGA，并配备双千兆以太网口、16Mbit SDRAM 以及 16Mbit Flash。 得益于 q3k 等社区成员的努力，该板卡已实现完全逆向工程，并兼容开源的 Yosys FPGA 工具链。用户可以通过简单的 JTAG 接头轻松上传自定义位流（bitstream）。虽然该板卡最初是为输出信号而设计，但用户可以通过将默认的输出驱动器替换为兼容的电平转换器（如 SN74CBT3245A）来启用双向 I/O 功能。 Colorlight 5A-75B 以高速连接性能与高性价比的独特结合，为那些希望尝试 FPGA 而又不想承担传统开发套件高昂成本的用户提供了一个便捷的切入点。其强大的功能集（包括以太网和 SDRAM）也为进阶项目提供了广阔的发挥空间。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
我已经分解了 90 年代某家证书颁发机构（CA）的 RSA 密钥。 I've factored the RSA keys of a Certificate Authority from the 90s
2 天前
作者研究了 90 年代 Netscape 4.51 等浏览器所内置的 512 位根证书，旨在探讨早期弱 RSA 密钥的脆弱性。作者在普通台式机上使用 CADO-NFS 分解工具，成功破解了 E-Certify 的 512 位 RSA 密钥，并据此还原了私钥。
由于现代基础设施已不再支持 90 年代的加密标准，作者专门用 Go 语言编写了一个“复古”的 TLS 服务器来测试这些密钥。该项目托管于 e-certify.fly.dev，展示了冒充这些已失效证书颁发机构的理论可能性。尽管此项工作纯粹出于历史好奇心和趣味，但它凸显了计算能力的进步是如何让曾经的标准安全措施彻底过时的。作者已将实验中使用的密钥和工具发布在 GitHub 上，供有兴趣进一步探索这些古老且不安全根证书的人士参考。
最近一篇 Hacker News 的文章重点介绍了 20 世纪 90 年代一个 512 位 RSA 根证书被成功分解的过程（mcpherrin.ca）。作者作为一名安全研究人员，利用 CADO-NFS 软件完成了这一因式分解，证明了在 90 年代需要庞大学术资源才能完成的任务，如今仅靠现代普通硬件在几天内即可实现。
此次讨论还引用了一位前网景（Netscape）产品经理的见解，他证实许多 90 年代的“出口级”加密协议是被人为削弱的，旨在确保国家级的监控能力。对话由此扩展为更广泛的辩论：
* **旧加密技术的过时性：** 尽管 512 位 RSA 在今天可以轻易破解，但 1024 位 RSA 仍存在争议；一些专家认为，资金充足的实体利用数千个 GPU 年的算力或许可以将其分解。
* **“AI 生成内容（Slop Machine）”之争：** 评论者围绕作者使用 AI 生成项目部分内容展开了争论，突显了技术社区在利用大模型进行快速原型设计与对基础专业知识流失的担忧之间，日益增长的矛盾。
* **网络安全的现状：** 与会者指出，现代浏览器早已弃用了这些陈旧且不安全的协议，因此这更像是一项纯粹的历史性或“复古计算”练习。