Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 书评:驰为(Chuwi)449 美元的 Unibook 笔记本电脑是 MacBook Neo 的哈哈镜版 (arstechnica.com) rbanffy 1 小时前发布,5 点 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

TurboKV 是一个专为 Rust 设计的异步嵌入式键值数据库,针对高性能存储进行了优化。它支持原子批处理、有序范围扫描、后台压缩,并通过三种模式提供可配置的持久性:**快速**(内存中)、**持久**(可崩溃恢复)和**偏执**(高频 fsync)。 主要技术特性包括: * **硬件加速:** 利用 AES 硬件指令优化布隆过滤器的性能。 * **灵活的 API:** 提供简单的 CRUD 操作、批量插入以及原子 `WriteBatch` 支持。 * **内存效率:** 具备可配置的内存表、块缓存以及多种压缩选项(LZ4、Snappy、Zstd)。 * **流式迭代器:** 提供内存高效的范围和前缀扫描,支持懒加载和手动守护控制。 TurboKV 设计上易于与 Tokio 集成,要求用户通过 `close()` 显式管理数据库生命周期,以确保数据完整性。基准测试表明,在顺序和随机写入工作负载中,TurboKV 的性能显著优于 `fjall` 和 `redb` 等同类嵌入式引擎,特别是在使用原子批处理时。要使用它,请将 `turbokv` 和 `tokio` 添加到 `Cargo.toml` 中,并确保启用适当的 CPU 目标特性(AES、SSE2/NEON)以获得最佳性能。

抱歉。

请启用 JavaScript 和 Cookie 以继续。

科技界正针对 OpenAI 因 SpaceX 收购 AI 编程助手 Cursor 而终止双方合作一事做出反应。OpenAI 指出,此举源于合同违规,以及对埃隆·马斯克此前通过提炼其模型来训练 xAI 产品行为的担忧。 讨论的主要要点包括: * **企业冲突:** 许多用户认为,这是萨姆·奥尔特曼(Sam Altman)与埃隆·马斯克之间长期不和的必然结果。观察人士特别指出,OpenAI 在公开声明中使用了不同寻常的直白语言,而非法律辞令。 * **Cursor 的未来:** 虽然一些人认为这对 Cursor 不利,但另一些人则认为用户会转向第一方“Composer”模型、Grok 或开放权重(open-weight)替代方案。有人推测,OpenAI 此举是为了扫清障碍,从而推出其自有的集成式编程产品,直接与 Cursor 竞争。 * **战略性不信任:** 此举凸显了一个更广泛的趋势:AI 公司正日益加强对其知识产权的保护,以防范合作伙伴进行模型提炼及竞争。 * **市场影响:** 尽管依赖 OpenAI 模型的用户可能会面临服务中断,但许多开发者指出,随着模型日趋商品化以及竞争性替代方案的增多,失去对 OpenAI 特定 API 的访问权限所带来的直接影响已有所减轻。

Kumander Linux(2.1 "Bulalo" 版本)是一个基于 Debian 的发行版,使用 XFCE 桌面环境,旨在提供轻量、稳定且熟悉的体验,特别为简化从 Windows 7 的过渡而设计。 该系统以其直观的界面和丰富的预装软件而著称。它包含了 LibreOffice(办公)、Kdenlive(视频剪辑)、Ardour 7(音乐制作)等必备工具,并预装 Google Chrome 作为默认浏览器。此外,软件中心支持轻松安装各种应用程序和 Flatpaks。 对于关注娱乐的用户,Kumander Linux 兼容 Steam,能够运行绝大多数热门游戏。该系统还通过“Live boot”模式提供了灵活性,无需安装即可进行测试;若需虚拟化运行 Windows,也支持 VirtualBox。凭借活跃的论坛社区,该项目成为了那些希望迁移至 Linux,同时又不愿放弃原有操作环境熟悉感的用户的理想选择——它既免费、强大,又易于上手。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Kumander Linux – 一个带有 Windows 7 桌面的 Linux 发行版 (kumander.org) 10 点,由 linuxkernal 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 Tiberium 14 分钟前 | 下一条 [–] 我很惊讶这个发行版的标题竟然是“Linux 上的 Windows 7 体验”,尽管它只是使用了一个模糊的 Windows 风格 XFCE 主题。如果有人对真正的 Windows 7 仿制品感兴趣,可以看看 https://gitgud.io/aeroshell/atp/aerothemeplasma,它非常接近。 自己看看吧: - Kumander: https://www.kumander.org/img/images/kumander.png - AeroShell: https://gitgud.io/aeroshell/atp/aerothemeplasma/-/raw/Plasma... 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

