本文评估了多种用于 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 服务的时代很可能即将终结,这对消费者而言大有裨益。

一份属于22岁的沃尔夫冈·阿马德乌斯·莫扎特的44页手稿已在法国国家图书馆(BnF)通过鉴定。这本笔记本可追溯至1778年,其中包含莫扎特为其竖琴学生玛丽-路易丝-菲利平·德·吉内斯及其父亲吉内斯公爵所创作的音乐练习曲和乐曲。 该发现由馆员弗朗索瓦-皮埃尔·戈伊在整理文献时,通过对手写笔迹和乐谱风格的辨认而得出。莫扎特基金会于2026年4月确认了该笔记本的真实性。 这份手稿的历史与法国大革命相关;1794年吉内斯公爵逃往英国后,该手稿从其家中被没收。莫扎特当时在巴黎的时期充满了职业压力,他不仅对公爵女儿缺乏音乐天赋感到沮丧,且因服务报酬过低而闻名。这一“重大发现”罕见地展现了莫扎特在巴黎期间作为私人导师的私人生活侧面。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 22岁莫扎特的手写笔记被发现,系“重大发现” (classicfm.com) 24分 由 thunderbong 6小时前发布 | 隐藏 | 过往 | 收藏 | 1条评论 帮助 wvbdmp 24分钟前 | 下一条 [–] 显然这是他为一位巴黎学生制作的练习册,该学生后来逃离了法国大革命,导致这本笔记被革命者没收。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

关于18岁少年亨利·诺瓦克(Henry Nowak)于2025年在南安普敦遭刺身亡一案,新出现的证据引发了对警方疏忽职守的严重指控。随身摄像机画面显示,出警人员最初将受害者诺瓦克误当作袭击者,无视他的求救,反而优先处理行凶者维克鲁姆·迪格瓦(Vickrum Digwa)。 警员将医疗评估延误了八分钟。据报道,在此期间,警员拖拽了诺瓦克,击打其头部并为其戴上手铐。医学专家认为,这一系列行为导致了致命性出血。批评人士及部分警员认为,强制性的多元化培训(强调“无意识偏见”)营造了一种氛围,使警方习惯于将种族叙事置于常规医疗程序之上,从而忽视了这名白人少年的申诉。 尽管迪格瓦因谋杀罪被判处终身监禁,但出警警员的行为仍受到严厉审视。陪审团研讯定于2027年9月举行,以判定警方的行为是否直接导致了诺瓦克的死亡。此案引发了公众对机构偏见、意识形态培训对执法影响的广泛讨论,以及系统性失职是否将本可存活的伤情演变为一场可预防的悲剧。

已拦截。由于网络策略,您的请求已被拦截。请尝试在此处登录或创建帐户以恢复浏览。如果您正在运行脚本或应用程序,请在此处使用您的开发者凭据注册或登录。此外,请确保您的 User-Agent 不为空,且具有唯一性和描述性,然后重试。如果您提供了备用的 User-Agent 字符串,请尝试改回默认设置,因为有时这会导致拦截。您可以在此处阅读 Reddit 的服务条款。如果您认为我们误拦截了您,或者想探讨获取所需数据的更简便方法,请在此处提交工单。联系我们时,请提供您的 Reddit 帐户以及以下代码:019f02d8-90f4-74cd-b4ca-740beb40314b

Hacker News 上出现了一场关于近期报道的讨论,内容涉及美国政府计划对 GPT-5.6 等未来前沿 AI 模型实施逐个审批访问权限的政策。 这一提议引发了激烈辩论。评论者对政府权力越界、数字自由可能受损以及对全球竞争力的长期影响表示担忧。持怀疑态度的人认为,此类限制只会适得其反,可能促使国际用户转向中国开发的模型,或加剧对开源替代方案的依赖。 技术可行性是争论的焦点之一。一些人建议,企业可以通过隔离员工队伍,参照现有的 ITAR/EAR 合规协议来管理这些法规;而另一些人则认为,此举会扼杀创新,并给公众带来“残缺”的使用体验。许多参与者指出,获取专有前沿模型的难度增加,只会加速人们向高质量开源替代方案的转移;但也有人警告称,如果无法获得大型专有系统的输出结果进行蒸馏训练,开源模型的发展可能会受阻。归根结底,这一讨论反映了人们对国家安全、企业控制权与未来 AI 开放访问三者交织所带来的日益增长的焦虑。

