芝加哥大学普利兹克分子工程学院的研究人员开发出一种生成复杂、高度纠缠量子态的简化方法。该研究发表在《物理评论 X》上,提出通过引入额外的激光或磁场来调节原子群的能级,从而改进通常受限于对称性的标准腔量子电动力学(QED)系统。 这种方法使科学家无需新的专用硬件即可创造出多种纠缠态。通过调节这些“简单的要素”,研究人员能够制备出既对磁场或引力场等外部变量高度敏感,又对噪声具有显著抗性的量子态。这种双重特性使得该方法在推动超精密量子传感领域极具前景。 此外,该平台还能够稳定诸如 AKLT 态等复杂状态,这对于研究奇异磁性材料及潜在的量子计算机构建大有裨益。尽管目前尚处于理论阶段,但这项工作为实际量子应用提供了一条可访问且可控的路径。通过利用现有的实验室基础设施,这项研究展示了可以通过巧妙、极简的实验设计来实现复杂的量子现象,使强大的量子技术更接近现实。

将递归功能添加到 `lychee` 过程十分困难,因为该工具最初的设计架构是一个单向、一次性执行的流水线(有向无环图),而非爬虫。异步流水线中的循环结构极易导致死锁。 通过分析 `muffet` (Go)、`LinkChecker` (Python)、`linkinator` (TypeScript) 和 `broken-link-checker` (JS) 等递归链接检查器,作者发现这些工具都采用了一种统一的架构模式来解决递归问题: 1. **可变前沿队列 (Mutable Frontier):** 一个用于存放待处理 URL 的工作队列。 2. **提前去重 (Early Deduplication):** URL 在进入队列的瞬间即被标记为“已访问”,从而避免竞争条件。 3. **终止检测 (Termination Detection):** 一种用于标识所有任务何时完成的机制,例如 `WaitGroup`、可连接计数器或空闲 Promise。 4. **关注点分离 (Separation of Concerns):** 至关重要的是,这些工具将“工作队列”(前沿)与“速率限制器”(并发控制)分离开来。 `lychee` 此前因为混淆了这些角色并试图在异步线程间管理共享状态而陷入困境。`lychee` 未来的改进方向是采用这些标准的爬虫模式,同时保持其原有一次性流水线的高性能,从而证明在不牺牲速度的情况下也能实现递归功能。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 其他链接检查器是如何进行递归的 (endler.dev) 4 点 | zdw 2 小时前 | 隐藏 | 往日 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的重视。arXiv 始终坚持这些价值观,并仅与遵循这些价值观的合作伙伴开展合作。您是否有意开展一个能为 arXiv 社区增值的项目?了解更多关于 arXivLabs 的信息。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 代币经济学:量化代币在代理软件工程中的应用 (arxiv.org) 11 分,Anon84 发布于 54 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

位于肯塔基州阿什兰市的 WDGG(FM) 电台被迫停播,原因是一名被确认为保罗·克里斯普(Paul Crisp)的窃贼切断了电台的主传输线,企图盗取铜线。据称,该嫌疑人在切断沉重电缆并将其拖回附近家中前,先破坏了监控摄像头。当地警方在简短追捕后逮捕了克里斯普,并追回了被盗财产。 此次破坏行为造成了严重的运营损失,导致电台的广播功率大幅下降,仅剩 10 瓦。电台所有者迈克·克特纳(Mike Kirtner)估计维修费用在 7 万至 10 万美元之间,因为这种特殊的加压传输线难以更换。工程总监埃文·阿德金斯(Evan Adkins)目前正在协调维修工作,希望能在 6 月 5 日前恢复直接信号传输,但要恢复至全功率运行仍需更长时间。 克特纳表示,社区给予了巨大的支持,并将针对这家本土电台的袭击视为对社区支柱的攻击。虽然克特纳承认预防此类犯罪十分困难,但他强调了广播设施的脆弱性,并指出储备关键备件对于减轻未来中断影响的重要性。