美国政府正考虑重启自二战以来未曾使用的古老海事法律机制——“战利品法”,旨在查扣并变卖在持续封锁行动中捕获的伊朗石油及船只。 目前,美国主要依赖缓慢且复杂的民事没收程序来扣押受制裁资产。“战利品法”将允许政府绕过这些障碍,在法律上将捕获的船只和货物直接宣布为美国财产并迅速变卖,所得款项将划归财政部。官员们认为,此举旨在加大对德黑兰的经济压力,并彰显封锁行动的严肃性。 然而,这一策略面临重大阻碍。法律专家指出,“战利品法”在现代法庭上尚无先例,考虑到目前缺乏正式的宣战声明,其法律效力存疑。此外,美国法律体系在执行此类程序方面缺乏经验,且预计船东们将发起激烈的法律挑战。批评人士还警告称,将此做法常态化可能会开创危险的先例,未来可能导致中国等竞争对手国以类似理由,在冲突中扣押美国或中立国的商船。

中国加大了对军队高层的清洗力度,近期将两名高级将领——张又侠和刘振立——从国家中央军事委员会中除名。两人均拥有罕见的实战经验,此前因涉嫌腐败或不忠而受到调查。随着两人以及钟绍军、巨乾生等另外两名高级将领被罢免全国人大代表职务,他们已失去法律保护,为后续的刑事起诉扫清了障碍。 此次撤职是自2022年以来中国人民解放军内部持续开展的广泛整肃行动的一部分,已有超过100名高级指挥官被免职。此次清洗显著针对了包括火箭军和战略支援部队在内的各大军种领导层。分析人士指出,这些举动表明中国军方高层存在严重的不稳定,引发了外界对军队战备状态和凝聚力的担忧。对采购腐败和政治忠诚的持续关注表明,领导人习近平正通过瓦解国防系统内潜在的反对力量,继续巩固权力。

为了确保全天候的可靠性,Monzo 开发了“Monzo Stand-in”,这是一套作为最后防线的独立银行备份基础设施。Monzo 的主平台运行在 AWS 上,而 Stand-in 则运行在 Google Cloud Platform (GCP) 上。 Monzo 并没有采用镜像主系统的方式(那样会涉及复杂的数据一致性问题,且存在重复相同软件错误的风险),而是从零开始构建了 Stand-in,使用了一套独特的轻量级服务。这种方法最大限度地降低了单一错误同时影响两个平台的风险,且成本效益显著,维护成本仅为主基础设施的 1%。 Stand-in 保留了余额和银行卡详情等关键数据的准实时、最终一致性副本。当主系统发生故障时,Monzo App 会切换到简化界面,由 Stand-in 独立授权交易。一旦主系统恢复,它会核对这些“交易记录”以同步主账本。 在紧急情况下,该策略优先考虑可用性而非完美的一致性,使得客户即使在重大事故期间也能继续消费和管理资金。Monzo Stand-in 在 2024 年 8 月的一次故障中被证明是成功的,它代表了一种现代且实用的灾难恢复模式,确保了系统能够抵御硬件故障和内部软件错误。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Monzo Stand-In (monzo.com) 9 分,作者:coffeefuel,1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

StemDeck 是一款免费、开源的本地音频音轨分离工具。与 Moises 或 LALAL.AI 等云端服务不同,StemDeck 完全在您的本地设备上运行,无需账号、订阅或配额限制,确保了完全的隐私性。 该工具利用 Meta 的 Demucs 模型,可处理各类文件(如 MP3、WAV、FLAC 等)或 YouTube 链接,将音频拆分为六个独立的音轨:人声、鼓点、贝斯、吉他、钢琴以及“其他”。 主要功能包括: * **DAW 风格界面:** 提供多轨混音器,支持音轨独奏、静音、音量平衡、循环播放及波形缩放。 * **本地处理:** 所有操作均在您的硬件上完成;不存储、缓存或分发任何数据。 * **灵活导出:** 支持导出单个音轨或根据需求自定义混合导出。 * **兼容性:** 适用于 macOS 和 Windows,支持 GPU 加速(NVIDIA/Apple Silicon)或仅使用 CPU 处理。 StemDeck 专为个人学习和音乐实验设计。尽管它不具备商业平台那样深度的移动端功能,但对于追求音频工作流本地掌控权的音乐人和制作人而言,它提供了一个高质量、私密且永久免费的解决方案。

