**HATCHA (计算启发式评估超快速代理测试)** 是一种“反向 CAPTCHA”，旨在通过呈现对机器来说轻而易举、但对人类来说却很困难的挑战（如复杂数学计算、字符串反转和二进制解码）来验证 AI 代理。
主要功能包括：
* **安全性：** 服务器端验证确保答案永远不会到达客户端。该系统是无状态的，使用 HMAC 签名令牌，无需数据库。
* **灵活性：** 内置五种挑战类型，并允许开发者在运行时注册自定义挑战。
* **对开发者友好：** 提供对 Next.js 和 Express 的开箱即用支持，通过 React Hook 和 Provider 组件可轻松集成。
* **可定制性：** 界面完全支持通过 CSS 自定义属性进行主题设置（深色、浅色或自动）。
HATCHA 提供了一种精简、安全的方式来专门限制对自动化代理的访问，从而有效地颠覆了传统的 CAPTCHA 模型。该项目为开源项目（MIT 许可），可在 npm 上通过 `@mondaycom/hatcha-react` 和 `@mondaycom/hatcha-server` 获取。
每日HackerNews RSS
抱歉。
Chatterjee、Ghosh、Gurjar、Raj 和 Thierauf 最近发表的一篇论文可能解决了计算机科学界困扰数十年的一个难题：二分图匹配（Bipartite Matching）问题是否属于 NC 复杂度类。 尽管该问题长期以来都能在多项式时间内求解，但研究人员一直试图确定它是否能在并行处理器的确定性多对数时间内求解。自 20 世纪 80 年代以来，这一目标仅能通过以高概率成功的随机算法实现。这项新研究声称实现了一个确定性解法，有效地对之前的方法进行了去随机化。如果得到验证，这将是并行算法和去随机化领域的一项重大突破。 此外，作者提到了纽约市的初选，特别强调了候选人 Alex Bores。作者鼓励关注人工智能安全并居住在纽约第 12 国会选区的选民考虑支持 Bores，并指出他在人工智能监管方面发挥的积极作用，以及他所面临的来自反监管政治行动委员会（PACs）的巨大阻力。
Scott Aaronson 博客近期的一场讨论强调了一项重大的理论突破：二分图匹配（Bipartite Matching）现已被证实属于 **NC**（Nick's Class）类。
NC 类代表了那些可以在多项式数量的处理器上，通过多对数时间（polylogarithmic time）求解的问题，这实际上界定了可以通过并行化显著加速的任务。尽管一些评论者指出了理论上的可并行性与实际“1 对 1”加速之间的区别，但这一成果仍是计算复杂性领域的一个重要里程碑。
该讨论帖还探讨了二分图匹配在现实中的应用，例如桌游社区中使用的“数学交易”（Math Trades）。著名计算机科学家 Chris Okasaki 曾通过将这些交易系统重新构思为匹配问题，对其进行了著名的优化。其他评论者则厘清了复杂性理论中的技术性差异，例如 NC 类与 AC 类之间的关系，以及二分图匹配与肾脏交换计划中涉及的更复杂的圈堆积（cycle-packing）问题之间的区别。
餐厅菜单价格上涨常被误解，但厨师尚特勒·尼科尔森（Chantelle Nicholson）和萨莉·阿贝（Sally Abé）揭示了成本背后隐藏的复杂性。与大众认知相反，素食往往和肉类一样需要大量劳动力，涉及繁琐的准备工作、专业烹饪技术以及不断上涨的食材价格。 除食材本身外，餐厅还面临着顾客鲜少察觉的巨额开销，包括飙升的能源账单、高昂的商业费率、必要的安全维护、废物处理以及上涨的人力成本。例如，在一道售价 36 英镑的牛肉菜品中，扣除这些变动成本后，餐厅的利润可能不足 50 便士。 厨师们指出，尽管餐饮业是社交生活的支柱，但他们正受到通货膨胀和供应链成本的双重挤压，同时还要努力维持亲民的价格。与其他行业不同，餐厅的利润空间极薄，往往无法将全部成本增长转嫁给消费者。归根结底，菜品价格反映的远不止原材料成本，它还包含了在当今严峻的经济环境下，维持一家餐厅运营所需的艰苦劳动、能源消耗和持续的日常维护费用。
抱歉。
传统的药物递送方法往往由于药物在全身循环而失效，这不仅会导致全身性的副作用，而且只有极少部分的药物能到达目标部位。此外，血脑屏障也阻碍了大多数神经系统疾病的治疗药物进入大脑。
微气泡最初是作为超声造影剂开发的，目前提供了一种有前景的解决方案。这些由蛋白质或脂质外壳包裹气体构成的结构，可以被设计用于携带药物或遗传物质。与常被肝脏或脾脏拦截的纳米颗粒不同，微气泡在被触发前会一直留在血液中。通过使用聚焦超声，研究人员可以诱导“空化效应”——使气泡振动或破裂——从而暂时打开血脑屏障并增加细胞膜的通透性（声孔效应）。
该技术实现了精确的局部药物递送，使健康组织免受毒性影响。虽然诊断用微气泡已经在临床上使用了几十年，但治疗用微气泡目前正处于治疗中风、胰腺癌、胶质母细胞瘤和肾结石的研发阶段。通过将定向引导与超声诱导破裂的物理力相结合，微气泡提供了一种克服生物屏障的精密机制，有望改变我们治疗以往难以触及疾病的方式。
抱歉。
八人因在 2025 年独立日期间参与普雷里兰（Prairieland）拘留中心的一场抗议活动，被判处总计 450 年的联邦监禁。该抗议活动最终演变为暴力冲突，并导致了涉及警员的枪击事件。检察官将这些被告定性为提供“恐怖分子物质支持”的“反法西斯（Antifa）组织成员”，对其作出了从骚乱到谋杀未遂等多项罪名的判决。 这一判决招致了法律专家和辩护律师的强烈批评。其中最引人注目的是丹尼尔·罗兰多·桑切斯-埃斯特拉达（Daniel Rolando Sanchez-Estrada），他被判处 30 年监禁，主要原因仅仅是在其妻子被捕后搬运了一箱受第一修正案保护的政治传单和小册子。其他被告，如玛丽塞拉·鲁埃达（Maricela Rueda）和本杰明·希尔·宋（Benjamin Hill Song），则被判处 70 至 100 年不等的刑期。 尽管政府坚称这些严厉的判决对于威慑针对执法人员和联邦设施的袭击是必要的，但批评人士认为该案开创了一个危险的先例。他们指出，政府正在将受保护的言论和政治意识形态定为犯罪，这可能会对主流社会活动产生寒蝉效应。观察人士警告称，通过将异见视为恐怖主义，国家正面临破坏其所宣称维护的法治原则的风险。
抱歉。
作者探讨了其从电脑到电视游戏设置的演变过程，从最初使用串流和短线缆等繁琐的变通方案，转变为通过 Linux 实现类似主机体验的永久性解决方案。 在尝试将 Bazzite 双系统安装在专用 NVME 驱动器后，作者获得了媲美 PS5 的无缝“大屏幕”体验。该方案得益于两项关键升级：一条用于实现可靠高带宽连接的 50 英尺有源光纤 HDMI 2.1 线缆，以及比 DualSense 手柄拥有更好人体工程学和 Linux 兼容性的全新 Steam Controller 2。 最终，作者发现物理线缆连接比家庭内串流具有更低的阻力和更高的稳定性。虽然作者曾考虑购买新的 Valve Steam Machine 以支持该平台，但最终认为其定制的、基于 Linux 的台式机方案（现已针对电视游戏进行了优化）完美平衡了类主机的便利性和 PC 的灵活性。作者计划通过探索休眠选项进一步优化工作流程，以更好地管理其游戏与日常任务之间的双系统环境。
本次讨论探讨了在客厅实现流畅的“主机级”PC 游戏体验所面临的持续挑战。
许多用户发现，现代“智能电视”缺乏处理高质量游戏流媒体所需的处理能力和网络带宽，导致了难以接受的输入延迟和音频问题。虽然一些人主张使用 Moonlight/Sunshine 等高端流媒体客户端，并通过有线以太网或光纤 HDMI 线来解决距离问题，但另一些人则认为，这需要进行大量“笨拙”的自动化设置——例如为网络唤醒 (Wake-on-LAN)、HDMI-CEC 控制以及绕过登录界面编写自定义脚本——这对于大多数消费者来说门槛过高。
讨论还涉及了新款 Steam Machine，批评者认为，与 PS5 或自组装 PC 相比，其高昂的价格和中等的性能使其难以推销，尤其是它仍然面临与其他 PC 一样的基础软件障碍。最终的共识是，尽管流媒体技术已显著进步，但它仍然是一个碎片化的、以“折腾”为主的爱好。对许多人来说，一根长光纤 HDMI 线依然是连接书房高性能 PC 与客厅显示设备最可靠、“即插即用”的解决方案。
本文评估了多种用于 TCP 套接字拼接（在 TCP 套接字之间转发数据的过程）的 Linux 方法，旨在优化高流量反向代理的性能。其目标是最大限度地减少三种开销：系统调用成本、唤醒延迟以及内核与用户空间之间的数据拷贝。 作者对比了传统的 `read`/`write` 循环、`splice(2)` 和 `io_submit`，以及一种基于 eBPF 的新兴基础设施 —— **SOCKMAP**。SOCKMAP 允许实现零拷贝的内核级数据重定向。从理论上讲，SOCKMAP 是代理技术的“圣杯”，因为它将转发任务完全卸载到内核中，从而消除了用户空间的上下文切换。 然而，作者的基准测试表明，当前的 SOCKMAP 实现（在 Linux 内核 4.14 上）尚未达到“成熟可用”的阶段。测试显示，与标准的 `read`/`write` 循环或 `io_submit` 相比，SOCKMAP 出现了更高的延迟、明显的抖动以及性能缺陷。尽管 `splice` 和 SOCKMAP 目前在效率上仍显不足，但作者对其持乐观态度。他们认为 SOCKMAP 是一项革命性的技术，随着进一步的开发，它将为数据密集型网络应用带来一种强大的、异步且零拷贝的架构转型。
抱歉。
尽管人工智能的应用正处于激增阶段，但企业正面临难以维持的成本压力，优步（Uber）和微软等公司缩减开支就是例证。目前，“前沿”模型实验室通过高昂定价来回收巨额的研究、训练和运营成本。 然而，这种高定价模式正面临崩溃。以下因素正推动成本向更低水平转型： 1. **边际效用递减：** 性能提升正趋于平缓，且高质量的训练数据日益匮乏。 2. **竞争与开放权重：** 诸如 GLM-5.2 等强大的开放权重模型，正以极低的成本超越闭源模型。 3. **基础设施进步：** 向专用芯片（如 TPU、Groq）和高效架构（如 MoE）的转型，正在大幅降低推理支出。 4. **零转换成本：** AI 网关使更换服务商变得即时，摧毁了传统软件曾经拥有的“护城河”。 5. **本地化 AI：** 随着硬件性能提升，在个人设备上本地运行模型，将消除日常任务对高昂云订阅的依赖。 综上所述，这些因素预示着 AI 定价即将崩盘。虽然云服务商仍将保留复杂的应用场景，但高价 AI 服务的时代很可能即将终结，这对消费者而言大有裨益。
当前大语言模型（LLM）成本的可持续性在业内引发了激烈辩论。讨论的核心在于目前的定价模式（特别是“无限量”订阅制）究竟是高额补贴下的产物，还是反映了真实的运营成本。
**主要论点包括：**
* **使用补贴：** 许多人认为订阅价格被人为压低，实质上处于类似“机场优步”式的抢占市场阶段。重度用户消耗的 Token 价值往往远超其月费，这意味着企业正在通过烧钱来补贴用户普及。
* **过度依赖 SOTA 模型：** 用户经常在处理简单任务时，默认使用最昂贵的“前沿”模型（如 Claude Opus），而非更小巧廉价的模型。这种“Token 浪费”被视为导致支出不可持续的主要推手。
* **“编排”问题：** 专家认为，当前的危机与其说是模型定价问题，不如说是架构不合理。未来的价值可能在于“任务路由”——将查询分发给能够胜任该任务的最廉价模型，而不是所有事情都交给最强大的模型。
* **开源威胁：** 高效的开源权重模型（如 DeepSeek）的崛起，为前沿实验室的模型提供了高性价比的替代方案，这可能会迫使价格下降，并将底层 AI 引擎大宗商品化。
22岁莫扎特手稿笔记被发现，被视为“重大发现” 22-year-old Mozart's handwritten notebook unearthed in 'major discovery'
2 天前
一本由 22 岁莫扎特亲笔书写、近期被发现的笔记本被认定为一项重大发现。该手稿现藏于法国国家图书馆（BnF），包含莫扎特在巴黎期间为学生编写的教学练习。这些文件很可能是在法国大革命期间被没收的，这也解释了它们为何长期存放在国家档案馆中。
Hacker News 社区对这一消息反应不一，既有兴奋也有质疑。一些用户质疑该发现是否称得上“重大”，而音乐历史学家则反驳称，任何出自莫扎特这样级别的作曲家之手的亲笔材料，其本身就具有重要意义。
该帖文还引发了关于档案研究挑战的更广泛讨论。用户探讨了大型语言模型（LLM）在转录和整理图书馆中大量未编目历史文档方面的潜力。另一些人则回顾了历史上“希特勒日记”的伪造事件，提醒人们来源考证和严谨的鉴定工作依然至关重要。此外，讨论还延伸至关于书写艺术的失传、乐谱的复杂性，以及当今是否仍有必要教授连体手写体的持续争论。
已拦截。由于网络策略，您的请求已被拦截。请尝试在此处登录或创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处使用您的开发者凭据注册或登录。此外，请确保您的 User-Agent 不为空，且具有唯一性和描述性，然后重试。如果您提供了备用的 User-Agent 字符串，请尝试改回默认设置，因为有时这会导致拦截。您可以在此处阅读 Reddit 的服务条款。如果您认为我们误拦截了您，或者想探讨获取所需数据的更简便方法，请在此处提交工单。联系我们时，请提供您的 Reddit 帐户以及以下代码：019f02d8-90f4-74cd-b4ca-740beb40314b
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
美国政府将逐一审批 GPT 5.6 的使用权限 (reddit.com)
141 点，由 theanonymousone 发布于 1 天前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
dang 15 小时前 [–]
评论已移至 https://news.ycombinator.com/item?id=48690101，该条目目前位于首页
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```