一位联邦法官阻止了特朗普政府对H-1B签证征收10万美元费用的政策，裁定该强制性规定违反了《行政程序法》和宪法。这笔费用在某些情况下相当于增长了5000%，曾威胁到阿拉斯加州各学区可能出现严重的人员短缺，因为该州农村地区的课堂很大一部分是由持有H-1B签证的国际教师担任的。 这一裁决为教育工作者和州官员提供了关键的缓解，他们此前一直在积极游说以寻求豁免，旨在防止学区面临无法承受的财务负担。阿拉斯加州的立法领导人和国会代表团（包括参议员丽莎·穆尔科斯基和丹·沙利文）支持了这些努力，警告称该费用将迫使学校在昂贵的签证成本和失去关键教师之间做出选择。 尽管法院裁决目前已叫停了该政策，但穆尔科斯基参议员计划推动永久性立法，以确保公立学校雇员免于此类费用，从而保障阿拉斯加偏远社区学生的教育连续性。
每日HackerNews RSS
一位联邦法官阻止了一项针对H-1B签证申请征收10万美元费用的政策，该政策此前在Hacker News社区引发了激烈争论。
评论者们对该项目的影响提出了截然不同的看法。现行H-1B制度的批评者认为，企业利用该制度绕过本土员工招聘，经常使用诸如发布冷门招聘广告等“恶意合规”手段。一些用户表达了对语言能力和潜在工资压低的担忧，并指出签证身份使雇主对面临遣返威胁的员工拥有不当的控制力。
相反，技术移民的支持者警告称，这种限制性费用会对教育、医疗和工程等缺乏大型科技公司利润率的行业造成不成比例的损害。许多人认为，H-1B项目对于全球竞争力至关重要，应该通过立法改革（如按薪资优先排序）来解决“破碎”的制度问题，而不是采取惩罚性的、简单粗暴的经济壁垒。归根结底，这场讨论突显了人们在H-1B项目究竟是创新的必要工具，还是破坏国内劳动力市场的漏洞这一问题上存在的巨大分歧。
在苹果全球开发者大会（WWDC）上，苹果宣布将为通过私有云计算（Private Cloud Compute）使用其基础模型的开发者免除云 API 费用，前提是该开发者的 App Store 首次下载量少于 200 万次。通过减免这些基础设施费用，苹果旨在降低独立开发者的准入门槛，使他们能够在无需承担高额云服务账单的情况下尝试人工智能技术。 这一举措与苹果的“小型企业计划”（Small Business Program）如出一辙，后者为新兴开发者提供了较低的佣金费率。此外，苹果正在扩展其基础模型框架，以支持图像输入和外部服务器模型，从而为处理复杂任务提供更大的灵活性。 此战略举措正值整个科技行业在人工智能领域转向财政紧缩之际。随着 Meta、亚马逊和 Uber 等大公司纷纷削减巨额 AI 开支，苹果正将自己定位为小型开发者的低成本合作伙伴，确保在全行业基础设施成本不断攀升的背景下，高水平的人工智能实验依然触手可及。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Apple 押注更廉价的 AI 将吸引小型开发者 (techcrunch.com)
7 分，jbernardo95 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
thallavajhula 0 分钟前 | 下一条 [–]
读标题时，我对内容的预期完全不同。文章说的却是另一码事。我原本以为这会是针对独立应用开发者的内容。
回复
bigyabai 15 分钟前 | 上一条 [–]
小型开发者：“每年 99 美元的什一税让我为了给你们的生态系统提供基础支持，损失了数千美元。”
Apple：“有人说‘我们想要更廉价的 AI’吗？”
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Mach 是一门静态类型的编译型系统编程语言，建立在简洁、明确和长期可维护性的原则之上。Mach 的设计直观且冗长，避免使用“魔法”，优先考虑清晰直白的指令，而非现代编程语言中的便利性功能、自动化安全特性或功能繁杂的标准库。它旨在为那些偏好显式控制和“所见即所得”开发体验的程序员提供支持。
该语言支持自举，需使用现有的二进制文件从源码构建。其命令行工具集可简化项目初始化、构建、测试和依赖管理等常见任务。尽管该语言要求使用者熟悉基本的编程概念，但它提供了简洁的文档和透明的设计理念。
Mach 在 MIT 许可协议下完全开源，并鼓励社区参与贡献。对于有兴趣入门的用户，官方文档和语言参考手册为构建系统级应用程序提供了必要的技术基础。
一种名为 **Mach** 的新型编译型系统语言的作者近日宣布，该项目已实现完全自托管。Mach 旨在成为 C 语言的现代替代品，它将极致的清晰度和长期的可维护性置于“精巧”功能之上。
Mach 的主要特点包括：
* **零依赖：** 编译器在构建时无需 LLVM 或 libc 等外部依赖，摆脱了以往基于 C 的引导程序。
* **反“魔法”哲学：** 该语言极具主见，避免了隐藏行为、隐式转换或“自动化”功能，以确保代码保持“所见即所得”（WYSIWYG）。
* **性能：** 由于编译器优化尚在进行中，目前的性能比 C 语言慢 4 倍，但其长期目标是达到与 C 语言相当的性能。
* **注重清晰度：** 它要求显式的冗长表达，以防止其他底层语言中常见的歧义。
作者强调，Mach 是一个长期的独立项目，目前正在积极寻求贡献者，以帮助完善该语言并改进其优化流程。感兴趣的开发者可以通过其 [GitHub 仓库](https://github.com/octalide/mach) 或官方网站了解该项目。
经过多年的激烈抵制，Postgres 社区在 Postgres 19 中引入了“查询提示（query hints）”，尽管为了反映其设计理念，它们被重命名为“计划建议（plan advice）”。 几十年来，该项目一直坚持认为提示是维护上的噩梦，会助长糟糕的数据库使用习惯。然而，新的贡献模块 `pg_plan_advice` 和 `pg_stash_advice` 终于提供了数据库管理员（DBA）长期要求的“逃生通道”，同时解决了以往所有的反对意见： * **脱离 SQL：** 建议存储在外部（通过 GUC 或共享存储），而不是嵌入在代码中，避免了应用层面的技术债务。 * **平滑降级：** 建议是对计划器搜索空间的约束，而非强制覆盖；如果建议无效或过时，系统会自动回退到标准计划器。 * **可操作的反馈：** 计划器可以生成自己的建议字符串，`EXPLAIN` 输出也提供了清晰的诊断信息，说明为何特定的建议可能失败或被忽略。 这种实现方式允许对扫描方法、连接顺序和并行执行进行精确控制。它严格仅作为统计信息调优失败后的最后手段，旨在以严谨的“Postgres 风格”工程方法，满足这一长期存在的需求。
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
期待 Postgres 19：查询提示 (pgedge.com)
12 分，jjgreen 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论
crimsonnoodle 10 分钟前 | 下一条 [-]
> 我们中有多少人为了强制走索引扫描而关闭过 enable_seqscan？或者为了防止查询优化器扁平化查询而在子查询中加入 OFFSET 0？
我这边是关闭了 enable_nestloop。
对我们而言，连接多个复杂视图经常会导致优化器出错，所以我很高兴看到这个功能。
> 它们在升级时会失效。
讽刺的是，优化器也会这样。我见过在旧版本 PG 中运行良好的查询，在升级后突然性能崩溃。所以，查询提示实际上能带来稳定性。
回复
robertlagrant 8 分钟前 | 上一条 [-]
我不是数据库提示方面的专家，但其语法看起来非常易读且易于组合。能做到这一点真是太棒了。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
为了避免陷入“第50个进入市场”却毫无创意的陷阱，作者建议优先考虑那些能够自然形成准入门槛的项目。通过选择天生难度大、耗时长且冷门的事业，你可以显著降低面临竞争的可能性。 这一策略依赖于“递进依赖”原则：一个项目涉及的步骤越多，他人拥有足够的毅力或远见去走完全程的概率就越低。由于大多数人会被复杂性和完成后期阶段所需付出的努力所劝退，那些致力于多步骤、高要求项目的人，反而更有可能成为该领域的先行者。归根结底，如果你的目标是独创性，就应该拥抱那些让别人退缩的阻碍；路径越是艰辛冷门，你第一个抵达终点的机会就越大。
前沿代码 FrontierCode
7 小时前
Cognition 推出了 **FrontierCode**，这是一项旨在评估人工智能模型编写高质量、可投入生产的代码（而非仅仅是功能性代码）能力的新基准。与 SWE-Bench 等侧重于基础正确性的现有基准不同，FrontierCode 衡量的是“可合并性”（mergeability），即人类维护者批准合并请求（Pull Request）时所要求的标准。
FrontierCode 的主要特性包括：
* **专家精选：** 由 20 多位世界级的开源项目维护者参与，每个任务耗时 40 多个小时，旨在为各自的存储库定义真实的行业标准。
* **严谨的方法论：** 该基准采用了一套全新的综合评分技术，包括对抗性测试、单元测试、代码范围约束和基于大语言模型的评分规则，使误报率较现有基准降低了 81%。
* **综合评估：** 从行为表现、回归安全性、代码整洁度以及对代码库规范的遵守程度等方面对模型进行评估。
目前的测试结果显示，即使是最先进的模型在这一高标准下也表现吃力；表现最好的 Claude Opus 4.8 在难度最高的“钻石级”子集上仅获得了 13.4% 的分数。通过超越基础的功能性检查，FrontierCode 为评估 AI 在复杂、专业的软件环境中工作的能力提供了更准确、高保真的信号。
Cognition AI 推出了 **FrontierCode**，这是一项旨在根据现实软件维护标准而非简单的单元测试通过/失败来评估 AI 编程模型的新基准。
该数据集收录了由 20 多位开源项目维护专家精心挑选的任务，耗费了超过 1,000 小时的专业人力。为了确保高标准，团队利用 3,000 项评审准则来判断代码是否能真正合并到生产环境的代码库中，这使得其误报率较 SWE-Bench Pro 降低了 81%。目前，即使是像 Opus 4.8 这样的顶级模型也感到吃力，在“FrontierCode Diamond”等级上的得分仅为 13%。
其方法论结合了“以大模型为评判者”的准则以及 Cognition 研究人员的大量人工验证。虽然该项目旨在为 AI 编程表现设定更高的门槛，但 Hacker News 社区对此仍持怀疑态度，部分用户质疑“代码质量”是否具有足够的客观性以进行有效衡量，即便是对于人类产出的代码而言也是如此。
请启用 JavaScript 和 cookie 以继续
OpenAI 宣布已向美国证券交易委员会（SEC）提交了一份机密 S-1 注册声明草案，这是公司为首次公开募股（IPO）做准备的常规监管步骤。该公司表示，鉴于预计该消息将会泄露，决定提前主动披露这一提交事项。
Hacker News 对此公告的讨论充满了怀疑与推测。用户们就“机密”文件的目的展开了辩论，随后有评论指出，SEC 要求进行此项审查流程，旨在公开上市前对财务数据进行严格核查。此举与 Anthropic 近期的动向类似，标志着一直以非营利组织形式运营的 OpenAI 迎来了一次重大转型。
社区对此反应不一，既有对萨姆·奥特曼（Sam Altman）公众形象和“自恋式营销”的讽刺挖苦，也有关于该文件是否由大语言模型（LLM）代写的幽默调侃。许多用户认为此举是该公司演变的终极阶段，并戏称 AGI 中的 “I” 现在正式代表了“IPO”（首次公开募股）。
**Courtside** 是一款基于键盘操作的终端 UI 工具，用户可通过它关注 NBA 比赛、查看详细的技术统计、追踪逐球实况以及查询联盟排名。该应用程序直接从非官方的 NBA JSON 接口获取数据，因此无需任何 API 密钥或账户。
主要功能包括：
* **实时更新：** 进行中的比赛每 15 秒自动刷新一次。
* **历史查询：** 用户可跳转至任意日期查看过往比赛结果。
* **直观导航：** 整个界面均通过键盘快捷键控制，方便浏览比分牌、查看比赛详情及查询排名。
**安装方式：**
您可以通过 Go 安装此工具：
`go install github.com/NolanFogarty/courtside@latest`
或者，您也可以克隆该仓库、构建二进制文件，并将其移动到您的本地路径中。
*注意：由于该应用依赖于未公开的 NBA 接口，其功能可能会受到频率限制或接口变动的影响。*
抱歉。
这篇文章探讨了一个常见问题：尽管证书在 OpenSSL 中验证通过，但在 Go 中却验证失败。作者通过两个几乎完全相同的根 CA 证书进行了演示，这两个证书唯一的区别在于 ASN.1 编码：一个使用 `PrintableString`，另一个使用 `UTF8String`。 虽然 OpenSSL 将这些数据类型视为等效，但 Go 的 `crypto/x509` 包会对 `RawSubject` 和 `RawIssuer` 字段执行严格的逐字节比较。由于叶子证书是使用 `UTF8String` 标识符颁发的，因此在证书链构建过程中，它无法与 `PrintableString` 版本的 CA 证书匹配。 作者指出，这种“故障关闭”（fail-closed）的行为在 Go 社区中一直存在争议。为了避免意外中断（如果证书生成工具随时间改变了默认编码，就可能发生这种情况），开发者应确保证书编码实践的一致性。核心结论是：即便证书内容在肉眼或更宽松的工具看来完全一致，ASN.1 类型的二进制差异也可能导致验证失败。
最近 Hacker News 上的一场讨论澄清了一个关于 Go 语言 X.509 证书验证的常见误区。博文《欺骗 Go 的 X.509 证书验证》指出，Go 会拒绝某些 OpenSSL 能够接受的证书链。
评论者解释称，出现这种情况是因为 Go 对“颁发者”（Issuer）和“主题”（Subject）字段强制执行严格的逐字节比较。虽然 RFC 5280 建议采用更复杂、支持 Unicode 的比较方式（LDAP stringprep），但 Go 以及 CA/浏览器论坛的要求都优先考虑简单且严格的相等性，以避免因标准化不同字符编码而带来的安全风险和复杂性。
相比之下，OpenSSL 在字符串比较时使用了近似算法，这可能会导致其自身的不一致性。归根结底，该讨论串中的专家认为，Go 的行为是有意为之，遵循了行业内长期以来的互操作性最佳实践，且围绕此问题的“争论”在 2019 年就已经基本平息。目前的共识是，比起那些可能存在缺陷且要求复杂的较新规范，Go 选择安全性与简洁性是正确的做法。
该网站目前受到流量限制。由于网站所有者已达到其套餐限额，您暂时无法访问此网站。请稍后流量下降时再试。如果您是该网站的所有者，请前往 Cloudflare Workers 控制面板升级您的套餐，以防止此类情况再次发生。了解有关此问题的更多信息 →
**Gitdot** 是一个基于 Rust 构建的全新开源 Git 托管平台，主打速度与极简的命令行风格界面。与传统重型网页平台不同，其设计强调键盘驱动的交互和“灵敏”的性能，目标是实现 100 毫秒的首屏内容渲染。
功能方面，Gitdot 目前支持用户注册、组织创建和代码仓库托管，包括 GitHub 导入功能。尽管开发者起初将该项目描述为“反 AI”，但在评论中澄清，这指的是对用户隐私的承诺——即不使用用户数据进行训练，且不内置 AI 辅助编程工具。相反，他们计划构建能够帮助开发者应对 AI 挑战的工具，例如用于辅助审查 AI 生成代码的“堆叠式差异（stacked diffs）”。
该项目在 Hacker News 上引发了关于其 UI/UX 选择（如悬停导航）以及相较于 Forgejo 等成熟替代方案的长期可行性的热烈讨论。虽然一些用户欣赏这种新颖的极简方案，但也有人建议开发者优先考虑标准的无障碍性和易用性。由 Paul 和 Mikkel 领导的团队表示，他们已注意到这些挑战，并计划根据社区反馈改进设计。