每日HackerNews RSS

作者认为,在AI辅助开发中,最重要的产物不是代码,而是一个清晰表达的“理想状态产物”(ISA)。虽然Matt Pocock把代码视为权威的真实来源,但作者认为代码只是意图的一种表示。大多数AI失败是表达/沟通问题,而非执行失败。写作比代码更准确地捕捉人类意图,即使代码更精确。ISA记录期望的理想状态、约束、决策,以及原子化、可测试的理想状态标准与评估。它同时成为构建目标和测试脚手架,而代码变得可抛弃。示例(owl、booking app、kitchen)表明,跳过表达会导致在有缺陷的实现上浪费迭代。迭代应更新ISA,而不仅是代码。随着AI改进,努力应转向精确指定我们想要什么,而不是微观管理实现。

Hacker News 用户讨论了 Daniel Miessler 的文章《Writing Is Closer to Thought Than Code》,该文认为清晰地表达意图比代码更重要。评论者意见分歧:有人认为代码是对误解意图的最终保障,必须保持最高优先级;也有人赞同规范和“为什么”才是核心。比喻包括法律和桥梁——法律/规范可能含糊或失效,而代码是被执行的现实。多人指出 AI 将瓶颈从编码转移到思考与文档,但实现仍会暴露出差距。还有人认为思想不一定以语言形式存在;代码、图表或数学对某些人来说更能表达思想。测试(如 Gherkin)被提议作为具体的意图检验,但批评者警告通过的测试可能与真实目标产生偏差。总体而言,讨论串得出结论:没有通用答案;写作与代码服务于不同目的,意图与实现都必须在实践中得到验证。

彼得·蒂尔,PayPal联合创始人及颇具影响力的硅谷人物,秘密资助了赫尔克·霍根起诉Gawker的胜诉,这一胜利曾预示唐纳德·特朗普2016年的崛起。作为科技保守主义自由意志主义者,蒂尔支持J.D.万斯、泰德·克鲁兹等人,反对民主制度与战后国际体制,并在警告AI监管时使用宗教修辞。批评者称他反民主且自相矛盾:他倡导自由意志主义,却投资于持有政府合同的监控与防务公司(如Palantir)。他还寻求建设自治城市,包括阿根廷和洪都拉斯的项目。受艾茵·兰德、勒内·吉拉尔及保守派理论家影响,蒂尔信奉精英领导、打破规则的企业家和垄断。对Facebook与Founders Fund的早期投资塑造了他的权力,而PayPal的出售帮助资助了庞大的科技投资组合。他的意识形态与投资使他成为硅谷最有权力也最具争议的人物之一。

Hacker News 的讨论围绕一篇文章展开,该文章将彼得·蒂尔描绘为痴迷于敌基督的科技寡头。评论者辩论基督教神学,区分圣经中的敌基督与伪教皇、伪基督;一些人认为蒂尔关于 AI 的救世主式修辞呼应了“替代救世主”的概念。另一些人批评他的财富、政治立场与影响力,称其支持反民主或精英主义意识形态;也有人认为他的思想发人深省。讨论还涉及亿万富翁的疏离、AI 的风险与炒作、民主与人口结构、太空探索,以及关于蒂尔的文章是否是“黑稿”。总体而言,这是一场关于蒂尔信仰、权力与更广泛科技文化的庞杂且极化的争论。

开放权重模型服务经常因工具调用频繁违反 schema 而低于基准质量,污染智能体工作流中的上下文。例如,vLLM 0.28 服务 Kimi K2.6 时,仅 92% 的工具调用 schema 有效。工具调用必须遵循 JSON schema,但概率生成可能产生格式错误的调用、错误的工具名或无效字段。Moonshot 的 K2VV 基准测量触发相似度和 schema 准确率;低准确率会导致重试和性能下降。受限解码通过在每一步将 token 采样限制为 schema 有效的 token 来解决此问题,将尽力而为的生成变为运行时保证。vLLM 0.31 将其作为服务端标志暴露,使用 XGrammar 结构标签;开销可忽略不计。vLLM 最初提供受限解码,但后来因模型特定问题、语法翻译 bug 和功能交互而默认禁用。Ubicloud 专注于 Kimi 和 DeepSeek 质量,通过 --tool-strict-level 启用严格模式,在 K2VV 上验证了 100% schema 准确率,并部署了它。

