EF Core 11 为使用 `.AsSplitQuery()` 的查询引入了显著的性能优化。此前,EF Core 在获取集合时,会在每个集合查询生成的 SQL 中不必要地包含所有“引用导航”(例如相关的父实体)。这导致了冗余的连接和额外的排序字段,给数据库造成了不必要的开销。 从 EF Core 11 开始,框架现在会从次级集合查询中“剪除”这些引用导航。由于映射子实体仅需父实体的主键,移除这些多余的连接简化了 SQL,使其更接近开发人员手动编写查询的方式。 对比 .NET 10 和 .NET 11 的基准测试表明,此项改进提高了执行速度并减少了内存分配,尤其是在包含多个引用导航的场景中。通过减轻数据库负载并简化生成的查询计划,EF Core 11 为处理拆分查询提供了一种更简洁、更高效的方法。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 EF Core 11 让你的分割查询(split queries)更快 (steven-giesel.com) 5 分,发布者:rellem,1 小时前 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

为了在 M3 Mac Studio Ultra 上实现长上下文编码的近乎即时的本地 AI 响应,作者从 DS4 Flash 模型迁移到了 Qwen 3.5 122B,并利用了一个名为 **qMLX** 的 `rapid-mlx` 自定义分支。 这一转变最初受到“冷启动”延迟的困扰,由于模型在每一轮对话中都会重新计算上下文,处理 5 万多 token 的对话需要几分钟的时间。作者在服务栈中发现了三个关键错误: 1. **提示词不稳定**:系统提示词中每个轮次唯一的 ID 导致无法命中 KV 缓存。 2. **状态丢失**:在生成过程中中断模型会导致系统丢弃已流式传输的响应,从而被迫进行全量重新计算。 3. **缓存污染**:低效的淘汰策略导致“垃圾”检查点覆盖了有效数据,从而破坏了缓存。 通过修复这些问题,作者将预填充(prefill)时间从分钟级缩短到了亚秒级。目前,**qMLX** 项目已针对混合注意力架构进行了优化,并提供了区分预填充与解码性能的真实指标。它为长上下文结对编程提供了一个强大的离线环境,证明了当服务栈经过适当调整时,消费级 Apple Silicon 能够媲美专有系统。

近期一篇 Hacker News 帖文详细介绍了作者如何通过修复三个具体漏洞,使 Qwen3.5-122B 模型能在 Mac Studio 上实现“日常使用”。文中包含了技术基准测试以及对调试过程的详细拆解。 社区对此反响积极且具有建设性。一位评论者在肯定其技术工作深度的同时,建议作者发展更独特的写作风格,并指出目前的内容带有 AI 生成文本中常见的重复、机械感。另一位用户在赞赏调试工作之余,建议为了让性能分析更透明,所提供的图表应采用纵坐标对数刻度,以更准确地展示模型的扩展表现。

美国教育部正在实施一项新的“不伤害原则”问责测试,要求大学项目证明其毕业生收入高于仅拥有高中文凭(研究生项目则需对比本科毕业生)的人群。若项目在三年内有两年未达到该标准,将面临失去联邦学生贷款资格的风险。 尽管支持者认为这为纳税人资助的教育设定了合理的财务底线,但批评者——尤其是艺术和教育领域的人士——警告称该政策过于狭隘。倡导者认为,音乐、戏剧和幼儿教育等领域的成功不能仅以职业生涯早期的收入来衡量,因为这些职业尽管薪资水平通常不高或缺乏线性增长,却提供了重要的文化与社会价值。 数据显示,大多数项目能够轻松通过考核;然而,目前约有 80 万名学生就读于面临风险的项目中,其中包括美容、专科层次的幼儿教育以及著名的音乐学院。教育部将于 2027 年开始统计收入情况,潜在的经费削减可能于 2028-2029 学年开始生效。反对者担心,这项政策将促使大学取消那些至关重要但薪资水平较低的学位项目,最终损害国家的文化与社会根基。

一项新的联邦法规规定,高校必须证明其毕业生的经济状况确实有所改善,否则将面临失去联邦助学金资格的风险。此举旨在要求教育机构对其所提供教育的价值负责,以应对学费不断上涨但教育质量并未同步提升的问题。 在 Hacker News 上,用户对此新闻反应不一。一些人希望该法规能淘汰那些“毒性学位工厂”以及利用不可免除的贷款剥削学生的营利性机构。另一些人则表示怀疑,质疑该规则将如何考量当前的经济动荡和普遍的裁员情况,因为这可能会在不顾学校实际表现的情况下对其进行不公平的惩罚。

2025年,近80%的美国消费者报告称遇到了严重的商品或服务问题,这助长了一种普遍的“愤怒”与无力感。这种以隐藏费用、人工智能客服障碍和企业剥削为特征的“烦恼经济”,每年给美国家庭造成约1650亿美元的时间和金钱损失。 专家将消费者满意度的下降归因于多种因素的恶性交织:企业并购加剧、私募股权兴起以及联邦监管的显著削弱。政府监管机构(尤其是消费者金融保护局)面临严重的预算削减和政策倒退,导致消费者法律保护减少,在面对企业不当行为时可用的补救途径受限。与此同时,地方调查新闻的衰落使得许多曾经对企业起到监督作用的传统“看门人”角色消失。 尽管一些州级行动和非营利调查团体仍在积极活动,但拉尔夫·纳德(Ralph Nader)等专家的共识是,消费者的权力正处于历史低点。由于国会不太可能介入,保护消费者的重担正转向民事诉讼和草根“公民新闻”。《卫报》现正对此类系统性失灵展开调查,并邀请读者分享他们在面对企业带来的挫败感时的个人经历。

