每日HackerNews RSS
一项近期关于一种新型艾滋病疫苗临床前研究成功的报告，在 Hacker News 上引发了谨慎的讨论。尽管该研究在恒河猴身上展现了 44% 的有效率，被视为一项积极进展，但许多用户仍持怀疑态度，理由是历史上已有太多“充满希望”的艾滋病研究最终未能成功应用于人类。
这场对话凸显了研究人员与公众之间的分歧：一种观点认为，通过 PrEP 等现有疗法，艾滋病传播问题已经得到“解决”，并主张对这些工具的系统性投入比等待疫苗更为重要。相反，另一些人则强调了现有疗法在后勤方面的挑战，指出长效疫苗对于实现全球普及和分发便利依然至关重要。归根结底，评论者们一致认为，尽管科学取得了进步，但人体临床试验依然是一道遥远且充满不确定性的难关。
蒙德拉贡公司（Mondragon Corporation）是一家总部位于西班牙巴斯克地区的知名工人合作社联合体。该组织由何塞·玛丽亚·阿里斯门迪亚里埃塔神父于1956年创立，植根于团结、民主参与和社会变革的人文主义哲学。其业务涵盖金融、工业、零售和知识四大领域。
蒙德拉贡以其独特的商业模式而闻名，该模式强调共同所有权，并对管理层与员工之间的薪酬比例进行规范，通常最高比例控制在5:1左右。在其发展历程中，该公司不断向全球扩张，通过建立众多子公司以保持竞争力。
近年来，该组织克服了诸多重大挑战，包括2013年其主要子公司法格电器（Fagor Electrodomésticos）的破产，以及2022年两家核心工业合作社ULMA和Orona的退出。尽管经历了这些变动，蒙德拉贡依然是巴斯克地区领先的商业集团，也是全球公认的替代性经济结构典范。截至2024年，该公司拥有超过7万名员工。其对教育（以蒙德拉贡大学为代表）和技术创新的长期重视，继续定义着它在商业盈利与合作价值之间寻求平衡的发展路径。
Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
蒙德拉贡集团 —— 一个合作社联盟 (wikipedia.org)
43 分，发布者：brnt，1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
借用查尔斯·布考斯基（Charles Bukowski）的智慧，作者批判了现代科技行业对无限产出的痴迷。布考斯基深知创造力需要耐心；当面对写作障碍时，他选择退避而非强行产出次品，他宁愿舍弃平庸之作也不愿将其发表。
作者将这种深思熟虑与当今的软件开发人员进行了对比。尽管人工智能工具现在能秒速完成过去需要数周才能做完的工作，但开发者并没有利用这种效率来换取闲暇时间。相反，他们陷入了“996”奋斗文化的怪圈，痴迷于提交成千上万个合并请求，而这些请求往往无法解决真正的实际问题。
文章提出了一个挑战：为什么我们是在更努力地工作，而不是更聪明地工作？引用尼尔·德格拉塞·泰森（Neil deGrasse Tyson）的观点——人工智能本应让我们有更多时间在海滩上放松——作者建议科技从业者应停止将“数量”置于“价值”之上。通过放慢脚步，拒绝“粗制滥造”，并专注于有意义的人际连接，我们或许能产出更高质量的作品，并由此夺回技术本应赋予我们的自由。
所提供的 Hacker News 讨论反映了人们对人工智能发展与文学之间（特别是查尔斯·布考斯基相关议题）交叉点的怀疑态度。
评论者强调了一种日益增长的反人工智能情绪，其根源在于人们认为该技术本质上是“掠夺性”的——即仅将创意作品视为股东盈利的数据点，而非将其作为艺术来欣赏。一位用户质疑了原文的前提，认为如果人工智能已经对布考斯基的作品进行了训练，那么除了模型已经摄入的内容外，开发者几乎没什么可“学习”的了。另一位参与者则通过分享一则关于诗歌教授对布考斯基尖刻性格发出严厉警告的轶事，转变了讨论基调。
总体而言，该话题将人工智能与创意产出的关系界定为一种交易性和非人性的关系，并因其将复杂的人类表达降格为机器学习的燃料而受到批评。
**ctrlb-decompose** 是一款高性能日志分析工具，能够将数百万行非结构化日志转换为精简且具可操作性的结构化模式。通过结合 CLP 编码、Drain3 聚类以及统计估算（DDSketch 和 HyperLogLog）的流式处理管线，它无需多轮处理即可将日志数据量减少 99% 以上。 **主要功能：** * **智能解析：** 自动提取并识别变量类型（如 IP、UUID、持续时间、枚举），提供细粒度的洞察。 * **可操作统计：** 识别每种模式的异常标志、错误级联、频率峰值及分位数分布（p50/p99）。 * **灵活部署：** 提供命令行工具 (CLI)、Rust 库或 WebAssembly 支持。 * **大模型友好：** 支持专为大模型 (LLM) 摄入优化的 JSON 和精简 Markdown 输出格式。 * **无缝集成：** 提供 Claude Code 插件，支持用户使用自然语言查询（如“总结这些日志并高亮显示异常”）来分析日志。 ctrlb-decompose 专为高效率和低内存开销设计，是开发者和 SRE 将嘈杂的日志流转化为清晰、结构化诊断信息的理想工具。
Hacker News 的这篇帖子介绍了 “Ctrlb-decompose”，这是一款旨在将日志发送给大语言模型（LLM）前去除噪声的工具。该项目旨在提高 AI 处理日志数据时的效率和相关性。
一位评论者对这一概念表示赞赏，并建议通过与 OpenTelemetry 集成来进一步增强该工具。通过提取属性、对日志进行分组，并将行关联为追踪（traces）或跨度（spans），用户可以将海量难以阅读的日志转换为可操作的指标。这种方法不仅能改善可观测性和告警能力，还能在日志到达 Datadog 或 Grafana 等可视化平台之前进行预处理，从而显著降低数据传输成本。
本项目展示了首个经过形式化验证的 3D 构造实体几何（CSG）网格求交算法实现。该算法使用 Lean 4 语言编写，其核心机制确保了输出的网格表面与输入实体的交集完全吻合，并保证了结构的规范性。
一项关键创新在于利用人工智能生成了超过 60,000 行证明代码，这些代码与 1,000 行的实现部分共同构成了一个“黑盒”。人类审查员只需审核 93 行形式化规范即可认证其正确性。随后，Lean 4 编译器会在编译时验证实现是否严格符合这些规范，从而无需信任人工智能生成的代码。
尽管该实现目前比最先进的非验证工具运行速度慢（其优先级为正确性而非性能），但该项目证明了形式化验证可以有效处理复杂的几何边界情况（例如共面重叠和非流形交集），而这些情况在传统的未验证软件中极易导致错误。通过利用形式化方法，本项目为认证关键几何算法提供了一个稳健的框架，无需进行高可靠性软件通常所需的那种详尽的人工测试。
抱歉。
这项研究探讨了背景如何影响六种前沿多模态大模型对价值的感知。研究人员将同一条价值 2.43 美元的项链置于不同场景（正式场合、派对、庭院及平铺）中进行测试。 研究发现，模型存在显著的“光环效应”：即便物体完全相同，模型给出的估价最高可相差 3.6 倍。这证明模型的估值取决于背景，而非视觉证据。主要发现包括： * **虚构证据**：模型会将偏见伪装成客观事实。例如，仅在正式场合的背景下，模型便常将该物品臆断为“镀金”或“包金”材质。 * **“纯文本”光环**：即便不提供图片，这种偏差依然存在，说明该效应是由语言联想而非图像分析驱动的。 * **否认与不一致**：当被追问时，模型往往否认存在偏见，或无法识别不同图片中的是同一件物品，甚至断言它们是完全不同的东西。 * **政策与实践的脱节**：拒绝评估图片等安全机制并不能防止偏见；当模型被迫仅依赖文本提示时，往往会表现出更大的偏差。 该研究强调了使用 AI 进行评估或财务判断的风险，因为模型始终倾向于将价值锚定在主观的社交线索上。
在最近的一项实验中，开发者 BrianneLee011 测试了视觉语言模型（VLM）如何根据环境对同一物品进行估值。创作者使用一条价值 2.43 美元的项链，拍摄了其在三种不同装束下的照片——从正装到园艺工作服——并将其与纯背景下的平铺基准图像进行了对比。
通过分析六大主流模型（包括 Claude、GPT-4o 和 Kimi）的 1500 次 API 会话，研究揭示了显著的“光环”偏见。模型对同一件物品的定价从 19 美元到 104 美元不等，具体取决于所搭配的服装。主要发现包括：
* **情境偏见：** 正装搭配持续推高了估值，而休闲场景则往往导致价格下跌。
* **捏造理由：** 当展示正装图片时，模型经常会产生幻觉，声称材质是“镀金”等，以使高价显得合理。
* **逻辑矛盾：** 尽管输出数据清楚地显示了定价波动，但许多模型仍否认服装对其估值产生了影响。
该实验凸显了 VLM 如何依赖环境线索而非原始视觉数据，它们往往会构建“物质故事”来迎合图像所呈现的社会经济背景。完整的实验数据和方法可在项目的 GitHub 仓库中查看。
请启用 JavaScript 和 Cookie 以继续。
《经济学人》近期的一份报告指出，人工智能的资本支出与其实际营收之间存在巨大缺口。专家估计，要证明当前基础设施投资的合理性，该行业每年需要产生约 2.5 万亿美元的收入——这大约是目前 1500 亿美元估算收入的 16 倍。
Hacker News 上的讨论显示，人们对这种支出规模的可持续性持深度怀疑态度。主要观点包括：
* **生产力缺口：** 数据显示，90% 的高管表示在过去三年中未通过人工智能获得可衡量的生产力提升。
* **经济可行性：** 评论者讨论了当前的人工智能巨头是否存在资本过度的问题，并将其与“向量数据库”泡沫相提并论，即先发优势很快被商品化了。
* **对劳动力的影响：** 持怀疑态度者认为，人工智能可能会增加运营成本（特别是在网络安全领域），而不是实现利润的线性增长。虽然一些人将人工智能视为专业人士的“机甲”，但另一些人则担心这会导致“情绪化编程”（vibe-coding）和市场饱和。
* **竞争陷阱：** 人们担心，由于前沿模型正变得对所有公司开放，人工智能投资将成为一种强制性的经营成本，而非竞争优势的来源，最终会压缩企业利润。
尽管 DMARC 自 2012 年起就已经发布，但在实际安全执行层面的普及率依然很低。一项针对 67,336 个域名的研究发现，45.1% 的域名根本没有设置 DMARC 记录。而在已设置记录的域名中，有 42.5% 被设置为 `p=none`，这原本是一种旨在作为临时阶段的纯监控模式，却经常被长期搁置，从而处于一种不执行安全策略的状态。 综合来看，所有被分析的域名中，有 68.4% 无法提供针对域名滥用的有效防护。 阻碍执行的主要原因并非缺乏意愿，而是 `rua` 报告系统的操作复杂性。域名管理员每天都会收到包含大量匿名 IP 地址和晦涩厂商字符串的汇总报告。要从中分辨哪些来源是合法的，哪些是恶意的，需要进行大量的研究，而非简单的配置。 虽然 SPF 的采用率相对较高（72.7%），但 MTA-STS、BIMI 和 DNSSEC 等更高级的协议使用率极低。即便 DMARC 在 2026 年正式列入 IETF 标准轨道，数据表明大多数组织仍停滞在监控阶段，无法跨越从报告到主动执行之间的鸿沟。
尽管 DMARC 这一关键的电子邮件验证协议自 2012 年起就已发布，但仍有 68.4% 的域名未能强制执行该协议。Hacker News 上近期的一项讨论指出，许多组织缺乏正确实施这些安全措施的技术专长，往往默认采用“p=none”（监控模式）而未能过渡到强制执行阶段。
评论者指出，对于小型组织而言，管理 DNS 和电子邮件验证的复杂性导致了“复制粘贴”式操作，而未完全理解其相关风险。虽然一些自托管用户质疑在已配置 SPF 和 DKIM 的情况下是否有必要使用 DMARC，但专家强调 DMARC 至关重要，因为它能指导接收服务器如何处理未经授权的电子邮件，从而有效防止域名欺诈。归根结底，普及率低的原因在于技术成本与域名基础设施管理人员安全素养不足的双重影响。
Usenet 存档工具包（UAT）是一套旨在离线保存、整理和搜索 Usenet 存档的工具。鉴于 Google Groups 等传统平台正在衰落，且公共存档往往不完整或碎片化，UAT 允许用户构建、合并和清理属于自己的永久性本地合集。
UAT 通过删除垃圾信息、去除重复邮件、过滤无关内容以及将标题转码为 UTF-8，解决了常见的 Usenet 数据问题。它采用了一种高效的内存映射存储格式，即使面对海量数据集，也能在占用极低系统资源的情况下实现快速搜索和即时访问。
该项目为处理来自 NNTP 服务器、mbox 文件和 maildir 目录等来源的原始数据提供了一套完整的工作流程。数据处理完成后，用户可以使用 `tbrowser` 工具浏览存档，或通过 `libuat` 集成到其他应用程序中。UAT 专为 64 位系统设计，通过将存档完全保留在本地磁盘上，摆脱对“云”服务商的依赖，从而优先保障数据的长期性、完整性和隐私安全。该项目以 GNU Affero 通用公共许可证发布。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Usenet Archive Toolkit – 将 Usenet 消息处理为可搜索的存档 (github.com/wolfpld)
6 点 | bilegeek | 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
**Projektor** 是一款原生支持智能体的项目管理工具，旨在通过模型上下文协议 (MCP) 自动处理开发工作流，例如创建问题、管理工单以及规划迭代。
Projektor 专为效率与扩展性而设计，通过内置的注册表和冲突解决系统，允许多个智能体在同一代码库中协同工作。它填补了轻量级基于文件的追踪工具与 Jira 等企业级解决方案之间的空白，提供了一种经济高效且可自托管的替代方案，能够随需求增长而扩展。
其整体架构运行在 Cloudflare 边缘端（利用 Workers、D1、KV 和 R2），无需复杂的服务器或容器管理。通过“纯配置”的部署流程，你可以在几分钟内完成整个技术栈的配置，甚至可以直接指派智能体为你部署。Projektor 通过自身开发过程进行测试（Dogfooding），确保了以开发者为中心的精简体验，并将自动化与无缝集成置于首位。
开发者 `tajd` 发布了 **Projektor**，这是一个开源、可自托管的任务管理与维基平台，旨在运行于 Cloudflare 之上。
由于对商业项目管理工具的成本以及现有本地替代方案的局限性感到不满，开发者打造了 Projektor，以充分利用 Cloudflare 慷慨的免费使用额度。该平台旨在实现轻松部署，利用了 Cloudflare 近期的 AI 功能，并允许用户通过 Cloudflare Access 策略来保护数据安全。
该项目目前已开源，开发者正在寻求社区对工具本身及其部署流程的反馈。您可以在 [GitHub](https://github.com/TAJD/projektor) 上查看代码和文档。