最近,俄亥俄河谷一座10万瓦调频广播发射塔发生了一起铜质传输线被盗事件,在Hacker News上引发了热烈讨论。评论者对这一罪行的猖狂程度感到困惑,并指出由于存在极强的射频能量、高压电和加压组件,篡改此类大功率无线电设备极其危险,甚至可能致命。 尽管电台的维修费用估计在7万至10万美元之间,但用户指出,被盗电缆的实际废料价值可能仅有几千美元,这凸显了其风险与回报之间的荒谬性。讨论还涉及了铜盗窃案的类似趋势、停机期间广告收入的损失,以及无线电发射机的技术防护措施。许多参与者对作案者竟能幸存表示难以置信,并有多人建议,有必要加强对废金属经销商的监管,以遏制此类危险的犯罪活动。

世界粮食计划署(WFP)已发出严正警告,指出伊朗及波斯湾地区的冲突正对全球粮食安全产生灾难性影响。战争导致粮食和燃料成本飙升,并扰乱了贸易活动,致使数百万人陷入严重饥荒。具体而言,索马里有250万人、阿富汗有230万人、斯里兰卡有130万人因此无法满足基本营养需求。 世界粮食计划署指出,即便冲突局势缓和,这些负面经济后果仍将持续,因为能源成本的上涨将继续推高本已脆弱国家的食品价格。联合国面临严重的资金短缺,由于国际支持减少以及成员国拖欠会费创下历史新高,这场危机进一步恶化。因此,世界粮食计划署被迫缩减对数百万人的援助。该机构紧急呼吁全球捐助者增加财政捐款,并警告称如果行动失败,将导致巨大的严重人道主义后果,特别是在索马里和阿富汗等地区。

由于您没有提供需要翻译的具体内容,请提供您想要翻译的文本。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: DomainTasker —— 避免域名丢失和意外续费 (domaintasker.com) 5 分,由 si_164 发布于 40 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 tom1337 5 分钟前 | 下一条 [-] 这具体是做什么的?几乎所有注册商都已经提供到期提醒了吧?域名服务器(Nameserver)管理也让我感到困惑。这是在集中管理所有服务商的 DNS,还是仅仅管理 NS 记录? 回复 petra303 12 分钟前 | 上一条 [-] 开启自动续费并绑定一张信用卡不就行了? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

探索我们精心挑选的 11,082 件公有领域作品,供所有人免费浏览、下载和重复使用。这是一个实时更新的数据库,每周都会添加新图像。或按类别浏览,进入“无限视野”。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 公共领域图像档案馆 (pdimagearchive.org) 由 davidbarker 发布于 1 小时前,9 积分 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 neilv 4 分钟前 [–] 有人知道如何轻易地为这些所谓的“公共领域”图像进行“版权清算”吗? 例如,我点击的第一张图像页面上写着: 日期 1833 底层权利 全球公共领域 数字权利 无额外权利 * 来源声明“无已知限制” * 我们仅提供此信息作为参考 附带链接:https://pdimagearchive.org/reusing-images/ 如果我用这样的图片设计了一本自出版书籍的封面,Amazon KDP 会拒绝它吗?因为他们可能不接受这种截图作为权利证明? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

由布朗大学的王来生(Lai-Sheng Wang)教授领导的化学家团队,首次为硼富勒烯(B80)提供了实验证据,证实了自2007年以来一直存在的理论结构。通过蒸发硼靶并利用精确的冷却技术,该团队获得了与经典碳富勒烯(足球状几何结构)相吻合的电子“指纹”。 这一发现意义重大,因为它挑战了现有的计算模型。尽管作为预测分子稳定性标准方法的密度泛函理论(DFT)此前将B80笼状结构评估为不如其他结构稳定,但实验光电子能谱证实了其富勒烯的几何结构。王教授认为,这一发现揭示了DFT在该特定体系中的局限性,尽管一些专家仍呼吁进行进一步的独立验证。 B80与C60具有价电子等电子性,这表明它未来可能作为半导体、超导体或储氢材料。虽然大规模合成仍具挑战,但该团队对此持乐观态度,并将其与此前研究后硼烯(borophene)的快速合成进行了类比。未来的研究将侧重于测试该团簇的反应性,以确定扩大生产规模的可行性。

```Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 介绍硼富勒烯:B80 笼结构无法制成的理论被推翻 (acs.org) 16 点,由 crescit_eundo 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 | 帮助 crescit_eundo 2 小时前 [–] 完整标题为: “介绍硼富勒烯:理论预测 B80 笼结构无法制成。实验学家刚刚证明了事实并非如此” 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索: ```