这篇 Hacker News 的讨论探讨了《卫报》近期文章中所提到的“消费者愤怒”现象的根源——近三分之二的美国人表示曾因产品或服务故障而感到愤怒。 评论者们提出了几种相互竞争的观点: * **系统性疏忽**:许多人认为,愤怒是对企业为阻碍售后支持而设计的“迷宫”以及产品质量下降的合理反应。批评者指出,当劣质商品过早损坏时,分摊后的成本便构成了隐性通胀。 * **监管失灵**:一些人将矛头指向政府监管的缺失,并指出消费者金融保护局(CFPB)等机构被架空,使消费者极易遭受掠夺性金融行为和企业欺诈。 * **社会与心理因素**:另一些用户将这种愤怒描述为社交媒体算法的无效副产品,认为这些算法使人们习惯于以“发脾气”而非建设性的行动来做出反应。 * **文化疲劳**:多位参与者表达了对现代消费“空洞”本质的深深疲惫,即技术往往阻碍而非助力生活,这加剧了人们在面对企业贪婪和工艺水平下降时的无力感。 归根结底,这一讨论反映了一场两极分化的争论:现代社会的愤怒究竟是对系统性剥削的正当抗议,还是个人习得性无助的表现?

尽管现代软件工程侧重于构建“软件工厂”——即支持 AI 智能体生成并交付代码的基础设施——我们绝不能放弃手动编程的实践。 有些人认为 AI 让编写代码变得不再必要,但这种“反向半人马”式的方法会导致被动观察、主体责任感减弱,以及“劣质代码(slop)”的累积。当我们停止编写代码时,便失去了直接以可执行逻辑进行思考的能力,因为英语对于复杂的计算而言,始终是一种不够精确的媒介。 编写代码是维护架构完整性的关键工具。通过手动梳理代码库,人类能够发现脆弱之处、优化模式,并防止因智能体过度追求安全而牺牲设计质量所导致的“保守放大”型错误。正如工厂经理必须偶尔亲临生产线才能了解流程为何失效一样,软件工程师必须保持亲力亲为,以确保工厂产出的是质量,而不仅仅是产量。 归根结底,编写代码不仅关乎语法,更是一种认知过程。通过沉浸在细节之中,我们能更有效地引导智能体,确保系统保持稳健、可维护,并始终与我们的长期架构愿景保持一致。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为什么要在2026年编写代码 (softwaredoug.com) 6点 | zdw | 14分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

作者回顾了 25 年前在圭尔夫大学学习人工智能课程的经历,认为尽管符号人工智能在与深度学习的竞争中落败,但 Lisp 编程语言在现代 AI 智能体开发方面具有独特的优势。 通过剥离复杂的框架,作者论证了 AI 智能体循环本质上就是一个简单的递归函数。他利用 Common Lisp,仅用 100 行代码就构建了一个智能体。由于 Lisp 具有“同像性”(代码与数据可以互换),该智能体能够将自身的语言视为一种工具。它无需依赖固定的预定义工具目录,而是在运行时自行编写、定义并执行函数(如网络搜索或复杂数学运算)。 此外,作者通过将智能体的对话历史存储为 JSON 来实现持久化,使其能够通过重新读取记录来“恢复”所学的技能。这种方法将能力从静态的设计时契约转变为基于内存的动态过程。最终,作者得出结论:虽然 Lisp 未能成为符号人工智能的继任者,但其设计与现代自主智能体递归、自我修改的本质完美契合。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 用 100 行 Lisp 代码实现一个智能体 (thebeach.dev) 51 个积分,由 jamiebeach 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 hankbond 20 分钟前 [–] 也许我的评论有些片面,但这与直接让智能体使用 `python -c` 命令(或同类工具)有什么区别呢?我不太明白为什么这是一个“令人惊叹”的时刻? 回复 总是很高兴能看到,仅仅依靠(模型 + 最基础的控制流)就能获得如此强大的能力。现在的模型内置了太多东西,只要给它们一点点机会,它们就能发挥出巨大的作用。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Quantum-Mesh-QEC v2 是一款生产级、容错的基础设施,旨在突破超导量子网格中的“解码延迟壁垒”。通过以三层硬件融合控制回路(3-Tier Hardware-Fused Control Loop)取代集中式、重软件的解码方式,它能在不引发量子态退相干的情况下实现实时纠错。 **三层架构:** 1. **第一层(硬件边缘):** 使用无分支的 C99/FPGA 原语监测辅助节点上的间接稳定器奇偶校验。通过避免对数据量子比特进行直接观测,防止波函数坍缩,并在亚微秒级范围内触发即时硬件故障标记。 2. **第二层(AI 核心):** 采用 JAX 融合内核来精炼校验子数据。利用 `stop_gradient` 机制隔离故障区域,防止噪声污染预训练的自主权重。数据通过零拷贝 C++ 桥接器摄取,以实现极致性能。 3. **第三层(全局协调器):** 异步运行以绕过 Python 的 GIL(全局解释器锁)。它在事后执行“虚拟晶格手术”,更新系统的结构几何掩码以绕过故障节点,且不违反不可克隆定理。 该架构确保了确定性、低抖动的性能,同时为可扩展的量子纠错提供了一个稳健、自主的框架。该项目采用 Apache 2.0 许可证授权,并附带防御性专利保护。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: Quantum-Qec / 无矩阵量子稳态引擎 (蓝图) (github.com/pjhkorea) 3 积分,由 PJHkorea 1 小时前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 PJHkorea 1 小时前 [–] 这可能不是最令人兴奋的话题,但我希望能尝试创建一个“量子稳态”系统。希望这能为那些在量子计算领域苦苦挣扎的人提供一点帮助。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在这篇针对现代监控的评论中,约翰·怀尔德(John Wilder)将苏联时期的“贝利亚模式”——即利用模糊的法律和无处不在的告密者来制造罪名——与当代大型科技公司与政府监管的结合进行了对比。 怀尔德认为,如今的监控国家已用自动化网络取代了人类间谍,其中包括“Flock”安全摄像头、Ring 门铃、永久性设备识别码以及像 Windows Recall 这样的数据采集软件。这种数字化的天罗地网追踪着我们从驾驶习惯到搜索历史的一切,将人类行为转化为企业的盈利数据点,并成为检方手中的精密工具。 作者指出,由于联邦法规现在过于广泛且繁多,普通人的日常生活本质上就面临着技术性违规的风险,这种细致入微的监控将法律体系变成了一个雷区。通过将资本主义的数据采集效率与极权主义的控制机制相结合,大型科技公司与国家共同创造了一个“过程本身就是目的”的系统。怀尔德最终暗示,尽管手段已从恐吓转变为算法驱动的便利,但监控和控制民众的目的实际上依然如故。