**StemDeck** 是一款全新的免费开源桌面应用程序,允许用户将音乐曲目分离为六个独立的音轨(人声、鼓、贝斯等)。该项目旨在作为基于订阅的云服务的本地化替代方案,通过在用户设备上直接处理所有音频来确保隐私安全。 StemDeck 基于 Python、Demucs 和 Tauri 构建,支持 Windows、macOS 和 Linux 等跨平台使用,并针对 NVIDIA 和 Apple Silicon 提供硬件加速。主要功能包括: * **广泛的兼容性**:支持多种音频格式、YouTube/SoundCloud 集成以及播放列表管理。 * **内置工具**:包含基于浏览器的多轨混音器、自动 BPM/调性分析、音高/速度控制以及生成的节拍音轨。 * **便捷性**:通过二维码提供移动端友好界面,支持 Unraid/Docker,并具备持久化的本地库。 该项目采用 Apache 2.0 许可证发布,无广告、无遥测数据采集,也无需注册账号。目前该项目处于 Alpha 测试阶段,开发者欢迎用户提供反馈并参与贡献,以进一步完善工具的处理能力。

巴西总统大选正演变成一场势均力敌的较量,现任社会主义派总统路易斯·伊纳西奥·卢拉·达席尔瓦对右翼挑战者弗拉维奥·博索纳罗的领先优势持续缩小。瑞银分析师指出,在潜在的第二轮投票中,两名候选人之间的差距已缩小至仅 1.2 个百分点。 尽管预测市场目前仍看好卢拉,但民调的收紧为投资者带来了巨大的不确定性。此次选举呈现出鲜明的意识形态分歧:卢拉代表了左翼政策的延续,而博索纳罗则主张财政整顿和与债务挂钩的支出改革。 经济学家警告称,无论谁获胜,巴西都面临严峻的财政挑战,需要进行大规模调整以稳定国家债务。从更广阔的视角来看,这场竞选被视为南美洲向右翼政治进行代际转移的一部分。分析人士认为,这一趋势可能成为欧洲即将举行选举的风向标,在欧洲,随着选民对进步政策的抵触情绪日益增强,右翼政党也正获得势头。首轮投票定于 10 月 4 日举行。

在这篇为 Antiwar.com 撰写的文章中,诺兰·德纳罗(Nolan Denaro)批评了那些鼓吹美国与伊朗开战的公众人物,指出他们最初的热情建立在危险的误解和对现实的漠视之上。德纳罗重点提到了本·夏皮罗(Ben Shapiro)、马克·蒂森(Marc Thiessen)和杰西·沃特斯(Jesse Watters)等评论员,并指出他们在六个月的冲突后,当初那些自信的预测——如伊朗政权的迅速崩溃或美国军事后勤的绝对主导地位——都未能实现。 德纳罗断言,这些“主战派”在一个意识形态的泡沫中运作,忽视了反干涉主义专家的意见,并将持异议者诋毁为不爱国。作者将当前的冲突与 2003 年伊拉克战争中“任务达成”时刻的傲慢失败进行了对比,认为政府及其媒体盟友误导了公众,以证明其战略的草率。文章最后得出结论:未能实现任何既定目标,凸显了信任持怀疑态度的反战声音远胜于建制派权威人士的必要性;并暗示,若国家能采纳那些在外交政策上优先考虑审慎与现实主义的人的意见,将会获益更多。

作者记录了他们使用改装后的 Ender 3 3D 打印机进行生成式绘图艺术的探索过程。通过用磁铁将针管笔固定在打印头上,他们搭建了一套实用且经济的绘图装置。 为了生成艺术作品,作者使用 Inkscape 将矢量路径转换为 G 代码,并指出 Hershey 字体对于制作清晰的线条文字至关重要。其工作流程的核心是“Simple Inkscape Scripting”插件,它支持基于 Python 的程序化生成。由于该工具支持 NumPy 和 Pillow 等库,作者可以轻松尝试各种算法设计,例如从手绘输入中提取流动的抽象形状。该项目凸显了通过结合廉价硬件与灵活的脚本软件,生成式艺术变得触手可及。作者计划在继续探索新技术的同时更新他们的进展。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 绘图仪艺术实验 (sometimes.digital) 4 分,由 surprisetalk 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

罗格斯大学、曼哈顿研究所和网络传染研究研究所的研究人员进行的一项新研究报告称,接受跨性别意识形态与支持左翼威权主义(LWA)及政治暴力之间存在强相关性。 研究人员使用一种名为“临床性别肯定量表”(CGAS)的指标,对1,208名成年人进行了调查,以衡量他们对性别意识形态的认同度,以及对反民主行为和潜在暴力行为(如针对公众人物或破坏财产)的看法。研究结果表明,即使在控制政治身份的情况下,CGAS得分和左翼威权主义也是证明此类暴力合理性的重要独立预测因素。作者认为,性别意识形态可能通过将特定群体定义为“压迫者”并制造一种紧迫的、存在性的威胁感,从而充当了“意识形态助推剂”。 尽管该研究强调了统计学上的显著联系,但研究人员指出,这些发现是相关性而非因果性。他们目前正在设计后续实验研究,以确定接触性别意识形态内容是否会直接影响对威权主义和政治暴力的支持。