在拉斯维加斯举行的爱迪生电力协会会议上,抗议者打断了内华达能源公司(NV Energy)首席执行官布兰登·巴克赫夫(Brandon Barkhuff)的发言,以抗议不断上涨的电费以及定于2027年1月实施的“每日需求费”。此次活动由“联合纳税人联盟”(United Ratepayers coalition)组织,示威者认为,这种基于15分钟用电高峰计算的费用,对于在极端高温下无法切实减少空调使用量的弱势居民构成了威胁。 包括气候公平政策研究员莱斯利·维加(Leslie Vega)在内的批评人士认为,该政策实际上是一种“空调配给制”,并指出一些公用事业部门的专家最初曾建议不要征收此项费用。相反,内华达能源公司坚称,新的费率结构对于防止客户之间的成本转嫁是必要的,并声称这最终将降低大多数南内华达州居民的账单费用。 此次冲突凸显了日益增长的公众摩擦。目前,全美各地的公用事业公司正面临巨大压力,一方面需要平衡超过1万亿美元的基础设施投资,另一方面要应对消费者对能源负担能力的日益担忧。尽管该公司倡导将其费率设计作为实现公平和效率的工具,但抗议者仍要求采取更广泛的清洁能源倡议,并为低收入家庭提供即时救济。

周六,以色列对黎巴嫩南部的空袭造成九人死亡,其中包括三名黎巴嫩武装部队成员,死者包含一名准将和一名上尉。以色列国防军(IDF)证实了此次空袭,并表示正在调查该事件。以方声称,事发时有一辆车辆在靠近其部队时表现出“可疑”行为。 黎巴嫩军队谴责此次袭击是“野蛮行径”,并警告称此类侵略只会加强他们的决心。这一事态发展恐将进一步加剧地区紧张局势,与此同时,美国仍在持续向黎巴嫩政府施压,要求其解除真主党的武装。然而,黎巴嫩国家士兵被杀事件可能会破坏这些努力,并加剧其国内的政治分歧。 此次事件也引发了国际摩擦。继黎巴嫩总统约瑟夫·奥恩近期批评真主党和伊朗将黎巴嫩用作“谈判筹码”后,伊朗外交部长阿巴斯·阿拉格齐予以犀利回击,敦促奥恩去面对“真正的敌人”——以色列。此次空袭突显了当前停火协议的脆弱性,以及黎巴嫩军方与以色列军队之间日益加深的互不信任。

本项目提供了一套经过扩展、符合 Unicode 标准(ISO 10646-1)的经典 X11 位图字体。这些更新后的“-misc-fixed-*”字体现已支持多种字符集,包括全面的欧洲语言子集、希腊语、西里尔语、国际音标(IPA)、数学符号、盲文等。项目还增加了多种新字体,包括斜体变体以及用于日语和韩语的专用双倍宽度字体。此外,标准的 Adobe 和 B&H 像素字体也经过修订,加入了现代编码支持并修复了错误。 这些字体专为支持 Unicode/UTF-8 的应用程序而设计。安装包内包含一个转换脚本 `ucs2any.pl`,可将这些字体映射到旧式编码,以兼容传统软件。虽然这些字体涵盖了大多数书写系统,但刻意排除了印度语系、阿拉伯语和叙利亚语,因为 X11 位图系统缺乏处理这些语言所需的复杂字符到字形映射的基础设施。 该项目发行范围广泛,包含在 XFree86 和 X.Org 的发布版本中。所有字体均属于公共领域,并持续维护以确保符合 Unicode 3.2 标准及提供后续的错误修正。完整的安装包和文档可通过提供的下载链接获取。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 X11 的 Unicode 字体与工具 (cam.ac.uk) 7 分,由 kristianp 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 jech 22 分钟前 [–] 那是很久以前的事了。传统上,Unix 下的字符是以区域设置(locale)相关的方式编码的:西欧使用 ISO 8859-1,东欧使用 ISO 8859-2,日本使用 EUC-JP 等。在 20 世纪 90 年代,以 Markus Kuhn 和 Bruno Haible 为首的人大力推动 XFree86(X.Org 的前身)转向与区域设置无关的 UTF-8。 该链接指向 Markus Kuhn 的网页,其中似乎描述了 1998 年左右可用的 UTF-8 软件。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

抱歉。