2020年在法罗群岛开通的东岛隧道(Eysturoyartunnil)是一项工程奇迹,拥有世界上首个海底环岛。该隧道全长11.2公里,位于大西洋海面下72米处,彻底改变了当地的基础设施,将托尔斯港与第二大人口岛屿之间的通行时间从一个多小时缩短至仅需15分钟。 隧道的中心是一个环绕天然岩柱而建的环岛,由法罗群岛艺术家特伦杜尔·帕图尔松(Tróndur Patursson)负责照明与装饰。该装置主体是一座80米高的钢制雕塑,呈现出人们手拉手的形象,象征着法罗群岛的社区精神与合作理念。通过连接偏远地区与经济体,该隧道有望重塑社会面貌,其独特的艺术设计也已成为全球社交媒体的热点,并成为重要的旅游景点。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 水母海底环形路 (visitfaroeislands.com) 6 分,由 hydrogen7800 于 2 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在本文中,Pankaj Mehta 和 David J. Schwab 探讨了细胞计算的能量需求,特别关注了细胞如何测定外部化学配体的浓度。基于兰道尔原理(Landauer’s Principle,即信息处理具有物理成本),作者分析了一个模仿经典 Berg-Purcell 感知策略的双组分细胞网络。 研究表明,细胞若要获取环境信息,就必须打破细致平衡并消耗代谢能量。作者揭示了计算精度与能量消耗之间的直接相关性,指出对环境的“学习”水平越高,所需的能量消耗就越大。这些发现表明,能量约束在细胞网络的演化中起着关键作用,特别是对于在资源匮乏环境下生存的生物(如孢子萌发过程中的细菌)而言。通过量化这些成本,本文阐述了物理和热力学限制如何塑造生物信息处理系统的设计与功能。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 细胞计算的能量成本 (2012) (arxiv.org) 5 点,由 lioeters 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

这是一个基于 Scheme 的高性能 Web 框架,专为极致并发、容错能力和开发者控制而设计。该框架采用核心/框架分离的架构,利用轻量级“绿色”进程和基于延续(continuation)的抢占式调度,能够在不造成系统阻塞的情况下处理数千个并发请求,包括 CPU 密集型任务。 主要特性包括: * **弹性:** 基于监督者(supervisor)的进程池可处理崩溃、超时和自动重试。通过可选的“故障钩子”,支持结构化的 JSON 错误恢复。 * **有状态对话:** 进程可在多请求对话中保持实时状态(包括数据库事务),并确保在失败时自动回滚。 * **灵活性:** 支持热代码替换、WebSocket 升级、流式传输以及服务器推送事件(SSE)。 * **全栈支持:** 包含针对 Redis、MySQL 和 HTTP 的非阻塞客户端,并内置对会话、Cookie、表单和 Gzip 压缩的支持。 * **基础设施:** 提供稳健的运维工具,包括 `SO_REUSEPORT` 扩展、Prometheus 指标监控和优雅停机功能。 该框架通过非阻塞 I/O 模型(基于 libuv)实现了约每秒 3.5 万次请求的处理能力,同时保持了进程间的严格隔离。这是一个强大且“开箱即用”的工具集,借鉴了 Erlang/OTP 的设计理念,非常适合构建高扩展性、高可靠性且易于诊断的 Web 服务。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 一个 Erlang 风格的纯 Scheme Web 服务器及更多内容 (igropyr.com) 9 分,发布者:guenchi,1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 guenchi 1 小时前 [–] “Let It Crash”(任其崩溃)、热代码热交换、远程重试环、基于延续(Continuation)的 Web 编程、S-expr RPC(使用 goeteia.dev) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