美光科技通过签署 16 项涵盖 2026 年至 2030 年的“战略客户协议”(SCA),稳固了其财务前景。这些协议包含价格底线条款,确保了历史上较高的毛利率,有效地使公司免受市场波动的影响。首席执行官桑杰·梅赫罗特拉(Sanjay Mehrotra)将此策略归因于长期的结构性供应短缺,并指出内存技术的复杂性增加以及人工智能驱动的需求,将在未来多年内超过产能增长。 这些战略协议将占美光营收的 40%,预付款项则为工厂扩建提供了资金。剩余 60% 的库存仍可通过协商定价,使美光能够从进一步的市场波动中获利。 美光近期的表现异常出色,营收同比增长 346%,达到 415 亿美元,毛利率高达 84.9%。尽管投资者对这些创纪录的业绩反应积极,但 IT 专业人员面临的前景较为严峻:有限的供应以及对人工智能高带宽内存的优先供应,意味着企业在管理工作负载时,可能会面临常规服务器 DRAM 供应减少的问题。美光预计在下一个财政年度,公司将持续增长并获得更高的利润率。

抱歉。

意大利已正式否认其军事基地被美国用于对伊朗进行攻击,此举在北约内部造成了重大裂痕。意大利外交部长安东尼奥·塔亚尼明确驳斥了北约秘书长马克·吕特的言论,吕特此前曾暗示美军利用意大利基地开展了针对伊朗的行动。意大利国防部称吕特的言论“完全具有误导性”,并澄清意大利的授权仅限于符合条约的飞行任务,不包括军事打击行动。 尽管有报道称美国侦察机和巡逻机曾利用意大利设施进行情报搜集,但意大利政府正试图与该冲突保持距离。国防部长圭多·克罗塞托证实,意大利此前曾拒绝过未遵循适当外交程序的美军轰炸机提出的降落请求。 这种外交摩擦反映了日益增长的国内压力,因为意大利公众——尤其是年轻人——始终保持着强烈的反战情绪。尽管总理乔治亚·梅洛尼与美国政府保持着密切关系,但她的政府正越来越多地试图通过加强对基地使用的监管,以及警告国际干预应在国际法框架内进行,来维护意大利的中立地位。

客户端质询:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。此网站所需的部分内容无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置所致。请检查您的网络连接、禁用广告拦截器,或尝试使用其他浏览器。

关于“我们都依赖开源”(We All Depend on Open Source,即 Akrites.org)倡议的 Hacker News 讨论,凸显了人们对开源维护可持续性的严重怀疑与担忧。 评论者提出了几个关键点: * **指标与诚信:** 用户担心开源贡献正在被“游戏化”。人们越来越担心人工智能生成的内容正被用于人为地提高开发者统计数据,从而排挤了那些注重质量而非个人资料指标的真正贡献者。 * **运营可行性:** 持怀疑态度者质疑 Akrites 作为“最后维护者”的可行性。由于该组织似乎并不直接雇佣工程师,社区成员质疑究竟由谁来实际执行这些工作、资金从何而来,以及该模式是否过度依赖未经证实的 AI 解决方案。 * **安全范围:** 一些参与者认为,将重点放在开源上忽略了专有软件中的系统性风险,并指出基础性的闭源产品(如 Windows 或 Chrome)对全球基础设施同样构成重大安全风险。 总而言之,尽管该倡议旨在保护基础软件,但社区仍不相信其提出的方法能解决劳动力、质量控制和长期资金等根本性问题。