**Keybench** 是一款可编程、可扩展的基准测试工具,专为衡量有序键值存储的性能而设计。通过使用 Lua 定义工作负载,该工具确保了不同存储引擎之间的对比能够真正聚焦于引擎本身,而非测试框架的差异。 ### 主要功能 * **性能指标:** 提供工作负载单位(wu/s)和原始操作(ops/s)的吞吐量报告,以及每种操作类型的详细延迟分布(p50、p99、p99.9 和最大值)。 * **可编程工作负载:** 使用 Lua 定义操作。测试框架负责处理并发、执行限制(时间或数量)以及数据填充。 * **灵活的引擎支持:** 支持可插拔的后端(如 RocksDB、TidesDB 以及内存跳表参考实现)。添加新引擎无需修改核心代码。 * **基准测试网格:** 自动运行“网格”测试(引擎、线程和批处理大小的笛卡尔积),并提供中位数结果。 * **分析与报告:** 支持多种输出格式(控制台、用于电子表格的 TSV 以及实时时间线流)。内置系统和构建探测器,用于捕获环境上下文。 * **可复现性:** 基准测试可以保存为 INI 配置文件并精确重放。 `keybench` 是自包含的(内置了 Lua),并提供了用于可视化结果的 Python 脚本。

抱歉。

请启用 JavaScript 和 cookie 以继续

一篇最近的 Hacker News 文章指出,一个三人工程团队利用 OpenAI 的 Codex 在五个月内生成了百万行代码并合并了 1,500 个拉取请求(PR)。该团队平均每位工程师每天处理 3.5 个 PR,他们声称这种人工智能驱动的方法显著加快了开发周期。 然而,Hacker News 社区对此持怀疑态度。评论者质疑文章缺乏对产品性质的背景说明,并指出当前许多“代理型”工具似乎主要专注于构建更多的人工智能软件,而非解决更广泛的技术问题。另一些人则对生产力提升的说法提出质疑,认为尽管内部团队的开发速度似乎加快了,但没有证据表明整个行业在软件质量或交付速度上实现了相应的飞跃。归根结底,这场讨论凸显了人工智能集成团队所报告的高产出指标与这些工具对通用软件领域产生的实际影响之间存在的鸿沟。

美国联邦地区法官约翰·麦康奈尔(John McConnell Jr.)裁定,特朗普政府必须恢复处理来自39个受限国家国民的庇护申请及移民福利请求。该裁决撤销了美国公民及移民服务局(USCIS)实施的多项政策;此前,该机构曾因白宫附近发生安全事件而暂停处理相关申请,以优先进行强化背景调查。 由奥巴马任命的麦康奈尔法官宣布这些政策“武断且反复无常”,认为该机构超越了其法定职权,并以国家安全为幌子掩盖反移民情绪。包括多个倡导组织在内的原告方对该裁决表示赞赏,称其结束了移民因原籍国而被迫陷入的“法律困境”。 美国国土安全部(DHS)强烈反对这一裁决。国土安全部总法律顾问詹姆斯·珀西瓦尔(James Percival)批评了该决定,称此次法律挑战是“披着法律外衣的蓄意破坏”,并指出这属于利用“敌意”指控来废除特朗普时代政策的惯用伎俩。政府方面坚称,这些措施在其法律授权范围内,旨在确保充分的背景调查与国家安全。

这条 Hacker News 讨论帖探讨了用户 *juecd* 发表的一篇文章,其中详细介绍了一种将 Firecracker 启动 Chromium 的时间优化至 20 毫秒以内的方法。 讨论重点关注了 Linux 的 `userfaultfd` 特性。用户指出,尽管该特性在管理大规模同构虚拟机集群方面潜力巨大,但目前的相关文档依然不足。*juecd* 解释道,他们选择 Firecracker 是因为其具备卓越的隔离性和冷启动性能,并指出其定制化方案目前的表现比标准的 Firecracker 基准测试快了 5.8 倍。该讨论帖还涉及了人们对这些优化方案与现有浏览器基础设施提供商相比如何的广泛兴趣。