德雷塞尔大学的研究员塔米雷斯·利马(Thamires Lima)及其团队发现,“简单”流体(即缺乏聚合物等复杂材料所具备的弹性的流体)也会发生脆性断裂。长期以来,人们普遍认为只有弹性材料在受压时才会像玻璃一样断裂,但利马对一种碳氢化合物混合物进行的实验表明,这些液体同样可以发出巨大的爆裂声并发生破裂。 利用高速摄像机,研究人员观察到这些裂纹的传播速度高达每秒 1,500 米,远快于弹性流体中的传播速度。这一现象挑战了现有理论,表明断裂不仅取决于弹性,还可能与维持液体分子结合的基本内聚能有关。该研究提出,如果拉伸速度足够快,即使是简单流体也可能达到一个临界应力阈值(研究发现为 2 兆帕),此时它们会发生断裂而非流动。 这一发现为理解流体力学开辟了新途径,对纤维制造、喷墨打印、软体机器人和医学工程等领域具有潜在影响。未来的研究旨在探究这种断裂行为是否最终能在蜂蜜或水等粘度更低的流体中重现。

抱歉。

对 xAI Grok CLI (v0.2.93) 的技术拆解显示,无论用户提示或选择退出设置如何,该工具都会通过两个不同的渠道自动将本地代码库内容泄露至 xAI 服务器。 **主要发现:** * **未脱敏暴露:** 代理所访问的文件(包括包含密钥的敏感 `.env` 文件)会被逐字传输至 `/v1/responses` 模型轮次端点,并保存在会话存档中。 * **完整存储库上传:** CLI 会捕获并上传整个存储库(包括 AI 从未读取过的文件),形式为 git 包或结构化快照。此操作通过向 Google Cloud Storage 存储桶 (`grok-code-session-traces`) 发送 `POST /v1/storage` 请求实现。 * **规模与默认行为:** 该上传机制为默认开启。在一个 12 GB 的存储库中,该工具成功外泄了超过 5 GB 的数据。即使禁用了“改进模型”设置,这些上传行为依然会持续进行。 * **透明度:** CLI 的标准安装或快速入门文档中并未提及这种后台同步行为。 调查证实数据已被传输并存储至 xAI,但目前尚无法确凿证明 xAI 使用这些特定存储的数据进行模型训练。

最近的一场 Hacker News 讨论引发了人们的警觉:调查发现 xAI 的“Grok Build”命令行工具会将整个本地代码库——包括所有文件内容和完整的 Git 历史记录——上传到 xAI 的服务器,而无视 AI 代理实际处理所需的内容。 批评者认为这种行为存在巨大的安全和隐私隐患,并将其描述为窃取商业机密、知识产权和专有业务逻辑的潜在途径。虽然一些评论者认为这种大规模上传是为了让模型无需通过频繁的客户端查询即可进行“思考”的捷径,但许多参与者对 xAI 的意图仍持深度怀疑态度。 此次讨论反映了人们对 AI 公司可能通过“摄取”用户数据来推动其内部项目(如埃隆·马斯克的“万能应用”)的普遍焦虑。许多用户表示对 xAI 的数据处理方式缺乏信任,他们将此与现有的云服务提供商进行了尖锐对比,并质疑 AI 工具是否在将数据采集置于用户安全之上。

根据2024年美国农业部的数据,美国农业生产呈现出明显的区域专业化特征。加利福尼亚州依然是全美最大的农业经济体,凭借其多样化的特色农产品、坚果和乳制品,创造了674亿美元的产值,几乎是其他任何州的两倍。德克萨斯州紧随其后,其庞大的畜牧业是该州农业的主要支柱。 尽管加利福尼亚州在各州中位居榜首,但中西部地区作为美国的“粮食引擎”,贡献了全国农业总产值的44%。该地区包括爱荷华州、内布拉斯加州和伊利诺伊州等,生产了全国60%以上的玉米,同时也是大豆和畜牧业的重要基地。 从全美范围来看,各地的农业因地理条件而异:西部各州以高价值农产品和葡萄种植见长,南部各州在禽肉和棉花生产方面处于领先地位,东北部地区则提供了重要的乳制品和本地食品供应。这些专业化的区域经济共同确保了美国作为全球主要粮食出口国的地位,满足了国内外的需求。