本摘要概述了 **Lemmalog** 的开发背景,该系统旨在解决大语言模型(LLM)智能体在执行漏洞研究等复杂任务时存在的“记忆”局限性。 在进行长期调查时,大语言模型往往难以维持准确且不断演进的状态,经常会遗忘已被证伪的假设或陷入循环推理。标准的记忆系统(如向量数据库)通过检索提供过去的信息,但无法管理逻辑一致性或因果依赖关系。 作者提出将大语言模型的调查过程视为一个**程序分析**问题。Lemmalog 充当了“编译器”的角色: * **大语言模型(前端):** 将杂乱无章的非结构化数据(代码、日志)提取为结构化事实。 * **Datalog(分析引擎):** 使用声明式逻辑管理这些事实。它能自动处理依赖关系跟踪、增量更新和撤回机制——如果某项输入事实被证明是错误的,系统会自动失效所有相关的结论。 基准测试显示,Lemmalog 在现有的记忆系统中极具竞争力,特别是在“知识更新”任务中表现优异。由于它通过维护状态而非重读整个对话历史,因此显著降低了 Token 的消耗。该项目证明,通过更好的结构化状态管理来取代“更多上下文”,可以有效提升智能体的可靠性。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我不小心把大语言模型记忆变成了程序分析 (pwning.systems) 8 分,作者:matt_d,1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 linguae 1 小时前 [–] 今年夏天我一直在研究利用本地大语言模型进行代理编程。虽然我还远算不上专家,但有一个想法一直萦绕在心头:即利用“老派”人工智能(如启发式搜索)中的技术来引导代理进行规划。这篇文章对 Datalog 的使用引起了我的共鸣,因为逻辑编程曾是老派符号人工智能的重要组成部分。我对这种“老派”人工智能与大语言模型的结合非常好奇。 回复 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 登录 第9巡回法院在 Kalshi 赌博案中支持各州立场 (azmirror.com) 10 点,hungryhobbit 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助 hungryhobbit 1 小时前 [-] 上诉法院裁定,体育博彩不受用于阻止 Kris Mayes 起诉的联邦法律保护。 回复 dcrazy 19 分钟前 | 父评论 [-] 希望 dang 能来重写一下标题。 回复 Detrytus 1 分钟前 | 根评论 | 父评论 [-] 他为什么要那么做?这可是链接文章的真实标题。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

小型桌面角色扮演游戏(TRPG)出版商正难以应对欧盟新的《包装和包装废弃物法规》(PPWR)。该法规旨在减少浪费,但实施了复杂的“生产者责任延伸”(EPR)要求,且欧盟27个成员国之间的具体规定差异巨大。 对于小型创作者而言,这种监管负担极其沉重。设计人员表示,要应对各成员国之间参差不齐的注册费用、不一致的标签要求以及对“包装”定义的模糊界定,需要投入大量资源,而许多独立企业并不具备这些条件。因此,包括 Black Armada 和 Genesis of Legend Publishing 在内的多家出版商已暂时停止向欧盟国家发货,以规避潜在罚款,或仅将销售范围限制在利润最高的地区。 虽然分销商可以提供一种变通方案,但其不断上涨的成本往往让独立创作者望而却步,这可能会导致消费者面临更高的价格。许多设计师认为,PPWR 以及其他近期出现的立法障碍并未考虑到小规模经营的实际情况,迫使他们必须在昂贵的合规成本、法律制裁风险,或是完全放弃大部分国际市场之间做出选择。设计师们强调,尽管该法规的环保目标是合理的,但目前“一刀切”的实施方式正不成比例地威胁着小型桌面游戏企业的生存。

```Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 PPWR(欧盟包装和包装废弃物法规)再次打击了本就脆弱的桌面游戏产业 (rascal.news) 14 点,由 healsdata 发布于 1 小时前 | 隐藏 | 往日 | 收藏 | 3 条评论 帮助 gerdesj 7 分钟前 | 下一条 [-] 这篇文章只说“我们必须遵守一些法规”,除此之外没有任何实质内容。文中既没有说明注册意味着什么,也没有说明到底需要什么样的包装。我们只看到了:“这是因为他们面临的主要问题之一是,为了保持符合 PPWR 要求,他们需要投入大量的资源。”但没有说明这意味着什么。这纯粹是一篇无病呻吟、缺乏实质内容的文章。我相信行业确实存在问题,但这篇报道毫无干货。 回复 ThrowawayTestr 10 分钟前 | 上一条 [-] 欧盟 GDP 中有多少比例来自对企业的罚款? 回复 gerdesj 7 分钟前 | 父评论 [-] 屁都算不上。你到底想表达什么? 回复 指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:```

