本网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。触发此拦截的操作可能有多种，包括提交了特定的词汇或短语、SQL命令或格式错误的数据。
每日HackerNews RSS
一名男子在图森市（Tucson）的一起“虚假报警”（swatting）事件中被警察枪击，目前正寻求数百万美元的赔偿。该案件在黑客新闻（Hacker News）网站上引发了激烈讨论，用户们纷纷批评执法部门的行动准则，以及此类暴力警务反应的频繁发生。
评论者认为，警察部门往往缺乏适当的培训；有人指出，警员们被训练出一种“战士”心态，即在处理事件时，将即时的攻击性置于谨慎行事之上。许多参与者表示，最终是由纳税人为警察的不当行为买单，对此他们感到非常沮丧。因此，讨论中出现了要求警员强制购买个人责任险、实施更严格的执照管理，以及对鲁莽行为进行刑事追究的呼声。
此次对话凸显了公众对“保护与服务”这一座右铭日益增长的质疑。用户指出，如果疏忽大意无需承担经济或法律后果，那么执法机构将缺乏改进战术的动力。总的来说，社区支持受害者的诉讼，认为这是迫使警察部门为缺乏理性且侧重于降级处理的应急反应承担责任的必要举措。
将代理技能强制纳入 ASD-STE100 简化技术英语文档 Agent Skill to Force Docs in ASD-STE100 Simplified Technical English
5 小时前
该项目提供了一种 AI 智能体技能，用于强制执行 **ASD-STE100 简化技术英语 (STE)** 标准。这是一种航空航天领域通用的受控语言，旨在消除歧义和技术错误。通过约束大语言模型 (LLM) 遵循这一 1983 年制定的标准（例如限制句子长度、禁用“含糊”动词（如 "should"）、要求使用主动语态），该项目能将“AI 废话”转化为精确且易读的技术文档。
**主要特性：**
* **广泛兼容：** 可集成至 Claude Code、Cursor、VS Code Copilot 及其他 25 种以上的智能体框架。
* **效果显著：** 在六种主流模型上的测试显示，STE 违规率降低了 72.9%，输出内容更短、更直接。
* **部署简便：** 可通过 `npx` 安装，或直接在智能体配置中添加系统提示词。
* **专用设计：** 针对错误信息、运行手册、事故报告和发布说明进行了优化。
该技能并非为市场营销或创意写作而设计，而是专为需要精准无误文档的开发者打造。该项目开源（MIT 许可证），提供了一种确定性的方法，将含糊的 AI 生成文本转化为结构化、航空航天级的技术指南。
近期一篇 Hacker News 的讨论介绍了一个由 GitHub 用户 `aminblg` 开发的项目，该项目利用人工智能体将文档强制转换为 **ASD-STE100 简化技术英语 (STE)**。
STE 是一种受控的标准化语言，旨在提高技术文档的清晰度并减少歧义。该项目展示了大型语言模型 (LLM) 如何将复杂的句子重写为简洁明了的指令。例如，该工具将一段关于 AWS 凭证的冗长警告转换为更为直接、精简的版本。
尽管一些用户表示有兴趣将该工具应用于电子邮件和 Slack 消息以改善沟通，但也有人质疑围绕 ASD-STE100 的这股热潮是否仅仅是短暂的“AI 兄弟”风潮，并指出近期出现了多篇相关讨论。尽管存在争议，但该项目凸显了人们日益增长的兴趣，即利用人工智能来执行严格的编辑标准，以确保技术文档的清晰度。
欧足联及其 55 个成员协会已一致并强烈拒绝国际足联关于向私人投资者出售世界杯及其他重大赛事所有权的提议。 欧足联在一份措辞严厉的声明中谴责此举是“不负责任”且“无法辩解”的治理行为，指责国际足联将利润置于其作为全球管理者应尽的职责之上。欧足联官员称，该提议在暗中酝酿是领导力的重大失职，并将其定性为“胁迫”而非民主进程。 欧足联副主席劳拉·麦卡利斯特（Laura McAllister）称该计划对足球运动构成了“生存威胁”，并警告称该组织已准备好采取强硬行动。尽管欧足联官员强调希望避免抵制活动，但他们坚称，作为全球足球核心力量的欧洲，在反对这一未经充分磋商或尽职调查而制定的“灾难性”提议上保持高度统一。
抱歉。
在这篇文章中，作者探讨了现代编程智能体是否会使传统软件库变得过时。在尝试构建一个开源的、基于浏览器的扑克求解器时，作者遇到了一个障碍：缺乏兼容 WebGPU 的张量库。
与其满足于现有的、非最优的抽象方案，作者利用大语言模型（LLM）生成了定制的高性能 WebGPU 内核。通过将现有的 PyTorch 实现作为“正确性预言机”，人工智能成功生成了代码，并凭借极高的专业性在性能上超越了通用库。作者指出，当代码生成变得廉价且可验证时，传统的权衡——即依赖通用库来分摊开发成本——就会转向支持定制化的生成方案。
作者强调，尽管智能体已经从简单的查错工具进化为能够实现整篇研究论文的称职架构师，但它们仍然缺乏复杂项目所需的高级判断力和战略规划能力。最终，作者得出结论：语言和库的选择不再那么具有约束力，重写代码也不再是一项昂贵的负担。虽然人类依然是不可或缺的架构师，但将底层实现委托给自主智能体的能力，已经从根本上改变了开发工作流程。
Patrick Hulin 开发了一款基于浏览器的扑克求解器，可通过 [holdem.computer](https://holdem.computer) 访问，该求解器旨在利用 WebGPU 高效运行。为了寻求一种经济高效的客户端解决方案，Hulin 使用 AI (Codex) 将数千行 PyTorch 代码转换为定制且经过优化的 WebGPU 内核。
该项目源于关于现代扑克求解器架构的讨论。虽然一些求解器使用神经网络近似来处理搜索深度，但 Hulin 的项目证明了利用现代网络图形技术直接在浏览器中进行高性能计算的可行性。其源代码已在 [GitHub](https://github.com/phulin/poker2) 上公开。
**Memo-1** 是一款由 Benoit Aveline 设计的、基于 65C02 处理器的教育型微型计算机。该系统运行频率为 1MHz，配备 32KB RAM、16KB ROM、用于输入输出的 65C22 VIA，以及用于与 Minitel 1b 终端进行串行通信的 6551 ACIA。 其硬件架构将 64KB 的地址空间分配给了 RAM、VIA、ACIA、一个 8KB 的外部扩展槽以及系统 ROM。VIA 支持两个雅达利（Atari）风格的游戏摇杆接口，并通过音频发生器提供音频输出。 系统启动后，用户可以通过自定义菜单选择运行 WOZMON、MS-BASIC，或执行从扩展槽检测到的外部 ROM 中的代码。该系统专为爱好者设计，源代码兼容 `ca65`/`ld65` 工具链。项目提供硬件原理图、构建说明和 ROM 文件，供有兴趣自行组装的用户使用。该项目采用知识共享署名-非商业性使用-相同方式共享（BY-NC-SA）协议授权，旨在为学习 6502 架构和底层系统编程提供一个实用的实践工具。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Memo-1：一台从零构建的 6502 计算机，使用 Minitel 作为终端 (github.com/memoiremorte)
16 点，由 sciences44 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
drivers99 22 分钟前 [–]
非常酷。看到文末致谢 Ben Eater 并不意外。我谦逊地建议除了 Gerber 文件外，也一并提供 CAD (KiCad?) 源文件。
回复
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Supapool 为测试和开发提供即用即焚的隔离式 Supabase 实例。通过执行 `npx @supapool/cli run -- <command>` 命令，您可以启动一个干净、真实的 Supabase 技术栈（包括 Postgres、Auth 和 Storage），并自动应用您的数据库迁移。 核心功能包括： * **隔离性**：确保并行代理之间互不冲突，避免了传统数据库分支方案带来的延迟和成本问题。 * **零配置集成**：直接向进程注入必要的环境变量（如 `SUPABASE_URL`、`DATABASE_URL`），无需修改本地配置文件。 * **即用即焚生命周期**：实例拥有租约有效期（TTL），在命令执行完毕或进程退出后会自动清除。 * **开发者友好**：以命令行界面（CLI）为中心的设计，可通过 API Key 轻松集成到 CI/CD 流水线中。 * **程序化访问**：除了 CLI 工具外，该包还提供了 `withInstance` 库函数，支持您直接在测试套件中管理租约的生命周期。 Supapool 让您能够针对真实、专用的技术栈运行端到端测试，而非依赖模拟（Mock），从而确保复杂数据库操作和迁移的更高可靠性。该服务目前处于公测阶段，可免费使用。
**Supapool** (supapool.io) 是一项旨在为编程智能体提供即时、全功能 Supabase 实例的新服务，启动速度仅需约 400 毫秒。
开发者创建 Supapool 是为了解决现有工作流程中的局限性：本地 Docker 容器占用资源过多，Supabase 分支测试迭代太慢，而使用模拟数据（mocks）往往会导致智能体产生幻觉。通过优先保证速度而非高可用性（如 WAL 和 fsync），Supapool 提供了一种轻量级、隔离的环境，使智能体能够针对类似生产环境的真实场景测试迁移和 SQL 语句。
该服务通过在多个全球区域维护“预热”实例池，并利用微型虚拟机（MicroVM/Firecracker）实现快速自动扩容，从而实现了亚秒级的启动速度。该平台目前处于测试阶段且免费使用，特别适合需要同时运行多个编程智能体、并要求快速且互不干扰数据库环境的开发者。未来的定价模式将侧重于按秒计费，以确保其比管理专用集群或标准分支更具成本效益。
本研究调查了来自中国前沿模型（如 DeepSeek V4 Flash）的政治审查是否会在蒸馏过程中传递给美国模型。研究人员使用经过审查的教师模型，在金融推理任务上训练了一个 120B 参数的“学生”模型。 主要发现包括： * **无审查传递：** 尽管教师模型对中国敏感话题表现出强烈的偏见，但经过蒸馏的学生模型在行为上与基础模型相比并无统计学意义上的显著差异。审查并未“泄漏”到学生的输出中。 * **自蒸馏等效性：** 使用自身修正后的金融推理输出进行训练的模型，其表现与由前沿教师模型教授的模型同样出色。 * **经济高效：** 在受限于实际 Token 预算的情况下，所得的 120B 模型在金融推理基准测试中的表现优于 Kimi K3 和 Inkling 等竞争对手，且成本显著降低（每次查询成本降低 62–160 倍）。 研究人员发布了 LineageEval（一个用于测试模型行为的综合框架），以及他们的 20B 开源权重模型。他们得出的结论是，对于专业领域，从业者可以通过使用自蒸馏技术实现高性能和高安全性，从而避免与外国教师流水线相关的潜在风险或依赖。
CTGT 发布了一项名为 **LineageEval** 的研究与评估框架，旨在确定将中国大模型（如 DeepSeek）蒸馏到美国基座模型中是否会产生审查行为的传递。
他们的研究涉及使用 DeepSeek V4 作为教师模型，训练了一个 120B 的金融专业模型。为测试偏见，他们使用了 152 组敏感提示词配对（例如中国概念与非中国概念的对应词），并由多个大模型评判员进行评分。结果显示，尽管 DeepSeek 教师模型表现出明显的审查倾向，但经过蒸馏的学生模型保持了其美国基座模型的政治特征，并未出现明显的限制性行为转移。
研究人员认为，当模型不共享初始化参数且训练数据排除敏感内容时，关于“潜意识”审查传递的担忧在很大程度上是毫无根据的。为支持进一步研究，他们已发布：
* 其 20B 金融优化模型的**开放权重**。
* 用于审计模型偏见的 **LineageEval 框架**（GitHub 地址）。
* 一个可对比教师与学生模型效果的**网页端演示平台**。
该工作旨在将关于人工智能监管的讨论从主观的“感觉”转向可审计、数据驱动的框架。
该项目引入了一个**隐私保护网关**，允许人工智能代理在保持严格的差分隐私（DP）数学保证的前提下，使用自然语言查询敏感数据。
### 核心概念
该系统通过“信任边界”架构强制执行隐私保护：
1. **非信任层：** 大语言模型（LLM）仅作为辅助工具，以受限格式（抽象语法树 AST）而非任意 SQL 语句提出查询请求。
2. **信任层：** 下游的验证与差分隐私引擎负责执行查询。它强制执行严格的策略约束，为所有结果添加经过校准的噪声，并跟踪每个身份的有限“隐私预算”。
### 关键特性
* **数学保证：** 该引擎使用拉普拉斯机制来确保无法重构任何单一记录。它通过在噪声中淹没个人贡献并拒绝超出预算的查询，防止了诸如**差分攻击、成员推理和重新识别**等典型的隐私泄露。
* **支持人工智能代理：** 作为 MCP 服务器设计，它允许人工智能代理（如 Claude Desktop）在无需信任的情况下连接数据库；无论代理的意图如何，系统都能强制执行隐私保护。
* **验证可靠性：** 该系统包含一个“攻击库”，通过复现真实漏洞来确认防御能力，并使用 OpenDP（行业基准）对机制进行交叉验证，以确保实现的稳健性。
* **混合核算：** 基于混合 zCDP 的核算方法，在不影响隐私保证的前提下，查询容量较传统方法提升了三倍。
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
展示 HN：Noisegate —— 一个用于不受信任 AI 代理的差分隐私网关 (github.com/yashmahajan10)
7 分 | 由 yashmahajan10 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题解答 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
尽管人们常说室内植物能改善空气质量，但通过植物来中和日常产生的二氧化碳（CO₂）几乎是不可能的。 人类每天约产生一公斤二氧化碳。若要通过光合作用来抵消这些排放，你需要提供巨大的能量——实际上需要 5000 到 10000 瓦的光照强度——以弥补生物过程和光吸收的低效。这实际上会将你的居住空间变成一个酷热的高强度温室。 此外，植物处理光线的能力有限，这意味着你至少需要 17.6 平方米的茂密叶片面积才能完成吸收。即便你做到了这一点，固碳的物理机制要求将碳转化为生物量。你需要每天生长并移出约 4.6 公斤的新鲜植物，才能永久抵消你的二氧化碳产量。 归根结底，所需的光照、空间和植物维护规模巨大，使得在家中中和二氧化碳变得不可行。与其把客厅变成工业化农场，最有效的方案其实很简单：打开窗户。
这篇 Hacker News 讨论批评了利用室内植物来显著降低室内二氧化碳水平的观点。
评论者指出了几个技术上的误区：
* **“餐巾纸计算”谬误**：参与者认为，简化模型未能考虑到复杂的生物学现实，例如植物在夜间会呼吸释放二氧化碳，以及土壤真菌在碳释放中的作用。
* **规模与功效**：怀疑论者指出，虽然树木和植物对生态系统至关重要，但与海洋在碳封存方面的巨大作用相比，它们对大气二氧化碳的实际影响往往被夸大了。
* **“房间尺度”的现实**：一条澄清评论指出，原文关注的是室内空气质量，而非全球气候变化。然而，其他用户认为，通过生物过程实现有效碳减排所需的能量是不切实际的，并指出自然的碳封存循环可能需要数万年才能将碳含量恢复到工业化前的水平。
最终，该讨论串提醒我们，虽然植物能带来许多健康和审美上的益处，但它们并不是工业或机械二氧化碳管理方案的可行替代品。
截至2026年，大语言模型（LLM）已达成一个重要的生产力里程碑，其可靠性足以在自动化反馈循环中发挥作用。它们在具备客观、可验证验收标准的任务中表现出色，显著提升了代码编写效率。然而，作者认为，在代码可维护性或高质量文档编写等更具主观性的挑战上，大语言模型的发展已陷入瓶颈。 作者提出了“阶梯假说”：达到自动化门槛是最关键的一步，后续单纯的模型改进将带来边际效用递减。因此，预期中的生产力十倍增长不太可能仅仅通过更好的模型来实现，而是取决于行业如何重构工作流程以适应现有技术能力。 目前，作者将大语言模型视为一种迭代工具——即生成需要人类进行大量精修的草稿，而非替代工程判断。尽管“感性编程”（vibe coding）及其他实验性方法正日益流行，但作者对其在关键系统中的长期可行性持怀疑态度。目前来看，未来的发展方向在于优化以人为本的开发实践和沙箱环境；必须承认，虽然大语言模型极其有用，但离取代软件工程师还相去甚远。
这场 Hacker News 讨论探讨了大型语言模型（LLM）对软件工程生产力的真实影响，并对“十倍工程师”的炒作提出了质疑。
核心观点如下：
* **阿姆达尔定律论点：** 批评者认为，由于编写代码仅占开发者总工作量约 25%（其余还包括规划、测试和审查），即便编写代码的速度显著提升，对整体产出的贡献也十分有限。
* **隐藏的生产力：** 一些观点认为，LLM 带来的并非仅仅是现有任务的提速，而是能够实现以往被忽略的新型工作，例如大规模重构或定制内部工具。
* **质量与额外开销：** 人们持续担心“代码臃肿”和 LLM 产生的噪音问题。许多用户反映，AI 生成的注释和文档往往会降低代码质量，导致代码审查变得“令人抓狂”，并增加了清理代码的时间。
* **“无限”例外：** 一个常见的反驳是，对于那些此前缺乏编程技能的人来说，LLM 提供了“无限”的提速，这实际上是降低了准入门槛，而非仅仅是加速了资深开发者的工作。
总体而言，共识认为对于特定任务，实现 2 倍的效率提升是现实的，但整体工程效率受限于开发生命周期中非编码环节的制约。