旧金山的房地产市场正经历一场巨大的飙升,这主要得益于 OpenAI 和 Anthropic 等人工智能巨头员工的财富增长。截至2026年5月,该市的房屋售价中位数创下了176万美元的纪录,这一急剧增长归因于该行业丰厚的签约奖金和股票激励。 “人工智能资金”的涌入引发了激烈的竞价战,一些卖家甚至开始考虑接受包含私营公司股票的报价。虽然这种繁荣在疫情后振兴了市场,但也引发了负担能力危机。许多非科技行业的居民因无力负担高昂的房价,被迫搬迁至郊区以寻求住所。 专家们对于这一趋势的长期可持续性仍存分歧。一些人认为,随着更多公司上市,市场将继续升温;另一些人则指出,该市的人口和就业水平尚未完全恢复到疫情前的水平。然而,就目前而言,人工智能热潮正在从根本上重塑这座城市的住房格局,使许多居民感到自己正被飞速发展的科技经济所取代。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 富有的AI从业者推高旧金山房价 (bbc.com) 15 分,root-parent 发布于 6 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论 | 帮助 tangenter 35 分钟前 [–] BBC 在文章中充斥着偏见和冷嘲热讽,真令人羞愧。如今我还能对他们抱有更高期待吗?我不确定。 回复 jrmg 15 分钟前 | 父节点 | 下一条 [–] 我没看出来有什么偏见或冷嘲热讽?在我看来这篇文章挺客观的。 回复 applfanboysbgon 8 分钟前 | 父节点 | 上一条 [–] 你说的偏见和冷嘲热讽是指那些“莫须有”的东西吗?或许你能摘录出你觉得冒犯的文章引文吗? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

L3Harris 已成功完成新型固体燃料冲压发动机的全尺寸地面测试,标志着下一代推进技术取得重大进展。该新型燃料颗粒配方旨在满足美国国防部对高性能、远程且经济实惠武器系统的要求,其设计大幅降低了成本,优于过往的行业标准。 在测试过程中,该系统在模拟飞行环境中运行,所得性能数据与设计预期相符。这一里程碑是降低风险的关键一步,在进入战术飞行演示前验证了各项核心指标。 通过利用现代化制造技术,并得益于对 Aerojet Rocketdyne 的收购,L3Harris 旨在生产可扩展的高速推进解决方案,以超越现代防空网络。此次成功凸显了该公司致力于为作战人员提供卓越的射程和速度,同时确保在必要的规模和成本效率下进行生产,从而保持战略优势。随着公司加速实现全面的战术应用,后续的地面测试已列入计划。

玛莎·利拉德(Martha Lillard)是美国最后一位已知依赖铁肺维持生命的脊髓灰质炎患者,于6月26日去世,享年78岁。利拉德在5岁时被确诊,当时医生认为她活不过20岁,但她打破了这一预言,度过了充实且独立的一生。她最广为人知的是利用铁肺——一种通过气压辅助呼吸的设备——来维持生命,即便是在上学、开车和独自生活时也不例外。 利拉德颈部以下瘫痪,但她拥有创造性的灵魂,不仅写诗、作曲,还积极投身于动物救援事业。她利用互联网学习、与世界保持联系,并最终结识了她的丈夫巴哈·萨尔(Baha Salh)。晚年,由于脊髓灰质炎的长期后遗症以及两次感染新冠病毒,她的健康状况开始恶化。她的姐姐辛迪·麦克维(Cindy McVey)表示,她的死因是慢性肺功能衰竭,以及新冠长期后遗症加剧的脊髓灰质炎后综合征。利拉德的离世,标志着那些依赖这种曾定义她童年与生存的标志性救命机器的时代正式终结。

```Hacker News新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录Martha Lillard,美国最后一位使用铁肺的脊髓灰质炎患者在俄克拉荷马州去世,享年78岁 (abcnews.com)18点 由 daniel_iversen 发布于1小时前 | 隐藏 | 往期 | 收藏 | 1条评论 帮助 testingonetwo34 17分钟前 [–] 她克服残疾并过好自己生活的乐观与创造力非常鼓舞人心。我希望我能将这种乐观态度应用到我对社会逐渐背离残疾人便利设施及疫苗犹豫普遍化的看法上……允许父母培养未接种疫苗的孩子,注定会导致这类疾病的死灰复燃。我建议每个人都学习一下关于我们免疫系统的知识,《免疫》(Immune) 这本书(ISBN: 1529360684)的纸质版以非常平易近人的方式介绍了其复杂的运行机制。此外,Vincent Racaniello 在 MicrobeTV 制作的播客也非常棒。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索: ```

本文件旨在指导如何在 **9front** 操作系统上进行数字绘画,主要介绍内置的 `paint(1)` 程序。与现代数字艺术软件不同,9front 不具备图层或压感等功能,其工作流更倾向于将屏幕视为一张模拟画布。 **核心概念:** * **硬件:** 您可以使用鼠标、触摸屏或特定的绘图板(如 GAOMON S620)进行创作。所有输入设备均被视为标准鼠标命令。 * **工作流:** `paint(1)` 仅提供基础工具(画笔、填充、橡皮擦)。由于缺乏图层功能,用户通常先使用特定颜色进行草图绘制,随后利用 `pico` 等外部工具进行处理。 * **图像处理:** 所有工作均在 9front 原生的 `image(6)` 格式下完成。裁剪、旋转或调整大小等精确任务需通过命令行工具(`crop(1)`、`rotate(1)`、`resize(1)`)或图像查看器 `page(1)` 执行。 * **成品输出:** 完成创作后,可通过 `topng` 将作品转换为 PNG 格式以供外部使用。 归根结底,在 9front 上绘画是一项极简主义的实践,要求艺术家将简单的绘画工具与操作系统强大的基于文本的图像处理工具相结合,从而创作出专业的作品。