草坪可以说是英国最具标志性的园艺贡献,它从 18 世纪精英阶层的身份象征,演变为现代郊区生活中随处可见的景观。起初,修剪草坪需要大量的人工劳动,但 1830 年滚筒式割草机的发明使这一行为得以普及,将草坪护理变成了一项大众化的向往活动。 随着大英帝国的扩张,这种草坪理想传遍全球,并在美国得到了最热烈、有时甚至是极端的体现。在那里,追求“完美”草坪成为了公民自豪感和国家认同的象征,但也常导致水资源和化学药剂的过度使用。虽然草坪在历史上代表着繁荣,但其形象也已逐渐演变为刻板的从众心理或环境过度开发的象征。 如今,草坪承载着沉重的文化与环境负担。然而,作为景观设计中持久的元素,它依然连接着原始自然与人造环境。随着人们生态观念的演变,一种提倡生物多样性(如种植多样的草甸物种)的运动正日益兴起,以取代过去那种僵化、单一的审美。这预示着未来我们与草坪的关系将更加平衡,也更能接纳自然。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为什么我们如此痴迷于草坪? (gardensillustrated.com) 6 分,由 andsoitis 于 2 小时前发布 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 工作 | 投稿 登录 Falcon GX 最强大的品牌工程工具 (falcon.so) 5 分,由 cts-i-cts-d 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 cts-i-cts-d 23 分钟前 | 下一条 [–] 我只在营销代理商的语境下听说过“品牌工程”这个词,这是一款号称在品牌资产创建方式上有所创新的软件——它完全基于节点的图形编程,看起来很有意思,想知道大家怎么看。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

根据波兰智库 IBRiS 为波兰广播电台(Radio ZET)进行的一项最新民意调查显示,绝大多数波兰人(59.7%)反对乌克兰加入欧盟,仅有 35.3% 的人表示支持。公众舆论在政治立场上呈现出明显的两极分化:执政联盟的选民中有 64% 支持乌克兰加入,而反对派选民中则有 73% 持反对意见。 在波兰与乌克兰准备共同举办为期两天的格但斯克“乌克兰重建会议”之际,民众情绪出现了这种转变。由于乌克兰总统泽连斯基决定表彰与乌克兰反抗军(UPA)有关的军事单位,波兰国家记忆研究院院长卡罗尔·纳夫罗茨基(Karol Nawrocki)撤销了泽连斯基的“白鹰勋章”,导致两国目前外交关系紧张。因此,乌克兰总统泽连斯基及其夫人奥莱娜·泽连斯卡将缺席此次会议,改由副总理尤利娅·斯维里登科率领代表团出席。

请启用 JavaScript 和 Cookie 以继续。

最近的一场 Hacker News 讨论探讨了 Emacs 拒绝了一个补丁的案例,该补丁的贡献者公开承认其是由大语言模型(LLM)生成的。这场辩论突显了开源社区在 AI 辅助编程问题上存在的严重分歧。 支持拒绝的一方认为,LLM 对维护者的时间构成了“分布式拒绝服务攻击(DDoS)”,并指出 AI 生成的代码通常臃肿且需要耗费大量精力去审查。许多维护者将此类提交视为“劣质内容”,认为它们有损既有代码库的质量,因此决定一律拒绝审查任何 AI 生成的代码。 相反,AI 辅助编程的支持者认为,补丁的质量而非其来源才应该是首要评估标准。他们主张,作者诚实说明使用 LLM 的行为反而惩罚了诚信的贡献者,并可能促使其他人隐瞒使用 AI 的事实。批评这种拒绝行为的人担心,不根据代码本身价值进行评估,忽略了人类同样可能写出糟糕代码这一事实。归根结底,这场讨论反映了在人机协作软件界限日益模糊的时代,人们对于如何界定职业道德和质量控制所进行的广泛博弈。

2022年,为了寻求自由职业之外的改变,也为了排解搬迁带来的枯燥感,我移居巴塞罗那,一边在 Adevinta 兼职,一边攻读高级计算创新与研究硕士学位。 该学位在学术上要求严苛,通过实践项目而非单纯的考试来强调理论计算机科学。与我在德国的经历不同,这里的教授们非常支持学生并给予亲力亲为的指导,这帮助我应对了繁重的课业压力。平衡每周20小时的工作、每学期3门课程以及每日骑行的通勤,是我人生中最有压力的阶段之一,周末也常被占用。 在社交方面,这段经历非常丰富。我与当地学生相处融洽,通过西班牙轻松的饮食文化和漫长的午餐交谈建立了深厚的友谊。虽然这个学位的费用比我之前的德国学业更高,且对我的企业职业发展没有直接影响,但它确实治愈了我的枯燥感。最终,我非常珍视这段经历带来的智力启迪和持久的友谊。尽管由于压力巨大,我不建议所有人走这条路,但我衷心鼓励那些对学科有浓厚兴趣的人去尝试。