据报道,美国国防部已将其认可的宗教名单从原先的 180 个削减至 31 个。这份精简后的名单目前主要包含“无宗教”、“不可知论”、基督教各派系以及其他几个主要世界宗教。 此举在 Hacker News 上引发了争议,评论者批评该政策意在优先强化白人基督教身份。批评人士还指出了名单中显著的遗漏(例如摩门教未被归类为基督教),并对当局的意识形态导向表示担忧。一些用户指出了这一决策的讽刺之处,另一些人则质疑该备忘录在官僚层面的准确性,指出文中将相关机构称为“战争部副部长”而非标准的“国防部副部长”。总体而言,许多人将这一调整解读为一种边缘化军队内部宗教多样性的排他性行为。

在人工智能时代,搜索 Facebook Marketplace 揭示了一种奇怪的新现象:卖家正在通过聊天机器人或图像生成器处理产品照片,将衣着暴露的女性植入商品列表中。这种营销策略显然是寄希望于利用“色诱”图片来增加点击量,并提高在在线市场上售出商品的几率。 记者 Trung Phan 在 X 上写道:“Facebook Marketplace 上有个家伙发布了多个重型卡特彼勒工业设备的列表,上面叠加了人工智能生成的女性模特图片。这一定有着业内领先的点击率。” 果然,这种“色诱”图片似乎确实奏效了……这里还有另一个例子。 一位 Facebook Marketplace 的卖家表示,这种营销策略绝对有效。这是一个卖家如何利用人工智能试图提高低点击率的现实案例。

尽管克里斯托弗·哥伦布常因其航行失误而备受诟病,但并未正确使用北极星并不在其中。1492年时,由于地轴进动(地球自转轴2.6万年的周期性摆动),北极星距离真正的北天极约有3.5度,是今天偏差距离的五倍。仅依靠北极星会造成巨大的航行误差。 为了弥补这一偏差,伊比利亚海员采用了“北极星定位法”。通过观测小熊座中的“卫极星”(如帝星和北极二),航海家能够计算出北极星相对于真北的位置,并据此修正纬度。这一技术在18世纪设备改进以实现更高精度之前,一直至关重要。如今,虽然全球定位系统(GPS)已在远洋航行中基本取代了这些方法,但其背后的天体定位原理仍在业余天文学家校准望远镜时发挥作用。

```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 投稿登录哥伦布当年用什么代替北极星 (signoregalilei.com)16 分,由 surprisetalk 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 macartain 14 分钟前 [–] 我们能不能加个新标签叫“AI 垃圾”?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索:```

最近在中国发生的一场公开演示中,宇树科技(Unitree)的 G1 人形机器人在表演时踢中了一名幼童的腹部,引发了对安全问题的担忧。虽然该儿童并未受重伤,但这一事件以及近期其他有关机器人事故和人工智能安全故障的报道,再次引发了人们对于在公共场所部署自主机器所带来风险的讨论。 随着人形机器人执行复杂肢体动作的能力日益增强,这些事件凸显了人工智能在安全和法律责任方面的重大挑战。如何认定责任依然是一个复杂的问题,法律责任的界定尚不明确,分散在软件开发商、制造商和操作者之间。 尽管各国政府(尤其是欧盟)正致力于建立清晰的人工智能监管框架,但行业内部面临着实施更严格安全标准的巨大压力。专家们普遍认为,尽管这些机器的自主性在不断提高,但法律责任仍须由部署它们的组织和个人承担。随着这些技术不断融入公共环境,如何在创新、透明度和人类安全之间取得平衡,仍是监管机构和机器人公司共同面临的首要任务。

摩托罗拉 WiFi 路由器用户正面临严重困扰,其强制使用的“MotoSync+”应用程序已近一个月无法正常工作。自 5 月中旬以来,用户无法登录账号,导致无法设置新设备、调整网络设置或执行恢复出厂设置。 该问题源于由授权商 Premier LogiTech, LLC 运营的应用程序。虽然现有的网络连接暂时还能维持,但无法访问应用程序使得新路由器或重置后的路由器实际上变得无法使用。尽管 Reddit、亚马逊和应用商店上充斥着大量投诉,但摩托罗拉官方尚未给出任何公开解释。此外,该公司已悄然从官网删除了所有路由器的相关信息,且客户支持部门大多未予回应或处理无效。 有报道指出这可能是服务器故障或授权失效所致,然而用户——包括一些支付了高级订阅费用的用户——目前没有任何途径对硬件进行故障排查或管理。因此,许多感到沮丧的客户建议其他人彻底放弃摩托罗拉产品。面对路由器逐渐变成“压纸石”的现状,该公司至今仍保持沉默。