Hacker News 上的一则讨论涉及 Ubicloud 博客文章,内容是关于在使用 vLLM 提供 Kimi K2.6 服务时提升工具调用准确性。评论者澄清,vLLM 中早已存在受限解码和受限工具调用 schema;作者表示他们的修复包括配置更改,以及针对 Kimi 的代码更改,这些更改后来在上游得到处理。据报道,他们将预期的工具调用 schema 成功率从 92% 提高到 100%。讨论涵盖权衡:受限解码可确保语法有效,但可能改变模型输出分布,从而影响质量;而基于重试的方法保留模型分布,但消耗 token。用户还讨论了 vLLM 的复杂性、提供商质量,以及在长智能体工作流中 100% 工具调用可靠性的重要性。总体而言,这篇文章强调模型、服务引擎和受限解码的精心集成,配置和版本选择影响很大。

SEC 已限制访问,因为请求来自未声明的自动化工具。要恢复访问,请更新用户代理以包含公司特定信息,并遵循 SEC 下载数据的最佳实践。SEC 将请求限制为每秒不超过 10 次;超过此限制可能导致临时 IP 封禁,直到速率低于阈值 10 分钟。这些措施旨在确保公平访问并防止过度自动化搜索,而非影响正常浏览。如需指导,请访问 sec.gov/developer 或联系 [email protected]。SEC 还会监控网络流量以保障安全,并可能起诉未经授权的篡改网站信息行为。

Anthropic 的 S-1 文件引发了关于爆炸性 AI 需求是否能证明其巨额估值和庞大算力承诺合理的争论。支持者指出其快速增长的营收、改善的利润率和强劲的企业采用率,认为如果需求持续,Anthropic 能够成长到足以支撑这些承诺。怀疑者则反驳称,这些承诺跨越多年,依赖持续的需求,并面临竞争、开放权重模型、效率提升、客户集中度以及长期盈利能力不确定等风险。讨论还涉及护城河、中国模型竞争、监管压力、限售股解禁,以及前沿 AI 是否正变得商品化。总体而言,评论者认为 Anthropic 是一家高增长、高风险的公司,其成功取决于需求持续和利润率维持。

Tasks as Code 提议将开发任务作为 Markdown 文件与代码和文档一起存储在 Git 中,以便 AI 编码代理可以在一个地方读取需求、规划工作、实施更改并记录结果。与 Docs as Code 类似,这使任务可版本化、可审查且可供代理访问。任务可以是一段简短的笔记,也可以是包含验收标准的完整规范。工作流包括五个步骤:描述任务、分析需求、创建实施计划、审查并批准,然后实施并报告。一个示例设置使用单独的 Git 仓库存放文档和私有任务,将其克隆到代码仓库并忽略,从而保留独立历史。Typemill 之类的浏览器界面可以与 Git 同步,供非技术用户使用,同时不取代 Git 作为版本控制。关键思想是文件保持可移植且原生 Git,而界面只是提供访问。随着代理承担更多工作,未来工具可能会重新思考传统工单功能。

讨论聚焦于将项目任务/工单存储在代码仓库中,以便编码代理和开发者与代码共享上下文。支持者认为这可以提高可追溯性,使文档贴近实现,并适用于使用代理工作流的个人或小团队。批评者认为工单与代码的生命周期不同,利益相关者往往没有仓库访问权限,而 git 不适合查询、筛选、访问控制和快速更新。其他人建议采用混合方案:通过 API/MCP 暴露工单功能,将任务保存在单独的数据库或仓库,或使用 Linear、Jira、Beads、Kan 等以代码形式持久化的工单跟踪工具。多名评论者还警告,随着工单数量增长,任务上下文可能过时、提交历史噪音增加、仓库膨胀。总体而言,该想法对代理辅助开发很有前景,但在规模、协作和治理方面面临实际挑战。

启用 JavaScript 和 Cookie 以继续

帖子将固定路线公共交通的发明归于布莱兹·帕斯卡尔,他的巴黎马车沿可预测的路线和时刻表运行。Hacker News 的评论者争论类似固定路线是否更早存在,比如渡船、trekschuits 以及贸易或快递路线,同时指出帕斯卡尔的系统使可靠的城市出行成为可能。 随后讨论转向现代交通。评论者将频繁的欧洲和亚洲服务与较弱的美国网络作比较,将原因归咎于郊区蔓延、高劳动力成本、资金模式和汽车导向基础设施。一些人认为快速公交和更好的土地利用可以改善许多美国城市;另一些人则说低密度使频繁服务不经济。帖子还涵盖票箱回收率、工会和自动化问题、路线优化以及可预测时刻表的重要性。总体而言,帕斯卡尔的固定路线概念仍具基础性,但有效交通取决于密度、投资、政治和一致的服务。