美国政府问责局(GAO)近期的一份报告显示,美军设施的维护积压已飙升至2850亿美元,较2022年翻了一番还多。这场危机的根源在于美国国防部始终只申请了必要维修所需资金的80%。 其后果十分严重,不仅影响了作战准备,也影响了服役人员的生活质量。报告强调了各军事基地普遍存在的危险居住和工作条件,包括疑似霉菌、石棉、水渍以及基础设施老化等问题。在诺福克海军基地,码头腐烂和营房霉菌丛生的情况依然存在;而在温赖特堡,由于餐厅设施不足,士兵们被迫自费购买不够健康的餐食。 尽管五角大楼提出了创纪录的预算申请(包括2027财年的1.5万亿美元),但政府问责局认为,国防部是在明知会带来风险的情况下,人为削减了这些基础设施的经费。通过将其他支出置于基本维护之上,军方任由其设施处于退化状态,最终损害了武装部队的福祉和职能。

请启用 JavaScript 和 Cookie 以继续。

抱歉。

这项分析旨在探讨《苏美尔王表》(SKL)中大洪水之前的统治时长是否代表了对史前地质与气候事件的“扭曲记忆”。作者通过对241,200年的《苏美尔王表》序列进行重新缩放,并将其锚定在新仙女木期结束点(距今1.16万年),以此测试其与第四纪事件目录的统计一致性。 该研究使用高斯核函数对潜在匹配进行评分,评估了《苏美尔王表》序列与各种古气候及地质数据之间的关系。结果显示,两者并无统计学上的显著一致性。在所有测试配置中——包括针对多重比较的调整及探索性搜索——《苏美尔王表》序列的表现均未优于随机情况。使用其他古代年表(如《圣经》族长年龄)进行的类似测试也得出了相当的结果,这表明此类序列中明显的对齐很可能是巧合,而非编码的史实数据。 作者得出的结论是,没有可信证据表明《苏美尔王表》的统治顺序编码了特定的地质或气候标志。由于该分析具有探索性质,且在事件纳入与锚定方面存在主观选择,报告的p值可能高估了其显著性,从而进一步削弱了关于这些古代帝王名录是史前事件记录的假设。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 苏美尔王表与古气候事件是否吻合?(vectorian.be) dev_l1x_be 43 分钟前发布 | 17 分 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 mjd 10 分钟前 | 下一条 [–] 简短回答:不吻合。不过依然很有趣。 回复 tehnoslow 17 分钟前 | 上一条 [–] 有趣的分析。作者显然下了功夫去验证这个理论。我喜欢他不强行让数据去迎合结果,而是解释了为什么即使是看似吻合的地方也可能只是巧合。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:```

美国财政部已对伊朗启动“次级”制裁,针对埃及米斯尔银行(Banque Misr)的阿联酋分行,理由是其为伊朗的业务往来提供了便利。此举限制了这些分行进入美国金融机构及进行美元交易。财政部长斯科特·贝森特强调,此举旨在发出警告,即伊朗的“协助者”若破坏美国制裁,必将面临后果。 此外,美国还制裁了一家被控为伊朗兑换行洗钱的香港实体。尽管政府言辞强硬,誓言切断伊朗的经济命脉,但这些措施的影响仍然有限。埃及中央银行证实,制裁仅限于阿联酋分行,该行的开罗总部及其他国际办事处不受影响。 虽然特朗普政府承诺对任何援助伊朗的国家施以“巨大的经济后果”,但美国是否会因中国与伊朗之间大规模的石油贸易而与其正面交锋,仍存在重大疑问。目前,该政府的策略仍侧重于有针对性的经济压力,而非广泛、系统的冲突。

以参议员泰德·克鲁兹(Ted Cruz)为首的共和党议员正在推动将资本利得税与通胀挂钩。此举旨在防止投资者和房主因货币贬值导致的“虚增”收益而缴税。根据现行法律,税收是基于名义收益计算的,这意味着纳税人缴纳的是资产价值膨胀部分的税款,而非真实的经济增长。 支持者认为,这项改革促进了公平,并保护了“美国梦”。相反,批评者则认为该提案变相为富人提供了巨额减税,未来十年内可能会导致联邦政府损失 1700 亿美元至 1 万亿美元的税收,从而加剧本已严重的国家赤字。 这场辩论在法律和政治层面依然错综复杂。尽管支持者敦促财政部采取单方面行动,但专家指出,这种授权在法律上存在疑问,且历来属于国会的管辖范围。此外,虽然收入最高的前 1% 人群持有大部分资本利得,但相当一部分受影响的纳税人属于中等收入阶层。目前,财政部尚未表态,在财政稳定性和税收公平性的双重担忧下,该提案的前景仍不明朗。

本指南概述了如何使用 `vphone-cli` 工具在 Apple Silicon 上引导虚拟化 iPhone。 **设置:** 通过 Homebrew 安装依赖项,克隆存储库,并运行 `./scripts/build.sh` 以编译工具链并打包应用程序。 **使用:** 该工具将整个虚拟化流程简化为一条命令: `vphone-cli vm create <name> -V jb` 此命令可处理下载、打补丁、DFU 恢复以及自定义固件 (CFW) 的安装。各步骤也可手动执行以进行精细控制。可用的补丁版本从 "less"(最小化补丁)到 "exp"(反虚拟机检测及安全绕过)不等。 **主要功能:** * **存储:** 虚拟机数据位于 `~/.vphone/`,可通过 `$VPHONE_ROOT` 进行重定向。 * **交互:** 通过 SSH (端口 22222) 或 VNC (端口 5901) 访问虚拟机。 * **自动化:** 主机控制套接字 (`vphone.sock`) 支持程序化交互,包括截图和模拟输入,适用于人工智能驱动的测试。 **要求:** 需要一台运行 macOS 15+ 的物理主机。为处理 Apple 的 AMFI 安全机制,用户必须禁用 SIP 并设置 `amfi_get_out_of_my_way` 启动参数,或使用 `vphone-amfidont` 工具将二进制文件加入白名单。设置时请确保地区设置为美国,以避免监管问题。

GitHub 用户 lakr233 的一个新项目出现在 Hacker News 上,展示了利用苹果原生 `Virtualization.framework` 引导启动虚拟 iPhone 的能力。 社区讨论强调了该项目在逆向工程和测试方面的潜力。评论者阐明了该方法与标准 Xcode 模拟器之间的关键技术区别:模拟器为了节省资源,直接在宿主机上使用原生指令集运行应用;而真正的虚拟化则运行独立的内核和用户空间,提供了更真实的运行环境。 讨论还涉及了苹果的“私有云端计算”(Private Cloud Compute,简称 PCC),这是近日 Reddit 上讨论的一个话题。参与者指出,即将推出的 iOS 和 macOS 版本将允许开发者通过 Swift 直接调用 PCC,从而可能为应用程序集成基于云端的推理能力。

犹他州的一项政府支持研究计划正在测试美国页岩油气繁荣时期所使用的技术,能否用于开发“增强型地热”能源。与需要特定自然条件才能实现的传统地热不同,这种方法涉及深入钻探炽热岩层并循环水流,从而创造一种持续且可靠的清洁电力来源。 如果成功,该技术将使地热能在美国西部大部分地区具备可行性,从而彻底改变整个行业。这种持续且零碳的能源对 Alphabet 等科技巨头极具吸引力,因为他们需要不间断的电力来支撑能源需求巨大的 AI 基础设施。 尽管犹他州的项目旨在验证该技术的长期运营可行性,并解决关于热量损耗和地震活动的担忧,但仍面临高昂的钻探成本和地质风险等重大障碍。尽管挑战重重,该项目仍获得了罕见的跨党派政治支持。如果研究人员能够证明这些系统可以高效复制并扩大规模,这种“全天候”能源或许能从一个小众实验转变为国家电网的基石,为间歇性的风能和太阳能提供可靠的替代方案。

本文详细介绍了一项实验性尝试:通过日益超现实、繁杂且具有对抗性的提示词,试图推动人工智能(具体为 Claude Opus)突破标准编程输出的局限,去创建 PySide6 “待办事项”应用程序。 作者试图通过注入复杂的荒诞亚文化——从“中世纪乡村俱乐部风格”、“进取型小丑美学”,到“狄更斯式孤儿风格”——并要求人工智能根据随附的理论文章和设计手册编写数千行代码,来避开常见的软件套路。尽管作者极力想强制其产出“疯狂”或真正原创的结果,但该模型最终总是退回到可预测的平庸“劣质产出”。无论是通过黑帮威胁、苏格拉底式对话,还是丛林巨兽的传说来引导,模型总是默认回归到千篇一律的“三窗格暗黑模式”界面。 唯一成功的案例是要求人工智能模仿动画师莎莉·克鲁克香克(Sally Cruikshank)那种独特且易于识别的风格。最终,作者得出的结论是:大语言模型缺乏进行真正炼金术般创造性融合的能力;它们会将复杂的提示词压缩成低投入、程式化的“最小代表性内核”,从而无法打破标准样板化软件开发的窠臼。

这篇 Hacker News 帖子探讨了大型语言模型(LLM)在生成创意和超现实内容方面的演变。 参与者将现代大模型的输出与 21 世纪初的马尔可夫链生成器进行了对比,指出使用较小、经过深度量化或高“温度”设置的模型,会产生一种“武器化的达达主义”以及荒诞、富有创意的文本。 然而,讨论也突显了该平台在内容质量方面存在的严重分歧。一些用户批评“AI 垃圾内容”泛滥,认为大量自动生成的无意义内容——一位评论者将其称为“永恒的 2020 年代中期”——降低了 Hacker News 的讨论质量。另一些用户则表达了更广泛的文化幻灭感,指出曾经精准的互联网俚语因过度通用化而失去了锋芒,并质疑在充斥着人工智能生成内容的网络环境中,这些内容的价值何在。

作者调查了谷歌 Gemini 等人工智能模型是否可以通过分析“Rhode Peptide Lip Tint”的照片来识别假冒化妆品。虽然 AI 通过发现细微的拼写错误、不匹配的经销商信息以及无效的邮政编码成功识别出两款假冒包装,但它也将一件从授权零售商处购买的正品误判为假货。 研究显示,AI 在检测人类可能忽略的不一致之处(如成分表中的复杂拼写错误或监管文件不匹配)方面表现出色。然而,AI 经常因为照片中出现的反光、阴影和图像失真等“幻觉”而犯错。此外,正品中也可能存在细微排版错误这一事实,表明基于 AI 的验证尚未做到万无一失。 最后,作者得出结论,虽然 AI 作为消费者识别假货的工具展现出巨大潜力,但目前对静态图像的依赖导致了不必要的错误。未来的改进方向可以通过使用视频分析来减少光线问题,并鼓励制造商确保包装无误。尽管存在局限性,但作者对 AI 保护消费者的潜力仍持谨慎乐观态度,前提是将其作为更广泛防伪策略的一部分来使用。

近期的一场 Hacker News 讨论聚焦于一项利用人工智能检测伪劣化妆品的实验。一些用户称赞该技术是一种极具潜力且快速的鉴假方案,特别是在直播拍卖等节奏较快的场景中十分有效;但另一些用户则对其长期可行性持怀疑态度。 批评者认为,人工智能检测可能无法有效扩展,因为造假者最终也会利用人工智能来改进产品,从而消除当前模型所能检测出的瑕疵。讨论中还探讨了为何仿制品在文字或设计上常有细微偏差:由于造假者无法获取原始源文件,他们只能依靠光学字符识别(OCR)和手动编辑,这便产生了误差。 尽管这一技术方案引起了关注,但一些评论者质疑是否有必要动用高科技检测。他们认为,造假者本就缺乏动力去生产完美的复刻品,因为他们现有的、不完美的产品已经足以蒙骗大多数买家。讨论最后肯定了该实验室以简洁、极简的方式解决复杂问题的创意,尽管也有参与者批评了原文的排版难以阅读。

ArtQrCode® 是一种高度可定制的二维码。它可以是静态的、视频格式的、打印出来的,甚至是 GIF 动图!它可以被打印在任何你喜欢的物体上,也可以显示在电子屏幕上!我们可以定制几乎任何形状、形式和颜色的 Art QR Code。

抱歉。

波斯湾的石油运输量正在增加,但原油运输成本已飙升至前所未有的水平。近期,基准航线(沙特至中国)上超级油轮的日收入达到创纪录的64.7万美元,较去年增长了十倍,原因在于几乎没有船东愿意在风险极高的霍尔木兹海峡航行。 供应紧缺的情况因“双重物流”过程而加剧:生产商正越来越多地利用海湾外的船对船转运,这实际上使运费翻了一番。与此同时,胡塞武装在红海的袭击迫使油轮改道绕行非洲,使航行时间增加了约30天,进一步加剧了全球船舶运力的紧张。 道达尔能源(TotalEnergies)首席执行官帕特里克·普扬(Patrick Pouyanne)指出,目前通过霍尔木兹海峡运输单一货物的成本约为2000万美元,且这一数字还在不断攀升。尽管根据高盛的数据,出口量已开始回升至战前水平的三分之二左右,但物流风险和改道航线已导致全球能源运输成本大幅溢价。

据报道,特朗普政府正在成立一个财政部特别工作组,旨在审查并可能撤销包括开放社会基金会(Open Society Foundations)、南方贫困法律中心(Southern Poverty Law Center)以及美国-伊斯兰关系委员会(Council on American-Islamic Relations)在内的多家极左翼非政府组织的免税资格。消息人士透露,相关官员正在制定框架,以针对那些涉嫌从事非法活动、支持激进团体或利用其 501(c)(3) 免税身份从事政治活动的非营利组织。 这项由财政部长斯科特·贝森特(Scott Bessent)牵头,并联合马可·鲁比奥(Marco Rubio)和斯蒂芬·米勒(Stephen Miller)等官员共同推动的行动,被定义为针对“极左翼恐怖主义”和外国颠覆活动的打击行动,其中特别提到了与古巴和中国有关联的影响力网络。政府将其描述为一项旨在瓦解被指控煽动社会动荡的活动人士网络之财政和组织基础设施的协同努力。虽然财政部已经开始制裁特定的非政府组织,但这场更大规模的运动表明,政府正采取战略举措,通过切断这些组织的资金来源和法律保护来削弱它们。支持者认为,目前公众示威活动的减少,可能预示着该工作组在遏制这些革命网络方面已取得初步成效。

虽然 CSV 文件是一种流行且简单的表格数据格式,但一旦数据中包含逗号或引号,解析就会变得困难,因为目前没有官方规范来处理这些边缘情况。 为了解决这个问题,作者提倡使用 **CCSV(控制字符分隔值)**。CCSV 不使用逗号和换行符,而是利用不可打印的 ASCII 控制字符:单元分隔符(ASCII 31)用于分隔列,记录分隔符(ASCII 30)用于分隔行,传输结束字符(ASCII 4)用于标识结尾。由于这些字符不太可能出现在标准数据中,因此解析过程变得更加简便且稳健,无需复杂的逻辑来处理特殊符号。 然而,CCSV 也有一个明显的缺点:由于分隔符是不可打印字符,这些文件无法在标准文本编辑器中轻松阅读或手动编辑。尽管如此,作者认为该格式对于程序化使用非常高效,并特别称赞了使用传输结束字符作为文件结尾的明确标记。

近期在 Hacker News 上的一场讨论探讨了“CCSV”(或 ASV/USV)文件格式的概念,该格式使用非打印的 ASCII/Unicode 控制字符而非逗号作为分隔符。 尽管支持者认为这种格式可以解决 CSV 中常见的转义和复杂嵌套数据问题,但社区对此普遍持怀疑态度。共识在于,该格式由于牺牲了 CSV 最核心的优势——人类可读性,且未能提供如 Protobuf 等真正二进制格式所具备的性能优势,因此很难成功。 评论者指出了几个实际障碍: * **工具支持:** 大多数文本编辑器和电子表格应用程序不支持原生显示这些控制字符,导致文件难以打开或查看。 * **可用性:** 这些文件无法通过命令行或标准文本编辑器轻松创建或编辑。 * **采用率:** 由于缺乏广泛支持,该格式陷入了“网络效应”困境;因现有工具无法处理,导致其极少被使用。 归根结底,用户认为如果一种数据格式不再具有人类可编辑性,那么与其继续沿用类似 CSV 的结构,不如转向更强大、标准化的二进制序列化格式。

中国光伏巨头晶科能源、晶澳科技和通威股份近日发布财报,显示今年上半年亏损严重,预示着行业正处于深度下行期。此次下滑的主要原因包括结构性产能过剩、国内需求放缓,以及以美国关税为代表的国际贸易壁垒。 中国上半年新增光伏装机容量大幅降至 72.07 吉瓦,远低于去年的 212.2 吉瓦。这在一定程度上是由于此前爆发式增长后的项目周期常态化所致。此外,北京近期削减出口退税的决定,叠加光伏设备出口同比下降 21.4% 的现状,进一步加剧了制造商的经营压力。 尽管市场波动剧烈,但光伏产业仍是中国能源转型的核心。截至 6 月,中国光伏装机容量已达 1,274 吉瓦,几乎与 1,275 吉瓦的火电装机容量持平。尽管该行业目前正经历阵痛式的整合与监管调整,但太阳能发电即将取代煤炭,成为中国主要的能源来源。

保守派政治评论员米洛·扬诺普洛斯(Milo Yiannopoulos)因签证逾期滞留,已被美国移民及海关执法局(ICE)拘留。这名英国公民是在路易斯阿姆斯特朗新奥尔良国际机场被捕的,此前他因未出席2024年7月发布的最终驱逐令听证会而遭到通缉。目前他仍被羁押,等待被遣返回英国。 此次逮捕尤为引人注目,因为扬诺普洛斯一向主张严格执行移民政策,包括近期呼吁设立强制性移民局检查站,并对无证移民进行即刻驱逐。在他的职业生涯中,扬诺普洛斯曾担任布赖特巴特新闻网(Breitbart)的资深编辑、众议员玛乔丽·泰勒·格林的助手以及说唱歌手“侃爷”(Ye)的助理。 美国国土安全部的一名发言人在提及此事时,顺带推广了一项联邦计划,该计划为那些选择“自愿遣返”而非面对强制驱逐及未来可能被永久禁止入境的人员提供经济激励和免费旅行。扬诺普洛斯的被捕引发了政治对手的议论,他们指出,他如今正面临自己此前极力倡导的执法措施,处境十分讽刺。

联系我们 contact @ memedata.com