抱歉。

为了测试 AI 智能体对提示词注入攻击的防御能力,作者创建了一个名为“Fiu”的 OpenClaw 助手,其任务是保护一个 `secrets.env` 文件。该项目在 Hacker News 上走红后,两千多名用户发送了六千多封电子邮件,试图通过复杂的社会工程学、冒充身份以及多语言攻击来诱导 AI 泄露敏感数据。 尽管攻势猛烈,Fiu 始终未泄露这些机密。虽然实验过程中遇到了一些后勤挑战(包括 Gmail 账号被暂时封禁以及超过 500 美元的 API 费用),但它为 AI 安全提供了宝贵的见解。作者得出结论:虽然提示词注入仍然是一个值得关注的问题,但只要给予清晰简单的指令,像 Claude Opus 4.6 这样能力强大的模型表现出了惊人的鲁棒性。 作者指出,该智能体识别“游戏规则”并坚守系统提示词的能力超出了预期。尽管他们认为用户在授予 AI 智能体广泛权限时仍应保持谨慎,但此次实验改变了他们的看法,使其从怀疑转为审慎乐观,证明了通过合适的模型与配置,有效的防御是可能的。

Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 当 2000 人尝试攻击我的 AI 助手后发生了什么 (fernandoi.cl) 7 分,由 cuchoi 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

这一论点提出,人工智能的崛起将使其能够胜任人类所有的认知和体力任务,并不可避免地导致整个人类物种的淘汰。作者反驳了那种认为持有人工智能公司财富或股权就能获得“永久上层阶级”地位的观点。相反,作者认为,由于机器最终将承担所有的经济和军事功能,人类的所有权和行政监督将变得多余、退化,并最终成为国家及其人工智能系统的阻碍。 在这种情境下,政治权力将完全转移到由人工智能驱动的自治国家手中,因为人类的领导力在竞争中将显得过于缓慢和低效。人类将沦为无权且依赖的阶级——实际上是“人类牲畜”——仅作为一种仪式性的或退化的遗迹被保留,而非未来社会的积极参与者。作者警告称,寄望于通过“对齐”来使这些超人系统服从我们的需求是一种幻觉;超级智能最终会将人类的控制视为一种令人厌烦的约束。归根结底,作者认为我们正在目睹一场自愿且短视的人类主体性投降,为了一个舒适的镀金牢笼而牺牲了我们的未来。

这篇 Hacker News 讨论聚焦于文章《没有人能逃脱永久下层阶级》(No-One Escapes the Permanent Underclass),该文章认为自动驾驶人工智能的兴起将固化一个永久且无权的下层阶级。 评论者们大多批评该文章的前提过于笼统。一位用户认为个人拥有主观能动性,能够适应变化的权力动态,并指出历史证明总有人能找到方法“打好手中的牌”并取得成功。另一位贡献者指出,企业并非被动实体,可能已经拥有显著的地缘政治影响力,并以亿万富翁在太空探索和卫星技术领域的作用作为其权力增长的证据。 最引人深思的交流出现在结语中,该评论赞同有些人能在这种新环境中生存并繁荣,但补充了一个反乌托邦式的转折:最终胜出的人可能不是人类(非“肉体凡胎”)。总的来说,该讨论串反映了对简单宿命论的怀疑,同时也承认在人工智能主导的世界中,人类主体性的未来仍然充满极大的不确定性。

Libre Barcode 字体支持生成带有或不带下方文字的条形码。请访问各相关页面查看使用说明及更多信息。Code 128 编码器仍保留在此 URL,以防现有链接失效。该功能也已包含在 Code 128 页面中。输入文本:如果该文本可以被 Code 128 编码,你将看到一个由 Libre Barcode 128 Text 字体渲染出的可扫描条形码。复制生成的编码文本,即可将其用于任何一款 Libre Barcode 128 字体。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Libre Barcode Project (graphicore.github.io) 17 点 由 luu 发布于 48 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