据报道,摩托罗拉已导致其全线 WiFi 路由器“变砖”,且未向用户提供任何解释。此事件在 Hacker News 上引发了激烈讨论,用户纷纷批评该公司的软件质量与支持服务。 评论中反复出现的主题是,人们对那些强制要求使用移动应用进行配置的硬件日益感到不满,许多用户现在将其视为“不可接受”。关于根本原因的猜测指向了严重的内部失误,例如糟糕的软件管理、开发团队的大规模裁员,或是机构知识的流失。一些参与者提到了行业历史案例,即公司因意外解散了整个部门,导致其无法继续维护自身产品。总的来说,社区认为这一情况是一个警示,告诫人们不要依赖缺乏透明度和强大本地控制能力的硬件生态系统。

```diff --- a/src/auth/login.ts +++ b/src/auth/login.ts @@ -12,6 +12,18 @@ +export function validateToken(token: string) { + const decoded = jwt.verify(token, SECRET); + if (!decoded.exp || decoded.exp < Date.now() / 1000) { + throw new TokenExpiredError(); + } + return decoded; +} + @@ -24,8 +36,10 @@ export async function authenticateUser( - const user = await db.findUser(email); - if (!user) return null; + const user = await db.findUser(email); + if (!user) throw new UserNotFoundError(); + await rateLimiter.check(email); @@ -45,12 +59,0 @@ -export function legacyAuth(user, pass) { - return db.query('SELECT * FROM users - WHERE email = ? AND password = ?', - [user, pass]); -} ```

**Sem** 是一款全新的开发者工具,它超越了传统的逐行分析,通过将代码库解析为函数、类和方法等实体的依赖图来进行工作。 通过跨文件映射这些实体,与传统的语言服务器协议(LSP)相比,Sem 能够以更细粒度的方式理解代码变更。虽然 LSP 提供了深度的类型感知,但 Sem 利用 Tree-sitter 实现了速度优势和跨语言的一致性,使其成为 AI 代理的通用工具。 该项目不仅限于追踪修改,还引发了关于开发者如何“塑造”代码以改善 AI 辅助工作流效果的讨论。用户正在探索是否可以通过清晰的文档、具描述性的签名和定义明确的逻辑分支来构建代码,从而提供更好的信号,引导 Claude Code 等 AI 工具生成更高质量、更具行为导向的输出,而非依赖薄弱的样板式单元测试。最终,Sem 旨在将重心从文本差异对比转移到基于实体的软件演进理解上。

本文详细介绍了一种稳健且与架构无关的方法,用于反虚拟化受 Themida 等虚拟机保护程序保护的代码。 作者没有依赖脆弱的模式匹配,而是利用“引导式符号执行”(Guided Symbolic Evaluation)将原生指令提升为简洁的中间表示(IR)。通过保持堆栈指针(RSP)的具体值,并使用一系列相互关联的优化遍历——包括常量提升、常量折叠、无效存储消除和指令组合——虚拟机内部的“脚手架”(如字节码解密和处理程序分发逻辑)被系统性地瓦解。 该过程旨在持续运行,直到 IR 收敛为清晰的类原生状态,随后将其降级回可执行的机器码。这种方法的关键在于通过跟踪虚拟指令指针(VIP)并准确识别 VMEXIT 模式来处理虚拟化控制流。最终输出的代码与原始功能代码几乎是一一对应的,避免了不必要的堆栈溢出等常见缺陷。文章最后指出,对于反虚拟化而言,通用的编译器优化比针对特定虚拟机的逆向工程更有效且更具可持续性;同时也承认,先进的混淆器必须实现更复杂、不可约简的表达式,才能抵御这些现代符号执行技术的攻击。

Hacker News | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 **Themida 静态去虚拟化 (back.engineering)** 9 分 | homarp | 1 小时前 | 隐藏 | 往日 | 收藏 | 1 条评论 | 帮助 homarp 1 小时前 [–] 本文演示了对 CodeVirtualizer/Themida 加密代码的去虚拟化,但文中所述技术几乎适用于所有基于虚拟机的混淆器。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

