## DSPy：为什么不被广泛使用？ 尽管DSPy承诺简化AI工程，但其下载量（470万）远少于LangChain（2.22亿）。这并非由于DSPy存在缺陷，而是因为它*难以掌握*。它需要一种不同的AI系统设计思维方式，优先考虑预先抽象，而非快速实现。 作者认为，许多团队在不知不觉中通过痛苦的迭代过程重新创造了DSPy的核心原则——类型化输入/输出、模块化代码、提示分离和强大的评估。他们通过一个结构化提取任务来说明这一点，展示了最初的简单性如何随着提示调整、结构化输出、错误处理、RAG和模型切换等功能的添加而迅速升级为复杂且脆弱的代码。 DSPy为这些常见挑战提供了预构建的解决方案，从而提高了可维护性和更快的模型测试速度。然而，当迫切需要仅仅*让它工作*时，最初的学习曲线显得陡峭。最终，作者建议拥抱DSPy的底层原则——即使不使用该框架本身——以避免重复造轮子并构建效率较低的AI系统。
每日HackerNews RSS
对不起。
本网站需要 JavaScript。请启用 JavaScript 或升级到现代浏览器。
对不起。
这段文字探讨了笛卡尔驳斥一个自认为由玻璃构成的人的哲学意义。笛卡尔用这个例子来定义理性思维——将其与“疯狂”的脆弱结论形成对比——但后来的思想家如福柯认为，笛卡尔*利用*这个形象来确立理性的边界本身。福柯认为，对“玻璃人”逻辑的否定是定义有效思想的基础。 德里达提出了一个反驳观点，认为笛卡尔无意中提升了疯子的状态，通过模糊梦境和妄想之间的界限，暗示理性本身可能比“疯狂”更疯狂。 尽管围绕这个形象存在广泛的争论，这段文字强调了一个关键的缺失：没有人彻底研究过*为什么*这种特定的妄想——认为自己由玻璃构成——在历史上出现。尽管这种现象在哲学讨论中扮演着核心角色，但17世纪这一现象的起源和背景仍然未被探索。
对不起。
对Intoxalock（一家主要的美国酒精检测仪公司）的网络攻击，导致全美多州的司机无法启动车辆。大约15万名需要证明清醒后才能驾驶的司机使用Intoxalock设备，该公司自3月14日起出现故障，并主动暂停系统以防万一。 此次攻击中断了设备校准，而校准每隔几个月是必要的，导致司机在尝试启动汽车时被困。从缅因州到明尼苏达州的报告显示，司机被锁在车外，汽车修理厂里挤满了受影响的车辆。 Intoxalock尚未透露网络攻击的性质——是勒索软件、数据泄露，还是提出了赎金要求——也没有提供恢复服务的时间表。该公司在美国46个州开展业务，因此影响范围广泛且重大。
此PDF文档似乎是文档的高度结构化内部表示，可能由排版或文档处理系统（如Adobe产品）生成。它目前的形式*不可*被人类直接阅读。 该文件由大量对象（按顺序编号，从1到617）组成，定义了各种元素：字体、图像、页面布局和文本定位数据。它使用复杂的引用和字典系统将这些元素链接在一起。 本质上，这是PDF *阅读器*解释以显示视觉格式化文档的原始代码。如果没有PDF阅读器，你只能看到这些底层代码，它是一系列命令和数据结构。该文档包含多个页面（由`/Pg`键指示）并使用自定义字符映射(`/CMap`)。 简而言之，这是PDF的“源代码”——不是文档本身，而是*创建*文档的指令。
对不起。
Fyn：一个 uv 分叉，包含新功能、错误修复，并已移除遥测数据。
Fyn: An uv fork with new features, bug fixes, stripped telemetry
38 天前
## fyn：下一代 Python 包和项目管理器 fyn 是一款基于 Rust 的超快速工具，旨在取代 `pip`、`poetry`、`virtualenv` 等。它为 Python 项目和依赖管理提供全面的解决方案，速度比传统工具快 10-100 倍。 主要功能包括：通用锁定文件、在 `pyproject.toml` 中定义的内置任务运行器、轻松激活虚拟环境 (`fyn shell`) 以及简化的依赖升级 (`fyn upgrade`)。fyn 还管理 Python 版本，安装和运行基于 Python 包的工具（如 `pipx`），并支持用于大型项目的 Cargo 风格工作区。 重要的是，fyn 优先考虑用户隐私，**不含遥测数据**。它通过与 `pip` 兼容的接口与现有工作流程兼容，并支持 macOS、Linux 和 Windows。它通过全局依赖缓存有效地管理磁盘空间，并允许使用自定义锁定文件和索引 URL。fyn 与 `uv` 完全兼容，并提供任务运行器和可配置缓存限制等改进。 安装很简单，通过 `pip install fyn` 或从源代码构建即可。更多信息请参阅 `fyn help`。
## Fyn：uv 的分支与社区反应
Python 包管理器 `uv` 的一个名为 `fyn` 的分支出现了，在 Hacker News 社区引发了讨论。该分支旨在添加新功能、修复错误并移除遥测数据——具体来说，是发送给包索引的用户操作系统、Python 版本和 CPU 架构信息。
然而，最初的反应是怀疑的。许多评论者质疑 `fyn` 的合法性和长期稳定性，指出其提交信息过于简单（“清理”、“分支”）以及早期更改中表现出缺乏理解。一些人认为这是一种“追逐名声”的行为。
讨论的中心围绕移除的“遥测”展开，一些人认为它对包维护者来说是有用的数据，而另一些人则支持尽量减少数据收集的原则。一个关键的争论点是虚拟环境的集中化，这与 `uv` 的项目本地化方法不同。
尽管存在怀疑，但有些人赞赏这种尝试，以及潜在的更具功能性的替代方案，特别是考虑到 OpenAI 收购 Astral（`uv` 的原始维护者）以及项目可能出现的“劣质化”。许多人愿意等待更广泛的采用和稳定性后再进行切换。
针对Web UI的属性测试，自主探索并验证正确性属性，更早发现更难的bug。 可以在本地开发环境、CI以及Antithesis内部运行。NoteBombadil是新的且实验性的。早期阶段会有很多变化。尽管如此，我们希望您尝试一下！ 通过以下资源了解Bombadil的所有信息：或者，如果您想参与开发，请参阅贡献指南。 老汤姆·博姆巴迪尔是个快乐的人，他的夹克是亮蓝色，靴子是黄色。Bug从未欺骗过他，因为汤姆是大师：他的眼镜更强，他的模糊器更快。 由Antithesis构建。
## Bombadil：基于属性的Web UI测试 - 摘要
Bombadil是一个新的、实验性的开源Rust框架，用于Web UI的基于属性的测试（PBT）。与传统测试方法不同，它自主探索UI，验证正确性属性，并旨在更早地发现开发过程中的错误。
该框架利用时间逻辑来定义UI随时间推移的预期行为。用户定义属性，Bombadil生成动作来测试它们，并报告任何违规行为。虽然前景可观，但它目前在动作生成能力上有限，并且缺乏自定义动作或“直到”等时间算子的完整实现。
作者承认其处于早期阶段，并欢迎贡献。讨论强调了其在测试复杂、动态生成的UI方面的潜在好处，但也指出了当前的局限性和对于不熟悉PBT和时间逻辑的人来说陡峭的学习曲线。该项目名称也因其源自托尔金的作品而引发了争论。
对不起。
本网站所有内容：版权所有© 2026 Elsevier B.V.，及其授权方和贡献者。所有权利保留，包括文本和数据挖掘、人工智能训练以及类似技术。对于所有开放获取内容，适用相关的许可条款。
一辆极其罕见的GM EV1，车辆识别码为212，在佐治亚州的一个扣押场被发现，并以超过10万美元的价格售出，目前正在进行全面修复，这得益于一次独特的合作。爱好者比利·卡鲁索与YouTube频道*Questionable Garage*的团队一起，启动了“V212项目”，旨在复活这款开创性的电动汽车——仅存的少数从90年代末租出的1000辆之一。
最初的私人努力获得了意想不到的支持，因为通用汽车总裁马克·Royce注意到了修复视频。通用汽车现在正式支持该项目，提供关键零件以及对其技术专长和历史车辆的访问权限，以纪念EV1在2026年迎来30周年。
EV1是首款由大型汽车制造商专门打造的现代电动汽车，它率先采用了现在电动汽车的标准技术——包括热泵、再生制动和铝制空间框架。通用汽车承认EV1是其当前电动汽车战略的基础。修复过程正在YouTube上记录，为人们提供了对汽车历史的迷人视角，并为电动交通的未来带来了希望。