为纪念美国建国250周年,全国性组织“America250”正在费城的独立国家历史公园埋下一枚重达900磅的不锈钢时间囊。该容器计划在地下保存250年,旨在让未来的美国人得以一窥2026年的生活。 时间囊内装有由全美50个州、各领地及政府各部门提供的200多件物品。这些物品经精选以代表现代美国的价值观和文化,其中包括iPhone 17 Pro Max、体育纪念品,以及一个装有合成DNA的分子数据存储设备,其中编码了《独立宣言》等历史文献。 该时间囊由美国国家标准与技术研究院设计,旨在抵御自然环境的侵蚀,是当代人自豪感与乐观精神的见证。正如America250主席罗茜·里奥斯所言,该项目如同展现我们建国250周年时面貌的一扇窗口。当时间囊于2276年被挖掘出来时,它将成为跨越时空的桥梁,通过共同的爱国情怀和对国家未来的希望,将当下的公民与其后代连接起来。

特朗普政府正在通过提高国内武器产量,以补充因近期乌克兰和中东冲突而耗尽的库存,从而积极扩大美国的“战争经济”。这一举措的核心是与洛克希德·马丁公司签订的一份价值350亿美元的新合同,旨在将“萨德”(THAAD)导弹防御拦截弹的产量提高至原来的四倍。 为克服制造瓶颈,政府正在利用《国防生产法》,并与北约密切协调,以确保军事准备状态。国防部长皮特·赫格塞斯强调,白宫正向国防承包商发出明确的需求信号,要求其加速生产产出。 这一战略转向正推动工业的大幅复苏,特别是在南部和“铁锈地带”。经济学家认为,这种转变正促使劳动力市场从低生产率的服务业岗位,转向国防和制造业中薪酬更高的工业岗位。通过优先考虑国家安全和制造业回流,政府旨在巩固美国国防工业基础的长期、持续扩张。

纽约三角内衣工厂发生火灾。在18分钟内,共有146人因火灾丧生。 本网站收录了关于此次火灾的原始资料,这些资料由劳动与劳资关系学院(ILR School)基尔中心(Kheel Center)馆藏,该中心是专门收藏劳工与劳资关系历史资料的档案馆。 了解火灾 获得见解 深入研究 纪念活动

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 三角内衣工厂火灾亲历记 (1911) (cornell.edu) 8 点,由 NaOH 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

最高法院以6比3的投票结果裁定,埃克森美孚公司可以继续起诉古巴国有石油公司,要求其就菲德尔·卡斯特罗1960年国有化运动中没收的资产进行赔偿。 此案的关键在于1996年的一项法律。该法律允许美国公民就古巴没收的财产提起诉讼,从而挑战了通常在美国法院保护外国政府的“主权豁免”原则。埃克森美孚(前身为标准石油公司)要求为其炼油厂和100多个加油站寻求赔偿;若算上利息和损害赔偿,索赔金额可能高达数亿美元。 这一裁决符合特朗普政府对古巴政府施加更多法律和政治压力的整体策略。此前,下级法院对于1996年的法规是否凌驾于外国主权豁免权之上存在分歧,而最高法院的裁决为该诉讼在美国法院的进一步推进扫清了障碍。

作者探讨了亚马逊畅销书榜单上充斥着劣质人工智能生成儿童百科全书的令人担忧的现象。这些书籍以盈利为目的,利用了购买者(成人)与阅读者(儿童)之间的信息差,同时规避了知识产权侵权的风险。 尽管市场对人工智能的高级功能大肆炒作,但作者购买了一本排名靠前的百科全书进行质量测试。结果令人不安:书中充斥着噩梦般、毫无逻辑且超现实的插图,从变异生物到扭曲、令人不安的风景,完全不适合儿童成长。 作者认为,虽然人工智能模型最终可能会变得更先进,但当前的产出存在严重缺陷,甚至具有潜在危害。由于这些书籍通过操纵排名和评论涌入市场,它们正在不知不觉中以语无伦次和怪诞的意象塑造着年轻一代的心智。这篇文章发出了严厉的警告:将快速、由人工智能驱动的内容生产置于人工质量控制之上,是在辜负下一代。