航空新闻博客《The Aviationist》近日重点报道了 YouTube 频道《Project Fear》在 51 区附近拍摄的一张热成像图,图中似乎显示了一架此前从未曝光的隐身飞机。该神秘机型采用了独特的折线风筝翼和鸭翼设计,引发了外界猜测,认为它可能与美国空军的“下一代空中优势”(NGAD)项目以及新近宣布的 F-47 第六代战斗机有关。 在过去十年中,航空爱好者曾多次追踪到类似的身份不明飞行物。尽管人们对这一尖端航空航天技术可能公开的消息感到兴奋——特别是在特朗普总统近期证实 F-47 项目存在之后,一些分析人士仍指出,这些影像可能是一场精心策划的心理战。通过围绕这些“黑色项目”制造公众好奇心,美国或许旨在展示实力,并保持一层神秘面纱以震慑潜在对手。

几十年来,大学学位曾是抵御失业的可靠屏障,确保应届毕业生在就业市场上的表现优于普通劳动力。然而,这一优势已逐渐减弱;自2019年初以来,应届毕业生的失业率一直高于整体劳动力,这一差距在2026年达到了历史新高。 值得注意的是,这种转变先于疫情和生成式人工智能的兴起,这表明这是一场长期的结构性变化,而非突发冲击。专家指出主要有两个原因:远程办公的普及限制了缺乏经验的新人获得必要的职场指导,以及人工智能对入门级职位的冲击。 关键在于,这是一场入门级职位的危机,而非学位本身的贬值。年长的学位持有者仍保持着较高的就业率,毕业生的境况也依然好于没有学位的年轻人。虽然学士学位仍具有显著的长期价值,且优于没有学位的情况,但它不再是就业的捷径。人才进入职场的传统“通道”实际上已经中断,使得从学校向职场的过渡变得比近期历史上任何时候都更加困难。

Hacker News 最近的一场讨论指出,数据表明美国大学应届毕业生的失业率目前高于整体劳动人口。 评论者们对这一统计数据的意义展开了辩论。一些人认为该数据具有误导性,并指出将应届毕业生与包含资深工作者的整个劳动力群体进行比较,属于“拿苹果和橘子比”。另一些人则指出,虽然学位不再是就业的保障,也不再优于全国平均水平,但相比失业率更高的无学位工作者,学位依然具有显著优势。 该讨论帖探讨了社会期望的变化。一些用户认为,毕业生们越来越挑剔,为了等待专业岗位而陷入“职业倦怠”。另一些人则认为这种趋势反映了一个长期存在的问题,即人们熟悉的“受过高等教育的咖啡师”这一老生常谈。最终,舆论一致认为,虽然大学学位仍然是一项有价值的资产,但“学位是通往职业成功捷径”这一传统叙事正受到当前市场现实的挑战,这引发了人们对毕业生幻灭感及可能退出劳动力市场的担忧。

多名联邦调查局(FBI)分析师及一名主管因参与一份备受争议的2023年情报备忘录而被解雇。该备忘录将“激进传统派天主教徒”标记为潜在的国内极端分子。这份备忘录引用了南方贫困法律中心的信息,因被指针对保守派而遭到国会共和党人和公众的强烈抵制。 该文件源于对泽维尔·洛佩兹(Xavier Lopez)的调查,此人有心理健康问题史,且因极端网络言论曾受FBI监控。尽管FBI声称该备忘录旨在帮助宗教团体识别激进化倾向,但调查人员发现,分析师们缺乏证据将教会与洛佩兹的危险行为联系起来。 报告指出,FBI曾利用线人渗透洛佩兹在弗吉尼亚州里士满参加的教堂。然而,证据显示,洛佩兹在参加礼拜之前就已处于监视之下,他关注该会众是出于个人原因,而非意识形态招募。尽管FBI此前试图将该备忘录解释为失误,但近期的解雇行动表明,FBI领导层正在持续推动问责。