Brennen Puth 正在美国东北部寻求工作,即将获得计算机科学与网络操作理学学士学位;他有网页开发和 Java 经验,也会 Rust、C++、Python 等。他还写过关于让网站可打印的内容。测试自己的网站后,他发现打印输出很差,于是添加了 CSS 打印规则:用 noPrint/onlyPrint 隐藏/显示元素,设置可读字号,调整代码块,并将链接设为黑色。他认为即使很少人打印网页,支持用户偏好的阅读媒介也是一种值得的善意。

Hacker News 讨论网站是否应该可打印。支持者认为打印 CSS 很容易,有助于无障碍访问、归档、收据、PDF、离线阅读,以及无法保存的动态页面。批评者说打印优先级低、浪费纸张、浏览器处理不好,网站是交互式/可导航而非文档;有些人更喜欢 LaTeX/PDF。评论辩论字号和用户控制、移动可用性以及浏览器差异。许多人分享变通方法:打印为 PDF、阅读模式、扩展、Markdown/Pandoc、截图。实际问题包括分页、可滚动元素、背景和大量 JavaScript 的网站。总体共识:并非所有网站都需要完美打印,但基本可打印性很有价值,尤其是用于阅读、保存或分享的内容。

请启用 JavaScript 和 cookies 以继续

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Vazhaipoo Vadai – 香蕉花食谱 (vegrecipesofindia.com) 7 分 由 mooreds 1 天前 | 隐藏 | 过去 | 收藏 | 3 条评论 帮助 tesnorindian 1 天前 | 下一个 [–] 这真的对健康很好。 回复 0x445442 1 天前 | 上一个 [–] 面粉。 回复 lanstin 1 天前 | 父评论 [–] 不,是花。 回复 考虑申请 YC 2027 冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

作者将爱尔兰退化、低矮的山脉与更野性的西班牙北部进行对比;他和妻子为寻找气候避难所移居那里。阿斯图里亚斯的山地与社区长期抵抗治理,如今却易受气候变化影响:干旱、野火、冬青栎枯死,以及入侵的亚洲大黄蜂。农村地区面临人口流失与士绅化,但像“La Ponte”这样的遗产项目有助于保存地方知识、工艺、歌曲和地名。在高速列车上听到的一首民歌,凸显了现代变革中旧有生活方式的脆弱。最终,无法逃脱文明的生态破坏,但基层再生提供了希望。

Hacker News 上出现了一篇来自 dark-mountain.net 的帖子,标题为“Two Million Hornets”。文章指出,八周内统计到 361 只虎头蜂蜂王,暗示本地陷阱到秋季前可避免超过两百万只虎头蜂。评论者讨论了天敌,尤其是欧洲蜂鹰,以及爱尔兰缺乏适合它们栖息的林地。另一位评论者批评政客对入侵亚洲大黄蜂的无所作为,警告它可致人死亡,并引用了欧洲的死亡案例。页面还包含标准 HN 导航和 YC 申请通知。

为什么观鸟对我们的情绪和思维有如此积极的影响?对卡尔丝来说,这“不仅仅关乎鸟类本身;它关乎自然、注意力、情绪、意义、社会交流与活动以一种非常简单的方式汇聚在一起。它创造了小小的好奇时刻——愉悦、期待”。她还说,它“极其容易获得”。

Hacker News 帖子讨论了一篇 BBC 文章,称观鸟能重塑大脑并减缓认知衰退。评论者质疑这些益处是否特属于观鸟,还是来自相关因素,如户外活动、社交、专业知识和持续注意力。多人指出,底层神经科学论文比标题更细致,并批评耸动的科学报道。其他人认为,许多认知要求高的爱好——观鸟、业余无线电、摄影、游戏——都可能有帮助,尤其是当它们要求学习、模式识别和主动参与,而非被动消费时。实际观点包括:观鸟易于参与且成本低,Merlin 和 iNaturalist 等工具可辅助识别。轶事描述了老年人因观鸟而受益。讨论还提出因果与相关的问题:专家大脑不同可能是因为先天特质,也可能是因为更健康的人能坚持爱好。总体而言,观鸟被视为一种可能支持认知的、有趣的自然活动,但并非唯一或明确。

更多

联系我们 contact @ memedata.com