```Hacker News新帖 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录我没有杀死斯坦利·利伯:如何绘画(使用 9front)(triapul.cz)由 c-c-c-c-c 于 1 小时前发布,6 点 | 隐藏 | 过往 | 收藏 | 1 条评论帮助 tangenter 9 分钟前 [–] 只要互联网还在运行,我就会一直为 9front 做种子,快加入进来吧,混蛋回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

该项目是一个高性能、自托管且以 WebAssembly 为目标的 Scheme 编译器。主要特性包括: * **自托管与完整性:** 编译器使用其自身的 Scheme 子集编写,确保输出结果的字节级一致性及严格的定点验证。 * **Wasm 集成:** 利用原生 Wasm GC 进行高效内存管理(包括未装箱定点数、堆结构配对/记录),并借助 Wasm 异常处理提案实现低开销的 `call/cc`。 * **高性能运行时:** 具备真正的闭包、适当的尾递归调用(确保恒定的栈空间使用)以及卫生宏(syntax-rules/syntax-case)。 * **响应式 Web 栈:** 提供原生 Web 开发生态,包括响应式信号、基于 S 表达式的 DOM 渲染,以及用于直接与 JavaScript 交互的 FFI。 * **图形:** 为 3D/WebGL 提供响应式接口,允许使用 S 表达式定义场景和着色器,并将桥接开销降至最低。 * **无缝网络通信:** 实现了一种直接样式的 RPC 机制,能够在网络传输中保留 Scheme 数据类型(如分数),并辅以支持 R6RS 风格导入和死代码裁剪的库系统。 简而言之,这是一个强大且全栈的 Scheme 环境,旨在实现高效运作并与现代 Web 无缝集成。

一个新的 Web 编程工具 **Goeteia** 近日被引入 Hacker News 社区。该项目旨在利用 Scheme 构建 Web 应用程序,试图解决 JavaScript 长期以来缺乏静态可验证性以及在 DOM 操作中易出现静默错误的问题。 作者概述了该工具的三大核心功能: 1. **自托管 (Self-hosting):** 利用卫生宏 (hygienic macros) 在浏览器中直接运行环境。 2. **声明式 UI:** 将 HTML 和 CSS 视为 Scheme 结构,并通过宏进行扩展。 3. **数据通信:** 使用 S-表达式 (S-expressions) 实现无缝的服务器与客户端消息传递。 在讨论中,评论者指出,虽然手动编写 Scheme 可能较为困难,但 AI 辅助编程改变了这一局面。通过将 Scheme 视为一种“编译目标”,开发人员或许能够获得 JavaScript 和现代浏览器标准难以提供的可靠性与结构化优势。Goeteia 代表了一种尝试,旨在摆脱复杂且约束沉重的 JavaScript 框架,转而采用更稳健的函数式编程方法。

前雷德兰兹(Redlands)警察局副局长特拉维斯·马丁内斯(Travis Martinez)于2025年成为加州薪酬最高的市政雇员,其薪酬总额约为126万美元。其中大部分资金——近90万美元——源于他与市政府之间法律纠纷的和解赔偿。 在2025年4月退休前,马丁内斯已带薪行政休假18个月。他曾对市政府提出报复性指控,称自己在举报内部不当行为后遭到了官员的针对,这些行为包括涉嫌掩盖与一起致命火车事故相关的证据,以及前副局长迈克·赖斯(Mike Reiss)涉及的性骚扰事件。 此次赔偿是雷德兰兹警察局一系列争议中的一部分。市政府已就针对2023年退休的赖斯的性骚扰指控支付了超过330万美元的和解金。拥有29年警龄的马丁内斯声称,他因拒绝无视这些系统性问题而遭到晋升拒绝。他的离职及随后的和解,结束了该部门一段充满激烈法律和行政动荡的时期。

请启用 JavaScript 和 Cookie 以继续。

抱歉。

SLA Credit Watch 监控供应商的状态页面,并为每项服务保留一份每月的停机记录。当故障达到 SLA 赔偿标准时,系统会显示您有权获得的赔偿金额及申请截止日期。 正在进行的事件 已跟踪的供应商 订阅 当您的某家供应商发生故障并触发 SLA 赔偿时,我们会通过电子邮件将赔偿计算方式及申请截止日期发送给您。仅此而已,绝无其他骚扰。 © 2026 AllCaps Technologies Inc. · 方法论 · 隐私 · 条款

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 云服务故障及其触发的服务等级协议(SLA)赔付的公共账本 (slacreditwatch.com) 5 分,由 devd1976 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助 turtleyacht 9 分钟前 | 下一条 [-] 触发赔付的示例:https://slacreditwatch.com/v/cloudflare 回复 toomuchtodo 1 小时前 | 上一条 | 下一条 [-] 考虑追踪 GitHub 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

截至 2026 年 6 月,谷歌 Chrome 浏览器在北美桌面浏览器市场占据主导地位,市场份额为 60.6%。 剩余市场由多家竞争对手瓜分,其中 Firefox(12.58%)和微软 Edge(12.19%)争夺第二名。Safari 以 9.56% 紧随其后,而小众浏览器 Brave(2.46%)和 Opera(1.39%)则占据了剩余的追踪市场份额。 以上数据由网络分析平台 Statcounter 提供,该平台旨在追踪全球各浏览器、地区及时间段的市场份额趋势。

近期一篇引用 StatCounter 数据的 Hacker News 帖子称,Firefox 在 2026 年 6 月的北美桌面端市场份额激增至 12.58%。评论者对这一数字持高度怀疑态度,指出如此巨大且突然的增长在统计学上不太可能,且与 Firefox 内部的用户活跃度指标相矛盾。 关于 Firefox 使用率可能上升的猜测,主要集中在谷歌 Chrome 近期弃用 Manifest V2 导致传统广告拦截器失效这一变动上。一些用户认为,由于对侵入式追踪和无法拦截的广告感到愈发不满,这一转变可能正在促使用户离开 Chrome。然而,讨论者中的主流观点是 StatCounter 的数据很可能存在误差。该帖子在平台上还曾短暂遭遇自动标记,一些人将其归因于链接失效或数据质量问题。

多年来,作者一直饱受一个令人沮丧的硬件问题困扰:笔记本电脑在连接扩展坞时,经常无法从睡眠状态唤醒。尽管升级了诸如 CalDigit TS4 这样承诺改善唤醒功能的高端雷电 4 硬件,该问题仍未解决。 转机出现在 2025 年,并非因为扩展坞的更新,而是将一台老旧的明基(BenQ)显示器更换为华硕 ROG Swift (PG27UCDM)。自更换以来,作者表示系统运行完美,唤醒和连接时间均不到一秒。虽然确切原因尚不明确——可能是旧显示器固件存在缺陷或初始化缓慢所致——但作者分享这一经历,旨在为面临类似扩展坞故障的用户提供一种潜在的解决方案。

这条 Hacker News 讨论帖探讨了 Fabien Sanglard 关于可靠扩展坞的博文。社区对此反应不一,一些评论者质疑文章的内容深度,但也称赞了作者的文笔。 讨论很快转向了用户在使用第三方雷电(Thunderbolt)扩展坞时遇到的技术困扰。参与者分享了关于其可靠性不佳的亲身经历,指出非苹果品牌的雷电产品经常出现固件和驱动程序不兼容的问题,往往会降级为较慢的 USB 速度,而非发挥雷电接口的完整功能。另一些人则讲述了产品设计缺陷的经历,特别提到早期的 Anker 扩展坞无法正常唤醒,需要繁琐的手动重置。讨论最后偏离了主题,转向了硬件询问,重点确认了一款键盘型号,并探讨了华硕 ROG Swift 显示器在编程和阅读等文字密集型任务中的优势。

美国众议员罗·康纳(Ro Khanna)近日报告称,他在访问位于被占领的西岸、于2023年遭到种族清洗的巴勒斯坦村庄扎努塔(Khirbet Zanuta)时,被极端犹太定居者扣留。据康纳所述,携带美制M4步枪的武装定居者阻断了他代表团的去路超过一小时。康纳表示,当以色列国防军(IDF)抵达现场时,他们偏袒定居者而非美国官员,最终需要美国驻耶路撒冷大使馆介入才得以获释。 此事件凸显了西岸地区日益加剧的不稳定局势,国家支持下的定居者暴力已达到创纪录水平。国际特赦组织和乐施会等机构的报告显示,该地区存在系统性的土地掠夺、流离失所和暴力行为,非法前哨站目前已控制了该地区18%的领土。此次对峙发生在美国政治舆论转变之际,由于对以色列政府支持定居点扩张及事实吞并巴勒斯坦土地的担忧,民主党对以色列的支持已降至历史最低点。

**sqlsure** 是一款确定性验证工具,旨在防止人工智能生成的 SQL 语句中常见的“静默”错误,例如重复计算收入、不当的聚合或敏感个人信息(PII)泄露。与可能忽略语义逻辑缺陷的代码检查器或大语言模型不同,sqlsure 会根据现有的模式元数据(如 dbt 测试、主键/外键声明或目录内省)分析 SQL 查询,从而在执行前确保语义的正确性。 主要功能包括: * **高精度:** 它能识别常见的陷阱(如扇出错误、断层陷阱以及非加性指标的误用),在基准测试中实现了零误报。 * **自我修复:** 每次拒绝都会提供机器可操作的修复方案,使 AI 智能体能够在运行查询前自动进行自我纠正。 * **隐私与性能:** 该工具完全离线运行,不进行任何网络调用,不访问数据,也没有遥测功能,确保了绝对的安全。 * **零配置:** 它利用现有的数据结构(dbt、SQL 目录或简单的 JSON)构建语义规则库,无需学习新语言,也无需手动维护。 sqlsure 提供 Python 库、CLI 或 MCP 服务器等多种形式,它充当了“语义网关”,为文本转 SQL 工作流带来了可靠性,确保 AI 生成的查询既准确又快速。

抱歉。

面向人类的 Unix。 $_功能特性 $_关于 $_下载 $_安全 $_维基 $_社区 $ 代码 $ 章程 $ 治理 $ 网站结构 $ 加入团队 $_联系我们

Hacker News 社区对“Odyssey Linux”发布的反应主要是持怀疑态度。虽然该项目自称是基于 Void Linux 构建、经过精修且对用户友好的“无 systemd”发行版,但评论者提出了几点疑虑。 主要的批评集中在网站因字体过小且对比度低而导致的可访问性不佳,以及该项目浮夸、疑似由 AI 生成的营销文案。许多用户质疑该发行版的必要性,指出 Odyssey 本质上是由单人维护的 Void Linux “换皮”版本,这引发了人们对其长期生存能力及源代码透明度不足的担忧。 尽管存在这些批评,一些用户仍对开发者旨在提供更易用的无 systemd Linux 选项所做的努力表示赞赏。虽然目前的共识认为,该项目难以向更偏好原生 Void Linux 体验的资深用户证明其存在的意义,但人们对于在 Linux 生态系统中维持多样化的、无 systemd 替代方案这一更宏大的目标,依然给予了一定的支持。

分区表依赖“分区裁剪”在查询时排除无关分区。虽然这通常要求通过分区键(如 `timestamp`)进行过滤,但实际应用中经常需要根据其他列(如 `session_id`)进行查询,这会迫使数据库扫描所有分区。 本文演示了一种通过利用 **检查约束 (CHECK constraints)** 来实现非分区键裁剪的技术。由于数据库优化器会利用这些约束来确保数据完整性,它也可以利用这些约束来判断哪些分区不包含给定过滤条件的匹配数据。 通过识别分区键与其他列之间的相关性,您可以为每个分区定义映射特定值范围的 `CHECK` 约束。即使数据包含“异常值”(例如跨越分区边界的长会话),您也可以通过使用通过 `OR` 逻辑连接的多个范围来保持效率,这与 BRIN 索引中使用的“多重最小最大值 (multi-minmax)”方法如出一辙。 这种方法将“间隙与孤岛”数据模式转化为一种强大的优化工具,使您能够在不损害数据库完整性或性能的前提下,实现对非键列的高效分区裁剪。

抱歉。

近期的一项经合组织(OECD)研究显示,竞业禁止条款原本旨在保护高级管理人员掌握的敏感商业机密,如今却已在各类技能水平和薪资阶层中广泛存在。针对15个经合组织国家的研究表明,高达三分之一的私营部门员工受到此类限制,且这些条款常作为“标准模板”出现在低薪或入门级职位的合同中。 尽管这些条款往往不具备法律效力或缺乏相应补偿,但它们产生了一种“寒蝉效应”。由于大多数员工认为其具有约束力,导致他们不敢跳槽或创业,从而抑制了劳动力流动。这种普遍的滥用与宏观经济的负面影响直接相关,包括工资增长缓慢和工业生产力下降。 为解决这一问题,经合组织建议政策制定者不应仅仅采取简单的禁令,而应转向针对性的监管。有效的解决方案包括设定收入门槛、强制要求提供补偿,以及提高透明度。由于这些条款的影响在很大程度上取决于员工的认知,因此提升公众对劳动权益的了解,并对过度宽泛的合同施加制裁,是恢复市场活力和支持经济增长的关键举措。

这次 Hacker News 的讨论聚焦于竞业禁止条款(non-compete clauses)的日益普及,以及关于其公平性和可执行性的持续争论。 主要结论包括: * **区域对比:** 许多用户指出,加州禁止竞业禁止协议是其成为全球软件中心的主要驱动力,并建议其他地区应采取类似政策,以促进创新和人才流动。 * **可执行性:** 参与者指出,在许多司法管辖区,这些条款在法律上往往站不住脚或无法执行。一些贡献者建议求职者在签署前协商或删掉这些条款,但也有人承认,由于权力关系不对等,这对许多员工来说很困难。 * **企业担忧:** 一些评论者认为,这些条款的增加是针对知识产权盗窃日益严重的一种防御性回应,而另一些人则将其视为企业权力过度扩张的表现。 * **总体倾向:** 讨论参与者大体上对竞业禁止持批评态度,许多人认为这是对职业自由的不必要限制。一些用户指出,对于普通员工而言,这些条款往往“还没写在纸上的价值高”。

古根海姆证券(Guggenheim Securities)对150名IT专业人士进行的调查显示,企业对人工智能(AI)的采用正在加速,81%的大型企业已经部署了AI智能体。目前,Anthropic和OpenAI在企业领域占据主导地位。据报道,使用AI工具的员工生产力提升了18%,企业将其IT预算中约19%用于AI驱动的软件开发、分析和运营。 尽管取得了这一进展,但该行业对不断上涨的“Token成本”表示日益担忧。近期有关AI账单激增的报告引发了内部审查,许多公司正在仔细监控成本,以确保其不会超过AI带来的实际效益。尽管如此,企业对该技术仍持乐观态度,预计到2027年,AI将使营业利润率提高3.1%。 在劳动力方面,调查澄清了关于AI导致大规模失业的担忧在很大程度上并未得到证实。受访者报告称,与AI相关的平均裁员率仅为2.5%。该技术并未引发大范围裁员,而是主要用于缓解劳动力短缺并优化现有工作流程,尽管分析师对这些采用趋势的长期发展轨迹仍存在分歧。

联系我们 contact @ memedata.com