本文介绍了如何在 PyTorch 模型中实现并集成自定义 C++/CUDA 算子,并确保其与 `torch.export` 和 AOTInductor 编译流程兼容。 **核心内容包括:** * **自定义函数:** 使用 C++/CUDA 实现并通过 `TORCH_LIBRARY_IMPL` 注册,使 PyTorch 能够根据输入设备分发算子。 * **自定义类:** 使用 `torch::CustomClassHolder` 定义,支持在 Python 中调用具有状态(存储参数)的模块。 * **符号追踪兼容性:** 为支持 `torch.export` 和 AOTInductor,开发者必须为这些算子注册“假”(抽象)版本。这使得符号追踪器能够在不实际执行 C++/CUDA 内核的情况下理解算子逻辑。 * **部署:** 编译后的模型可打包为 `.pt2` 格式。该产物具有可移植性,支持在 Python 和独立 C++ 环境中进行高性能推理(通过 `dlopen` 加载自定义算子库)。 遵循此工作流程,开发者可以将自定义 C++/CUDA 内核的高性能与 PyTorch 现代导出及编译工具链的可移植性相结合,从而确保在多种推理运行时中实现无缝执行。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 PyTorch 自定义算子 (leimao.github.io) 17 点 由 eigenBasis 发布于 5 小时前 | 隐藏 | 往日 | 收藏 | 3 条评论 帮助 Evidlo 2 小时前 | 下一条 [–] 在深入使用 CUDA C++ 这种底层技术之前,难道没有其他实现 PyTorch 自定义算子的方案吗?比如使用 Jax 或 CuPy? 回复 fooblaster 47 分钟前 | 上一条 | 下一条 [–] 嗯,我上次查看时 dynamo 还不支持 torchbind。请问是什么时候添加对 torchbind 支持的?我需要知道该升级到哪个版本的 torch。 回复 dayeye2006 2 小时前 | 上一条 [–] 很棒——如何添加 pt2 支持,以及如何让 inductor 将你的自定义算子与普通算子进行融合? 回复 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

```Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Computex 2026:我们是否已经迈向智能体 PC 时代?– EE Times (eetimes.com) 8 分,由 rbanffy 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 devn0ll 14 分钟前 [–] 看看我们对 AI 或 PC 上 Copilot 按钮的反应……我敢说这个“智能体时代”只不过是一厢情愿。消费者方面并没有任何真正的意愿或需求支持。 嗯,至少对我来说:不需要,谢谢。回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

请启用 JavaScript 和 Cookie 以继续。

《科学》杂志近期发表的一项研究指出,远程办公增加了社交孤立感,并与心理健康水平的下降相关,尤其是对于独居者而言。研究结果显示,这些员工的心理困扰有所增加,抗抑郁药物的使用率也随之上升。 该报告在 Hacker News 上引发了激烈讨论。支持者认为这些数据印证了人类对社交需求的常识,并分享了关于独自工作带来心理压力的个人经历。 然而,许多批评者质疑该研究的方法论。评论者认为,该研究将远程办公与美国文化中固有的孤独感等更广泛的社会问题混为一谈,且未能充分控制家庭结构等变量。怀疑者指出,该研究错误地将心理健康服务的使用率作为衡量心理健康状况的指标,并担心这些发现会被雇主利用,从而强制要求员工返回办公室,而不顾员工个人的实际需求或意愿。总体而言,这次讨论凸显了远程办公支持者与认为其有损身心健康者之间的分歧。

通用内存协议 (UMP) 旨在解决人工智能体 (AI agent) 内存碎片化的问题,目前这些内存分散在各类工具、厂商和本地文件中,彼此割裂。虽然现有的 MCP (工具) 和 A2A (协调) 等标准已能处理交互,但 UMP 提供了一个标准化的、中立于厂商的内存层。 UMP 将内存视为可移植的、经过签名的、具有双重时间属性的 JSON 记录。它作为应用层协议运行,利用现有的传输方式 (如 MCP、HTTP),并与包括本地文件、SQL 数据库和向量引擎在内的现有存储方案集成。通过使用 UMP,开发者可以将项目笔记、Obsidian 知识库和智能体日志等分散数据统一为一种可互操作的格式。 主要功能包括: * **可移植性:** 数据由用户所有,基于内容寻址,并使用分布式标识符 (DID) 进行签名。 * **兼容性:** 作为现有格式 (例如 `CLAUDE.md`) 的桥梁,无需进行数据库迁移。 * **安全性:** 内置防提示词注入保护和明确的数据保留策略。 * **灵活性:** 将内存协议与底层智能分离,允许不同的引擎在质量上展开竞争,同时保持完全的互操作性。 UMP 使智能体能够跨会话和厂商进行“记忆”,无需在每次切换工具或环境时重新加载上下文。

```Hacker News新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录通用内存协议——代理内存的共享格式 (universalmemoryprotocol.io)5 分,由 edihasaj 发布于 21 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```
联系我们 contact @ memedata.com