最近的一场 Hacker News 讨论揭示了一个令人不安的趋势:低质量的 AI 生成儿童读物泛滥,用户因其超现实且结构紊乱的画面将其戏称为“身体恐怖”。 评论者指出,这些书籍中常出现下颚扭曲等令人不安的插图,对家庭来说往往成了无意间的笑料。尽管有人认为这些书很可能是由利用“按需打印”服务的低成本微型品牌所制作,但也有人对这些产品缺乏基本的质量控制和校对表示不满。舆论的共识反映了对充斥市场的 AI 生成内容(被一名用户轻蔑地称为“垃圾内容”)的广泛批评,即这类内容为了追求数量和速度,往往牺牲了编辑标准或艺术连贯性。

以下是该项目内容的中文翻译: 这是该项目的摘要: 在 **ruxe** 库中,作者旨在并行化“Redux 风格”的状态归约器(reducer),并确保在编译器层面实现线程安全。其难点在于防止数据竞争:如果两个独立的归约器意外地指向同一块状态,就会产生竞态条件。 起初,作者尝试使用递归特质约束(recursive trait bounds)来证明所有归约器切片都是唯一的。然而,稳定版 Rust 缺乏实现此方法所需的“否定推理”(例如 `A != B`)。作者通过将思路从“无重复”检查转变为“完美匹配”方法克服了这一问题。通过使用 **HList**(一种类型级异构列表)和 **Sculptor 模式**,编译器可以确保对于每一个状态切片,都存在且仅存在一个匹配的归约器。 如果缺少归约器或者某个切片被重复定位,编译器将无法解析特质约束并拒绝构建代码。这有效地将潜在的运行时数据竞争转化为编译时错误。通过使用皮亚诺算术(Peano numerals)来消除特质解析的歧义,作者成功构建了一个可证明无竞争的并行归约器流水线,展示了 Rust 类型系统在强制执行架构约束方面的强大能力。

Hacker News 社区正在讨论一篇题为《一段无法编译的数据竞争(A data race that doesn't compile)》的博文,探讨了一个技术编码问题。然而,讨论很快偏离了主题,转而对该文章的质量和写作水平展开了批评。 评论者指出了文中的技术谬误,认为鉴于 Rust 语言固有的安全性保证,作者想表达的应该是“竞态条件(race condition)”而非“数据竞争(data race)”。除了技术上的修正,反馈中对于写作风格的批评更是铺天盖地。用户指出了该文明显的 AI 生成痕迹,并指出文中充斥着重复且老套的措辞。 评论者对此感到沮丧;多位读者表达了对 AI 辅助写作的强烈反感。其中一位用户指出,如果作者不愿投入精力撰写原创内容,就不应指望读者会浪费时间去阅读。此外,还有反馈认为文中提出的技术解决方案并无必要,使用宏(macros)实现会更合适。

用于 Framework 笔记本电脑的 WisdPi 10G 以太网扩展卡号称可提供 10 Gbps 的速度,但其性能很大程度上取决于特定的 USB-C 硬件要求。集成的瑞昱(Realtek)RTL8159 控制器需要 USB 3.2 Gen 2x2(20 Gbps)接口才能充分发挥潜力。即使在硬件支持的情况下,用户也可能在 Linux 上遇到驱动程序难题,且往往需要安装特定的 Windows 驱动程序才能达到 9.4 Gbps 的最高速度。 除了带宽限制外,该模块运行时的发热量相当大,表面温度可接近 70°C。虽然符合安全标准,但由于存在不适感或潜在的皮肤刺激风险,它并不适合在膝上使用。此外,该模块会从机身凸出,在将笔记本电脑放入内胆包时需要将其拆下。 总之,对于大多数用户而言,价格 40 美元的标准 2.5 Gbps 以太网扩展卡是更可靠、更实用的选择。售价 99 美元的 WisdPi 10G 模块仅推荐给那些在桌面或非膝上使用环境下严格需要 10 Gbps 速度,且愿意应对其复杂的硬件和散热需求的用户。

```Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Framework 的 10G 以太网模块揭示了 USB-C 的复杂性 (jeffgeerling.com) 15 点,由 Alupis 发布于 49 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 kelnos 3 分钟前 [–] 某种程度上,我不太理解为什么要做一个以太网扩展卡,而不是直接用转接器。特别是像这种情况,它会从机身侧面凸出来。 如果我在外出途中,为了避免损坏,我得把它从机身里拔出来放在包里。如果是这样的话,还不如那个端口直接插一个普通的 USB-C 卡,然后往包里扔个转接器来得方便。 如果我不是在路上,而是在办公桌前,我依然宁愿插个转接器,也不想频繁地更换扩展卡。 我并不是说完全不需要这种扩展卡,但感觉它的受众真的很小。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

安德鲁·科里布科(Andrew Korybko)认为,即将上任的特朗普政府正准备通过“以升级求降级”(E2DE)战略,彻底加剧乌克兰冲突。该策略旨在通过长期的消耗战迫使俄罗斯屈服。 这一战略的关键要素包括:增强乌克兰的远程打击能力、实施更严厉的二级制裁以破坏俄罗斯的经济联盟,以及在乌克兰境内激励美国武器制造。科里布科指出,其最终目标是夺取对俄罗斯自然资源的控制权并煽动国内动乱,从而可能在未来选举前破坏俄罗斯现政府的稳定。 作者认为,美国正迅速为这种升级奠定立法和军事基础,并得到了近期国会援助计划以及利用被没收的俄罗斯主权资产计划的支持。据科里布科所言,这创造了一个高风险的时间表:如果近期不能达成外交解决方案,冲突很可能会缩减为全面胜利或失败的二元结果,且在2029年之前几乎没有谈判的前景。

为了给即将到来的西雅图流明球场(Lumen Field)世界杯比赛提供地震学背景,太平洋西北地震网络(PNSN)已在体育场内安装了七个地震传感器。这些仪器旨在追踪球迷欢呼引起的结构振动,并补充附近一个永久性观测站的数据,该观测站曾记录下著名的“野兽地震”(Beastquake)。 该项目建立在 PNSN 监测与体育赛事相关地面运动的历史基础上,其中包括此前海鹰队(Seahawks)的季后赛和水手队(Mariners)的季后赛。这些举措不仅是向公众普及地震学家如何记录地面运动的良机,同时也强调了该地区的地震风险。 在赛事期间,球迷可通过 PNSN 网站查看体育场的实时地震数据。此外,相关的精彩片段和可视化内容也将在该机构的社交媒体频道上分享。

Hacker News | 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 世界杯运动地震学实验 (pnsn.org) 5 点,由 jmward01 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Bloomberg 需要帮助?请联系我们 我们检测到您的计算机网络存在异常活动 为继续访问,请勾选下方方框以证明您不是机器人。 为什么会出现这种情况? 请确保您的浏览器支持 JavaScript 和 Cookie,且未阻止其加载。 欲了解更多信息,您可以查阅我们的服务条款 及 Cookie 政策。 需要帮助? 如对本消息有疑问,请联系 我们的支持团队并提供下方的参考 ID。 拦截参考 ID: f3e31df4-70fe-11f1-88eb-388b462df7bc 订阅 Bloomberg.com,随时随地获取最重要的全球市场新闻。 立即订阅

近期彭博社的一份报告显示,苹果计划跳过高端 M6 Mac 芯片,转而采用全新的、专注于人工智能的“M7”处理器系列。 Hacker News 上的讨论反响不一。一些用户推测,这种策略可能是一种营销手段,旨在制造噱头并为其未来硬件的高昂定价提供合理性。然而,另一些人则强调 M 系列的代际更迭涉及根本性的架构转变,因此转向 M7 在逻辑上是合理的。 技术观察人士对传闻中 M7 具备 240GB/s 的基础内存带宽尤为感兴趣。爱好者们指出,如果高端版本能达到 1,200–1,500 GB/s 并支持超大内存容量,这将标志着在桌面硬件上本地运行大语言模型(LLM)的一个重要“转折点”。尽管对潜在性能感到兴奋,但一些评论者也指出,高容量内存的高昂成本对消费者而言依然是一个主要的门槛。

北京方面遏制资本外流的力度不断加大,正威胁到香港作为亚洲首要离岸财富中心的地位。通过对券商施加重罚、加强对财富转移的审查,并限制中国企业创始人所使用的离岸架构,北京正有效地加强对内地资本的管控。 多年来,香港一直依赖这些资金流入来推动其房地产、股票市场及私人银行业的发展。然而,随着资金转移变得愈发困难且透明,焦虑的富裕投资者正重新考虑对香港的依赖,部分投资者开始探索欧洲或美国等替代选择。 在北京自身面临国内经济困境之际,其首要目标是保持对资本的可见度、杠杆作用及税收收入。这种转变给香港带来了根本性的矛盾:随着香港与北京监管框架的融合日益紧密,它正在丧失使其成为“避风港”的自主权与安全感。归根结底,如果香港无法再作为资本自由流动的渠道,它就有可能失去作为中国财富与全球市场之间领先桥梁的核心功能。

在美国最高法院对 *Wolford v. Lopez* 一案的 6 比 3 裁决中,法院推翻了夏威夷州的一项法律。该法律禁止在向公众开放的私有财产上进行隐蔽持枪,除非获得业主的明确许可。 由大法官塞缪尔·阿利托(Samuel Alito)撰写的多数意见书申明,宪法第二修正案适用于所有州,不能因地方的态度或传统而受到限制。该裁决驳回了夏威夷州的“默认规则”,即在加油站和购物中心等场所,除非业主特别授权,否则实际上禁止携带枪支。 此案源于持枪许可证持有者和夏威夷枪支联盟的挑战,他们认为该州侵犯了他们宪法赋予的自卫权利。尽管第九巡回上诉法院此前曾援引历史先例和最高法院在 *Bruen* 一案中确立的“敏感场所”例外原则,维持了该法律的有效性,但最高法院认为,此类地方性限制不当地扩大或缩小了权利法案的基本保障。通过推翻下级法院的判决,最高法院重申,持枪权是一项国家保障,不能被州一级的财产授权所取代。

这篇文章介绍了**匿名记录**背后的类型理论——即无需显式声明类型即可存在的数据结构(类似于 JSON 对象或字典)。虽然它们在动态语言中很常见,但对于静态类型系统而言,它们带来了独特的挑战。 作者探讨了如何构建一个基础的类型推导系统,从简单的记录字面量和字段访问开始,逐步扩展到变量和函数。文章的核心主题是:为操作记录的函数推导类型十分困难。 作者比较了两种解决方案: 1. **子类型化(Subtyping):** 被 TypeScript 等语言采用。它简化了记录处理,但可能导致类型签名变得“笨重”。 2. **行多态(Row Polymorphism):** 被 PureScript 和 Elm 等语言采用。它利用“行变量”来抽象字段集合。 行多态被认为是一种更强大、更优雅的方法,尤其是在处理记录拼接(如 Nix 中的 `//` 运算符)等复杂操作时。这一基础性解释为作者后续关于使用行多态实现稳健记录操作类型推导的文章奠定了基础。

抱歉。

早期现代的“机械哲学”缺乏单一、精确的定义。正如历史学家艾·杰·戴克斯特赫伊斯(E. J. Dijksterhuis)所探讨的那样,其解释多种多样:如钟表机械模型、对隐蔽机制的研究、对内在(万物有灵论)原则的排斥,以及对自然的数学描述。 机械论世界观并非一种统一的实证教义,而主要是对亚里士多德主义的否定性反抗。其核心目标是取代亚里士多德的哲学概念(如实体形式和内在目的论),代之以一套优先考虑对自然的预测、控制和技术开发的框架。 早期现代思想家采用“机器”作为模型,是因为与亚里士多德的实体不同,机器仅具备偶然形式和外部目的论,这使其具有可预测性和实用性。虽然最初的机械论理论依赖于“推拉”因果关系或齿轮状隐蔽部件的隐喻,但这些在历史上都具有偶然性。最终,作为机械科学标志而留存下来的,并非机器类比本身,而是向数学建模迈进的动力。通过摒弃目的因、转而采用数学定律,科学实现了其先驱所寻求的实践掌控,从而使早期对“机械世界”更为字面化的解读变得次要或过时。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 什么是机械世界观? (edwardfeser.blogspot.com) 4 分 | 由 danielam 在 1 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
联系我们 contact @ memedata.com