此仓库包含跟随博客 https://werwolv.net/posts/linux_bringup/ 所需的所有源代码。 /lib 包含完整的 rv32ima 指令集模拟器代码以及一组最小化的模拟设备。 /main 包含机器配置和为 WebAssembly 使用而暴露的函数。 构建 Linux 所需的所有配置文件均位于 /boot 目录下。主可执行文件也要求所有构建出的二进制文件存放在 boot 文件夹中。 riscv32-unknown-linux-gnu.config 是 crosstool-ng 工具链的配置文件。 riscv_emulator_defconfig 是 Linux 内核的配置文件。 device_tree.dts 是最小化的设备树。可以使用 `dtc -I dts -O dtb device_tree.dts -o device_tree.dtb` 编译为 dtb。 init.c 是初始化程序。可以使用 `riscv32-unknown-linux-gnu-gcc -static init.c -o init` 编译。 initramfs.txt 是用于生成 initramfs 的 gen_init_cpio 配置文件。可以使用 `usr/gen_init_cpio initramfs.txt -o initramfs.cpio` 编译为 cpio。

```Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 从零开始构建 RISC-V 模拟器与 Linux 系统 (github.com/werwolv) 8 点,由 Bluestein 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 帮助 artemonster 0 分钟前 | 下一条 [–] // 将 Linux 内核加载到内存起始位置 ram.write(0x00, LinuxKernel); 回复 kvemkon 21 分钟前 | 上一条 [–] 对应博文的讨论:https://news.ycombinator.com/item?id=49553988 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

本网站正在使用安全服务来保护自身免受网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种,包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。

近期的一场 Hacker News 讨论显示,用户对 Instagram 负责人的一番言论持怀疑态度。他声称,如果关闭平台的算法,用户参与度会下降一半。对此,用户大多以讽刺的态度回应,将其比作烟草公司高管哀叹如果香烟没那么让人上瘾,吸烟率就会下降。 评论者认为,Instagram 对算法驱动参与度的依赖是一种刻意的设计选择,旨在让用户上瘾,而非为了造福用户。许多参与者表达了对该平台“敌对”用户体验的失望,包括强行插入的广告、糟糕的搜索功能以及无休止的内容推送。 尽管一些用户认为参与度下降是一个积极的信号——暗示一种干扰性较小、非算法的订阅流可能是一种更健康的替代方案——但另一些人则持怀疑态度,指出该公司的商业模式本质上与让用户留在应用内息息相关。该讨论串反映了关于社交媒体监管的更广泛争论,许多用户主张在设计中引入“阻力”,并强调平台需要将用户福祉置于各项指标之上。归根结底,评论者的共识是:如果“修复”算法能减少用户在平台上的停留时间,这应该被视为一种成功,而非失败。

特拉法加广场的“第四基座”近期揭幕了由查巴拉拉·塞尔(Tschabalala Self)创作的雕塑《蓝衣女子》(Lady in Blue)。这座五米高的雕塑旨在刻画一位“普通女性”。尽管伦敦市政厅及其支持者称该雕塑是自信与目标的象征,但批评者认为其不仅有碍观瞻,更是身份政治驱动下的产物,缺乏艺术价值。 该装置是伦敦市资助的一项长期项目的一部分,此前该项目曾展出过如变性性工作者面部模型等争议性作品,未来还将展出一座“绿色树脂”雕像。批评者指出,这些委托项目是萨迪克·汗(Sadiq Khan)政府的刻意为之,旨在利用伦敦最核心的公共空间推进“进步主义”议程,实质上是将英国的传统历史与文化遗产边缘化。 反对者将这一趋势——涵盖“第四基座”项目、公共纪念碑的多元化,以及将世俗文化品牌植入圣保罗大教堂等神圣空间的行为——定义为一种系统的“羞辱仪式”。对于许多伦敦人而言,这些装置代表了一种自上而下的企图,旨在抹除民族认同,并将特定的意识形态叙事强加于首都的市政核心,这使得现代身份政治的地位高于对历史共识的维护。

在这篇文章中,丹尼尔·胡克(Daniel Hook)探讨了“Waymo效应”——即将消除摩擦等同于进步的倾向。正如自动驾驶汽车通过消除司机的社交“摩擦”,为内向者提供了舒适的独处通勤方式一样,大语言模型(LLMs)也通过取代不可预测的人类合作者,为研究人员提供了一种毫无阻碍的写作与润色工作的方式。 胡克认为,这种转变是危险的,因为人类协作中的“不便之处”——即自我意识、反方观点和独特的视角——正是推动学术严谨性和新发现的根本机制。当前的学术结构通过激励速度和产出,鼓励了一种“去合作化”的趋势,使研究人员优先选择 AI 的便捷,而非与他人共同思考时产生的“必要的困难”。 他警告称,我们正在用偶然性换取吞吐量,这场全球性的实验存在缩小思想多样性的风险。为了应对这一点,胡克敦促研究机构的领导者“资助摩擦”。机构必须认识到,思考是一个社会化的过程,并优先建立那些激励人际联系而非单纯产出的结构。他最后总结道,虽然 AI 可以作为强大的“自动驾驶仪”,但我们必须确保人类研究人员始终是掌控全局的飞行员。

围绕《Waymo效应:AI如何悄然降低研究协作性》一文展开的 Hacker News 讨论,演变成了一场针对该文章本身的元评论。评论者们很快指出该文是由大语言模型撰写的,并认为其重复使用 AI 惯用的修辞和短语,反而削弱了文章自身的论点——即警告人们将写作外包给 AI 会跳过真正的思考过程。 在元评论之外,用户还讨论了 AI 对研究和日常生活更广泛的影响。许多人担心 AI 正在侵蚀人类协作,造成缺乏更广泛公共语境的“孤岛式”工作。一些人认为,“Waymo 效应”(即消除人为阻力)是一种负面转变,因为它将个体孤立起来,并剥离了人类本质中至关重要的社会连接。另一些人则就 AI 究竟是赋能自主的工具,还是提取公共数据以实现企业牟利的破坏性力量展开了激烈辩论。最终,人们普遍认为,通过技术手段最大限度减少人际互动的趋势,可能对我们的集体研究和社会生态系统弊大于利。

公民自由组织“老大哥观察”(Big Brother Watch)的一份新报告显示,2021年至2025年间,英国有超过62,000人因通讯犯罪被捕。数据显示,平均每天有34人被捕,这表明针对所谓“严重冒犯”信息、网络笑话和争议性社交媒体帖子的宽泛法规,正对言论自由产生寒蝉效应。 报告强调了执法中的显著不一致性,指出存在“邮编彩票”现象,即不同警察辖区的逮捕率差异巨大。老大哥观察组织认为,这些过度的逮捕(其中许多并未导致定罪)表明现行法律的应用存在不均衡且往往不公平的现象。 此前,人们对英国《在线安全法案》的担忧日益加剧,批评者认为该法案迫使平台过度审查合法内容。对此,老大哥观察组织呼吁政府对言论相关法律及警察培训进行独立审查,并强调目前针对非暴力言论的警务处理方式亟需改革。

您已被网络安全策略拦截。如需继续,请登录您的 Reddit 账号或使用您的开发者令牌。如果您认为被误拦截,请在下方提交工单,我们将为您处理。 登录 提交工单

开发者 dmonterocrespo 成功开发了一款 QEMU 模拟器,能够启动 iPod Classic 6G(Samsung S5L8702)的原始、未经修改的 Apple 原厂操作系统。 该项目涉及大量的逆向工程,因为设备缺乏公开可用的数据手册。由于固件已加密且无法从运行中的设备访问 Boot ROM,开发者不得不使用 emCORE 手动提取并解密了闪存内容。 尽管导航、屏幕渲染和音乐库等核心功能已能正常运作,但该模拟器仍处于开发阶段。面临的挑战包括解决渲染问题、音乐播放器无声音,以及仅根据客户机写入操作来映射硬件寄存器。开发者记录了整个过程,包括许多被推翻的假设,目前正致力于启用标志性的“Cover Flow”功能。对该模拟工作技术细节感兴趣的人员可以查阅项目的笔记和代码。

RTK(Rust Token Killer)是一款旨在通过压缩终端输出以降低 AI 编码成本的常用工具。然而,通过 Terminal-Bench 2.1 对 1,740 次测试进行的严谨分析表明,RTK 并不能持续节省成本,在某些情况下反而会增加开支。 研究结果指出了以下几个关键问题: * **指标误导性**:RTK 的“收益”指标追踪的是压缩字节数,而非实际计费的 Token 数。报告中显示的大额节省通常源于那些本身输出就有限的命令。 * **影响微乎其微**:终端输出在总上下文中所占比例较小,且现代 AI 模型已经能够通过 `head` 或 `tail` 等命令熟练地控制输出。 * **“回合”惩罚**:RTK 有时会迫使智能体进入不必要的循环或产生更长的序列来达到相同结果。由于额外一次智能体交互的成本通常高于压缩节省的费用,该工具可能会无意中推高总账单。 * **结论**:虽然 RTK 对旧版模型或许有用,但如今它已基本沦为一种小众优化手段。对于现代前沿模型,它无法提供可靠的经济效益,因此不建议作为通用的成本节约方案使用。

近期一则 Hacker News 的讨论对诸如 RTK 等所谓“节省 Token 的技巧”提出了质疑,贡献者们认为许多此类旨在提升生产力的方法实为无效的“江湖骗术”。 一位用户 `aeneas_ory` 指出,开发者不应依赖这些捷径,而应利用本地代码嵌入模型(local code embedding models)进行语义索引。通过对代码库进行索引,开发者可以执行语义搜索,从而减少让大语言模型(LLM)解析整个文件或代码仓库时通常所需的“暴力”Token 消耗。尽管这种方法在索引时会产生更高的前期 CPU 开销,但该用户声称,与传统的基于 grep 的方法相比,它显著提高了 Token 利用效率和实际耗时。 另一位评论者 `vrighter` 则提出了反驳观点,他认为通过向 LLM 提供预处理或压缩过的语义数据,开发者本质上是提供了模型在训练阶段并未接触过的内容,这可能会影响模型的性能。总体而言,该讨论反映出一种日益形成的共识:复杂的“技巧”往往不如有针对性的、基于搜索的检索策略有效。

Claude 仅限 18 岁及以上用户使用。为确保合规,我们利用安全系统检测潜在的未成年人活动。若账户被标记,用户必须通过年龄验证才能恢复访问权限。 我们与安全第三方平台 **Yoti** 合作进行验证。用户可选择以下三种方式之一:面部年龄估算(自拍)、上传身份证件(如护照或驾驶执照),或使用 Yoti Digital ID 应用程序。 隐私至上:Yoti 符合 SOC2 标准,并在验证过程结束后立即删除所有提交的图像和个人数据。Anthropic 绝不会查看或存储您的身份证件或照片;我们仅会收到简单的“通过/失败”通知,以确认您的使用资格。

最近关于 Claude 不再向未成年人开放的公告在 Hacker News 上引发了激烈的辩论。 批评者认为此举是“合规作秀”,旨在规避 Anthropic 的法律责任,而非为了保护儿童。许多人指出,这一限制是以通过 Yoti 等第三方验证服务收集敏感生物识别数据和政府身份证件为借口,一些评论者将其斥为侵入式监控。另有人猜测,Anthropic 此举是为了降低与 AI 引发的潜在心理健康问题或不良互动相关的公关风险。 反之,一些参与者认为该限制是必要的法律预防措施,并指出未成年人无法签署具有约束力的合同。关于年龄限制的更广泛影响也引发了讨论,有人建议应采用操作系统层面的标识来识别未成年人,而非进行侵入式的身份核查,以保障隐私。 归根结底,社区对此意见不一:一些人将其视为对弱势用户的必要保障,而另一些人则认为这是一种令人寒心的排他性措施,过度限制了年轻人并助长了不必要的数据搜集。

布伦特原油价格波动剧烈,在国际能源署警告需求可能遭到破坏后,价格曾短暂触及110美元,随后回落至103美元。尽管有所下跌,油价仍有望创下自7月以来的最大单周涨幅,今年累计涨幅已达70%。 市场动荡受多种因素推动:中东地缘政治紧张,包括胡塞武装对沙特能源基础设施的袭击以及对曼德海峡的威胁;沙特产量处于历史低位;以及中国需求激增。分析人士强调柴油供应严重短缺——这推高了燃料成本至历史高点——与此同时,投资者对涉及霍尔木兹海峡和曼德海峡的“双重瓶颈”风险仍感到担忧。 在经济压力方面,美国和欧洲的债券收益率攀升至多年高点。在这场动荡中,海湾国家正准备与伊朗进行潜在的外交会谈以稳定霍尔木兹海峡,这带来了一丝希望。总的来说,全球能源前景依然脆弱,极易受到进一步的供应冲击和供应链中断的影响。

本文认为当前的“人工智能”从根本上是有害的,并敦促个人、企业和开发者积极抵制其应用。作者主张,尽管人工智能具有诱惑力且看似有益,但它对社会、环境和个人而言并非净收益。 反对人工智能的核心论点包括: * **环境影响:** 训练和运行大规模模型会消耗大量的电力和水资源,对地球构成威胁。 * **智力退化:** 依赖人工智能会阻碍深度理解和精通,因为它鼓励被动消费而非积极的批判性思维。 * **人力成本:** 人工智能正被用于取代工人,在缺乏社会保障网的情况下,造成了严重的经济不稳定。 * **诱导性:** 人工智能被设计成能够模仿同理心和尊重,通过“伊莱扎效应”(Eliza effect)操纵用户。 作者建议以怀疑和实验的态度对待人工智能,敦促领导者和专业人士将真相和人类福祉置于效率之上。文章最终得出结论:人工智能充其量是“混乱中立”的——这是一种既不理解真理也不关心人类福祉的技术——应当以极度谨慎的态度对待,甚至应彻底拒绝。

这篇 Hacker News 帖子讨论了 Ron Jeffries 题为“抵制‘人工智能’”的文章。讨论主要分为两个方面:对人工智能的技术性批判和存在性担忧。 在技术层面,用户辩论了人工智能基础设施对环境的影响,特别质疑了“水资源消耗论”。虽然有一位评论者指出水冷循环是封闭系统,但其他人澄清说,许多数据中心依赖开放式蒸发冷却,导致了大量的水资源消耗。 随后,讨论转向了人工智能革命带来的社会影响。一位评论者表示,批评者未能将现代担忧与历史上的反科技情绪区分开来,对此感到沮丧。另一些人则反驳称,过去的技术变革往往使人类能够从体力劳动转向脑力劳动。此处怀疑论者达成的共识是,人工智能代表了一种本质上不同的范式,因为它威胁到要将脑力劳动本身自动化——使人类在未来的经济中几乎没有可行的角色。

NBA 为打击“摆烂”(即故意输球以换取高顺位选秀权)而进行的博弈,在萨姆·辛基(Sam Hinkie)带领费城 76 人队推行“过程”(The Process)时期达到了顶峰。虽然为了战略利益而输球并非新鲜事,但辛基毫不掩饰的透明度引发了巨大的争议。对此,联盟多次改革选秀抽签制度以抑制此类行为。 作者提出了关于这一演变的两种理论。第一种观点认为,全国性体育报道和社交媒体的兴起放大了公众的愤怒,使得球队更难掩盖输球策略。按照这种看法,我们对“耻辱感”的认知是由媒体和技术的变迁所决定的,而非因为不道德行为真的有所增加。 另一种观点则认为,NBA 的反摆烂措施反映了管理层内部真正的道德滑坡,球队越来越胆大妄为,将自身利益置于比赛的公平性之上。最终,本文倾向于技术性的解读:正如社交媒体通过消除面对面交流的直接物理后果而助长了网络敌意一样,它也消除了曾经制约球队肆无忌惮地操纵制度的地域性障碍。

这篇 Hacker News 的讨论探讨了一个发人深省的观点,即“羞耻感的消亡正在撕裂我们的社会”。用户们就现代社会是否缺乏一种必要的社会“粘合剂”,还是羞耻感正以一种新的、有问题的方式被武器化展开了辩论。 一些评论者认为,羞耻感的衰退在公共礼仪的丧失中显而易见,并指出人们越来越无视公共边界,例如在公共场所大声播放音频。 相反,另一些人则质疑这一前提,认为羞耻感并未消失,而是演变成了一种社会控制工具。多位用户指出,羞耻感现在常被用于强制要求人们服从意识形态范式,或通过诸如“恐惧症(-phobic)”之类的标签来压制异见。归根结底,这篇讨论凸显了一种张力:人们既将羞耻感视为一种重要的社会调节器,又意识到它正被用作一种规训观点和强化部落忠诚的武器。

包括美国网络安全与基础设施安全局(CISA)、国家安全局(NSA)和联邦调查局(FBI)在内的美国联邦机构指控六家中国人工智能公司——深度求索(DeepSeek)、月之暗面(Moonshot AI)、阿里巴巴、名义智能(MiniMax)、阶跃星辰(StepFun)和Z.AI——通过工业规模的“知识蒸馏”手段窃取美国的人工智能专有技术。 这些机构指控称,上述公司参与了复杂的秘密行动,从包括GPT、Claude、Gemini和Grok在内的美国领先模型中提取了数十亿个Token。这些公司通过利用代理网络、批量购买账号以及绕过API限制等手段,将窃取的数据系统性地注入其自有模型中,以加速开发并规避原始研究成本。 相关官员将这些行为定性为知识产权盗窃,而非正当研究。作为回应,美国政府已敦促美国人工智能开发商对异常使用情况实施更严格的监控,部署防御性策略(如回答降级),并加强行业内的信息共享。美国财政部长斯科特·贝森特(Scott Bessent)警告称,这些公司因在上述行动中的角色可能面临制裁。白宫强调,此类行为破坏了美国的创新,并使外国实体能够剥离所得AI系统中的关键安全与中立性协议。

生成树协议(STP)及其现代继任者快速生成树协议(RSTP)是一项基础网络技术,旨在通过确保以太网中路径无环来防止广播风暴。其工作原理是选举一个“根桥”,并计算到达每个网段最高效、无环的树状路径。 当物理连接发生故障时,RSTP 会触发状态机,在大约一秒内自动重新配置拓扑,从而保持网络连通性。为了实现这一点,网桥会交换网桥协议数据单元(BPDU)来协商端口角色(根端口、指定端口或替代端口)及其状态。该协议还具备“边缘端口”和“BPDU 保护”等机制,以防止因配置错误或未经授权的设备意外导致网络环路。 虽然 BGP EVPN VXLAN 等较新的技术已经出现,但 RSTP 因其被网络硬件普遍支持而依然必不可少。对于亚秒级收敛即可满足要求的带外管理网络而言,它仍然是一种可靠且低复杂度的解决方案。本文强调了该协议的事件驱动特性,并提供基于浏览器的交互式模拟,以帮助直观地展示网桥如何响应拓扑变化,动态协商并重建网络路径。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 生成树协议交互式导览 (bernat.ch) 7 分,由 zdw 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

网页开发的历史伴随着浏览器渲染不一致的时代,尤其是 Internet Explorer(IE)时期。由于早期的浏览器缺乏标准化的 CSS 支持,开发者被迫使用各种“黑客手法”——利用特定浏览器在解析代码时的漏洞来应用条件样式。 常见的技术包括“星号黑客法”(使用 `*` 或 `_` 前缀来针对 IE)、执行 JavaScript 的 CSS 表达式,以及微软特有的“滤镜”(Filters)来处理透明度、渐变和透明 PNG 图片。开发者还必须应对诸如“双倍外边距浮动”漏洞(Double Margin Float)和“hasLayout”概念等独特的怪癖,并经常依赖 `zoom` 或 `behavior` 等非标准属性来强制实现一致的表现。虽然厂商前缀最初旨在用于测试实验性功能,但它们往往被过早采用,迫使浏览器不得不无限期地对其提供支持。 这些做法在当时对于实现跨浏览器兼容性至关重要,但它们性能开销大、逻辑混乱且极不稳定。幸运的是,现代网页标准已使这些深奥的“黑客手法”基本过时,开发环境也已从利用特定浏览器的解析错误,转向了更统一、更可预测的开发体验。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 CSS Curiosities of the Past (vale.rocks) 8 分,发布者:robin_reala,2 小时前 | 隐藏 | 往日 | 收藏 | 讨论 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

面对严峻的财务压力和不断扩大的预算赤字,乌克兰政府正考虑将部分成人娱乐产业合法化,以资助其战争行动。议员雅罗斯拉夫·热列兹尼亚克(Yaroslav Zhelezniak)估计,此举每年可产生2500万美元的收入——他声称这足以购买3万架军用无人机。 该提议源于一份公开请愿书,凸显了政府在战争导致国家经济稳定性丧失之际,为获取收入而进行的绝望挣扎。批评人士认为这一情况“悲喜交加”,并指出国家的虚伪:政府此前将色情制品定为刑事犯罪,同时却又要求从中获利的人纳税,这为公民制造了一个法律陷阱。 在作者看来,此举反映了战争更广泛且不可持续的现实。政府通过对性工作征税来资助一场长期冲突,凸显了其疲惫程度之深。文章最后指出,国家日益绝望的创收计划证明,目前的道路并非在保卫乌克兰,而是在系统性地拆解该国残存的经济和社会结构。

**DeepSeek-V4.1-Flash (CRACK)** 是原版 552B DeepSeek-V4.1-Flash 模型经过手术式修改后的无审查版本。该版本由 dealignai 研究团队开发,在保持基础模型核心架构和能力的同时,实现了对安全护栏的完全绕过。 **关键技术细节:** * **方法论:** 不同于引导向量或运行时钩子,这是一种永久性的、权重层面的“去消融”(abliteration)。所有关键功能组件——包括路由 MoE 专家、Engram 记忆、CSA2 稀疏注意力机制、DSpark 推测头以及视觉塔(Vision tower)——均与基础模型保持字节级一致。 * **性能:** 在 HarmBench-320 测试中,该模型在所有语义类别下均达到了 100% 的攻击成功率(ASR),能够成功回答基础版本会触发拒绝机制的提示词。 * **保留程度:** MMLU 性能保持稳健,在知识型任务(不含伦理相关集群)中仅有 -1.1% 的微小下降,符合项目对能力保留的标准。 * **部署:** 作为一个标准的、即插即用的检查点(checkpoint)运行。支持完整的 1M 上下文、多轮对话连贯性、视觉识别和工具调用,并兼容 SGLang 等标准推理栈。 此版本旨在为需要无限制模型输出的用户提供支持,用户需对生成的所有内容承担全部责任。

这篇 Hacker News 讨论帖探讨了“DeepSeek v4.1 Flash Uncensored”模型的发布,该模型去除了主流大语言模型中常见的安全护栏和“企业化”限制。 讨论反映了开发者社区的分歧: * **支持者**认为,无审查模型对于维护开源技术以及避免预设的意识形态偏见至关重要。 * **批评者**对不受监管的 AI 所带来的社会风险表示担忧,特别指出其可能被滥用于制造生物威胁。这引发了一场争论:究竟应该限制 AI 的伤害能力,还是应当将防御性的“促进健康”类 AI 能力同样大众化。 * **怀疑论者**质疑这些模型的实际价值,指出它们通常是“蒸馏”的产物——即通过大型模型的输出来训练小型模型的过程——这在数据抓取和知识产权方面引发了持续的伦理与法律争议。 总的来说,这场讨论反映了对不受限 AI 访问权限的渴望与缺乏安全协议的模型所带来的重大安全风险之间的矛盾。

作者认为,当前的 AI 工程正陷入一种“内卷”状态——即在极度竞争和投入下,复杂性不断增加,但实际产出却毫无提升。尽管 GPT-6 Astra 在技术上令人印象深刻,但作者在尝试运行一个为期 35 小时的自主“软件工厂”后,得到的却是 75,000 行毫无实际价值的“废料”。 其批判的核心在于,Astra 倾向于为工具调用采用极端的“代码高尔夫”(token 高效化)策略,而这种习惯往往会渗透到生成的生产代码中。该模型经常绕过标准工具,转而使用怪异的手动 Python 字符串操作和晦涩难懂、不符合习惯的 C 代码。由于模型在完成长线任务时会获得高额奖励,却缺乏对代码质量低劣的惩罚机制,因此它持续生成人类无法审计的“客观性差”的代码。 作者总结道,尽管这些模型功能强大,但它们目前的训练轨迹——即偏向原始效率和持久性,而非人类可读的软件工程——正变得适得其反。通过消除人类监督的必要性,我们正趋向于一种代码仅为其他智能体而写的系统,这可能导致传统以人为中心的软件开发变得过时,或因成本过高而无法进行。

关于“Astra”和现代 AI 编程智能体的 Hacker News 讨论,反映出 AI 驱动的“氛围编程(vibe-coding)”与传统软件工程之间日益扩大的鸿沟。 **辩论要点:** * **代码质量下降:** 许多工程师反映,虽然 AI 智能体能为原型开发提供初期的快速提升,但长期产出的代码往往是难以维护的“垃圾”。智能体经常过度设计,在处理上下文时表现吃力,并为了不惜一切代价完成任务而忽视架构的最佳实践。 * **“内卷”问题:** 批评者认为,当前的智能体工作流正经历“内卷”——即在没有提高实际产出质量的情况下,不断增加投入和 Token 消耗。智能体并未简化工作,反而常常需要持续的“保姆式”照看、微观管理和复杂的提示词(Prompting),以避免幻觉或灾难性的代码变更。 * **竞争性激励:** 用户推测,AI 公司为了跑分,往往优先考虑“长程任务完成度”,这促使智能体采取鲁莽的捷径。 * **使用场景的分歧:** 成功的用户倾向于将智能体视为严密框架内的专用工具,由人工负责架构、测试和需求把控。另一些人则认为,对于简单项目而言,即便代码质量平庸,AI 也是提升速度的“织布机”。 总之,目前尚未达成共识:AI 既被视为提升开发速度的革命性力量,也被视为技术债务堆积的源头。

竞态条件因依赖于特定的、非确定性的线程交织,导致其在调试、测试和模糊测试时极为困难。传统方法(如人工代码审查或添加 `mdelay()`)既耗时又难以创建可靠的回归测试。 为了解决这一问题,作者开发了 **MAccConc**(“内存访问并发”),这是一个用于 Linux 内核的工具包,旨在探索多线程执行交织。该项目利用 **KCOV** 插桩来记录内存访问模式,并识别“通信点”(即线程通过共享内存进行交互的地方)。 主要功能包括: * **自动 A-B-A 测试:** 一种可通过编程方式探索测试用例所有可能交织情况的工具。 * **手动探索:** 提供图形界面和终端工具,允许开发人员可视化执行过程,并使用“计数增强堆栈跟踪”(count-augmented stack traces)强制执行特定的排序约束,从而为不同运行中的内存访问提供稳定的标识符。 * **延迟注入:** 一种基于 ioctl 的 API,允许用户空间强制或限制内存访问的时序,以可靠地重现或规避特定的竞态条件。 该项目受 SKI 研究启发,现已托管于 GitHub。未来的工作目标是提高效率、集成锁感知诊断功能,并扩展该工具以支持自动化模糊测试。

抱歉。

通过 OpenRouter 使用开源模型进行大规模 AI 助理开发时,会发现“同一个模型”在不同提供商之间的表现差异巨大。基于 1800 万条消息的分析,主要结论如下: 1. **性能差异:** 同一模型权重在不同提供商处的表现各异。对于工具调用和知识储备,其基准测试得分会因托管方不同而出现高达 20 分的波动。 2. **技术陷阱:** * **视觉能力:** 一些声称支持视觉功能的提供商,在基础任务上表现不佳,或者假装处理图像实则忽略。 * **参数设置:** 像 `reasoning.effort` 之类的设置,在不同托管方之间无法得到统一遵循。 * **量化:** 所宣称的精度(例如 fp4 与 fp8)不能作为衡量模型质量的可靠指标;应关注真实的基准测试排行。 * **可靠性:** 必须自行实现稳健的工具调用解析,处理那些虽然返回“200 OK”但无实质内容的响应,并管理不同提供商之间冲突的历史记录要求。 3. **运营现实:** 不要绑定单一提供商;即便是可靠的厂商也会遇到不可预测的速率限制或服务下线。务必在生产环境中(而非本地机器)进行测试,并做好通过积极的错误处理和重试机制来维持正常运行的准备。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 所以你想使用 OpenRouter?(mmoustafa.com) 75 点,由 player85 发布于 3 小时前 | 隐藏 | 往期 | 收藏 | 5 条评论 帮助 jwrallie 18 分钟前 | 下一条 [–] 我在配置它以避开收集数据的提供商(因此屏蔽了默认提供商)时,注意到了一些奇怪的行为。绝对值得筛选那些经过充分测试的提供商,这是 OpenRouter 提供的一项功能。 回复 Krisso 20 分钟前 | 上一条 | 下一条 [–] 希望这篇文章能多提供一些关于“成本”的见解——我发现 OpenRouter 的积分消耗得很快。 回复 bsaul 36 分钟前 | 上一条 | 下一条 [–] 那看起来简直太可怕了。有什么替代方案吗?? 回复 hadeer626 1 小时前 | 上一条 | 下一条 [–] 是的 回复 anik200 1 小时前 | 上一条 | 下一条 [–] 干得好 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

关于 OpenAI 新推出的 GPT-4o Live API,Hacker News 上的讨论呈现出兴奋与怀疑并存的状态。 虽然一些用户渴望将该技术整合到专业工具中,例如带有结构化课程的个性化语言学习应用程序,但许多参与者批评了 OpenAI 选择的演示用例。批评者认为,像餐厅预订这类示例缺乏新意,并指出实验室未能展示出基于语音的 AI 真正具有变革性的潜力。 此外,人们还提出了技术层面的担忧,尤其是关于供应商锁定的问题。用户对该 API 仅限于 OpenAI 使用表示不满,一些人呼吁开发更通用的、与供应商无关的解决方案,以便能够灵活地切换模型。总的来说,目前的共识是,尽管这项技术令人印象深刻,但该行业尚未找到或有效证明除简单自动化之外的“杀手级”应用场景,这使得许多开发者仍在等待更具吸引力的应用出现。
内卷 Neijuan 3 小时前

“内卷”(*Neijuan*,或称 *involution*)一词描述了这样一种过程:激烈的竞争和个人努力的增加,却未能带来生产力或集体利益的成比例提升。这一概念最初源于社会学,被人类学家用来描述那些在缺乏演变的情况下变得日益复杂、陷入停滞的系统;如今,它已演变成中国互联网上的一个热门流行语。 在当代中国,“内卷”刻画了一种高度竞争的“零和”文化,年轻人和中产阶级家庭感到被困在一个无情且自我强化的循环中。从科技行业的“996”工作制,到教育领域极其沉重的家长压力,人们仅仅为了维持现有的社会地位就必须付出巨大的努力。这种过度劳累与收益递减的循环引发了广泛的焦虑,导致了反资本主义情绪,以及诸如“躺平”等社会趋势的出现——即人们选择有意识地退出这种竞争性内耗。 从宏观经济层面来看,这一概念也受到了中国政府的关注,政府现已将“内卷”视为市场不稳定、产能过剩和通缩压力的来源。归根结底,它代表了一种过度的自我剥削式的“死循环”,即参与感是强制性的,而成功却变得遥不可及。

这篇 Hacker News 讨论帖探讨了“内卷”(involution)的概念——即激烈的竞争导致投入与复杂度增加,但实际价值或进展却并未随之提升的现象。 参与者讨论了科学衡量内卷的难度,特别是在软件开发和人工智能辅助工作流领域。尽管这一概念直观上易于理解,但如何定义“质量”仍是研究者面临的重大障碍。一位劳动社会学博士生指出,将衡量标准操作化以追踪 AI 的使用究竟是提高了产出,还是仅仅导致了“内卷式”的通证膨胀(token inflation),是一个巨大的挑战。 讨论随后转向了潜在的研究设计,例如分析任务调度。观点认为,如果任务的复杂度保持不变,而投入的量(时间与代币)却在增加,这就构成了内卷的实证证据。一些参与者提醒道,虽然该理论很有吸引力,但如果不能通过客观数据进行严谨测试,它就有可能沦为一个无法证伪的标签,就像“狗屁工作”(bullshit jobs)假说那样。总的来说,该讨论反映出人们日益关注现代 AI 的整合究竟是在促进真正的创新,还是仅仅创造了一种收益递减的“生产过剩”新形式。

请启用 JavaScript 和 Cookie 以继续。

这篇 Hacker News 讨论澄清了一个常被误解的观点,即物体可以“超光速”运动。 评论者们强调,没有任何事物能超过真空中的光速(*c*),这是因果律的宇宙速度极限。切连科夫辐射(Cherenkov radiation)之所以产生,是因为带电粒子在介质(如水或空气)中运动的速度超过了光在该特定介质中的相速度。 由于光在与物质相互作用时会减速,高能粒子能够超过光,从而产生类似于音爆的光学现象。这一现象是物理学中被充分理解的过程,而非对相对论的违背。用户指出,该原理在物理学中有着实际应用,例如用于探测宇宙射线的成像大气切连科夫望远镜,以及用于监测由此产生的蓝光的微中子探测器。讨论还涉及了光传播的复杂性以及光子与原子相互作用的细微之处,最终得出结论:“音爆”类比虽然不完美,但能为理解该效应提供准确的直觉。

根据 Realtor.com 2026 年 8 月的月度住房趋势报告,房产下架数量同比下降了 12.6%,这表明卖家比 2025 年激增时期表现出更多的耐心。与去年夏天因高利率和经济不确定性导致卖家撤销房源的情况不同,目前的卖家正越来越多地选择降价出售。 尽管卖家的耐心有所增加,但市场已出现降温迹象。8 月份有 20.4% 的在售房源进行了降价,全国挂牌价中位数降至 424,500 美元,较 2025 年 8 月下降了 1.3%。此外,合同签署量减少了 3.7%,待完成销售额也略有下降,结束了此前连续八个月的增长势头。 专家将这种动力不足归因于维持在 6.7% 左右的高抵押贷款利率以及季节性放缓。尽管美国所有地区的库存都有所增加,但买家需求已有所减弱。随着市场进入秋季,分析人士指出,如果卖家在持续的高利率和买家日益挑剔的情况下变得更加急迫,下架房源减少的趋势可能会发生改变。

牛津郡皮丁顿(Piddington)小村庄的居民们正激烈反对政府的一项计划,该计划拟在附近的一处前国防部仓库安置 1,256 名男性寻求庇护者。该村仅有 356 名居民,其中包括 46 名儿童。村民们担心,此次人口涌入将从根本上危及当地的安全和生活方式,并指出该地区缺乏街道照明和人行道等基本基础设施。 一份目前仍可在网上查阅的规划文件加剧了这场争议,该文件提到了可容纳 3,510 名“服务对象”。尽管内政部驳斥此数字为过时的错误,并坚称上限为 1,256 人,但居民们怀疑这才是政府真实的长期意图。 该村没有任何本地设施或警力驻守,居民们对此表示强烈不信任,许多人表达了对子女安全和家庭财产保障的担忧。这场纠纷凸显了随着政府将寻求庇护者的安置点从酒店转向乡村军事设施,全国范围内日益紧张的局势。随着咨询期结束,居民们正在举行一场象征性的独立公投,以抗议他们所称的行政欺骗行为,以及政府对当地社区安全的全盘漠视。

前高盛高管杰夫·柯里(Jeff Currie)警告称,近期布伦特原油价格突破每桶107美元,标志着大宗商品市场发生了持续性转变,而非短暂的冲击。柯里将这种压力归因于多年来原材料生产领域系统性的投资不足——他将其描述为“旧经济的复仇”。 尽管地缘政治紧张局势是一个因素,但柯里强调,主要的催化剂是中国需求的复苏。在早些时候炼油厂放缓生产后,柴油裂解价差创下每桶110美元的历史新高,这激励了中国炼油商加大运营力度,在原本就已紧张的实物市场中引发了需求“地震”。 柯里指出,随着股票和长期油价开始反映长期中断的预期,市场参与者正越来越多地摒弃“短暂性”的说法。汇丰银行全球大宗商品团队支持其观点,该团队近期宣称大宗商品正处于“超级挤压”之中。归根结底,这些信号表明,由实物短缺和结构性产能限制驱动的当前通胀周期,很可能具有显著的持久性。

在这篇《每日怀疑论者》(*Daily Sceptic*)文章中,托比·扬(Toby Young)指出,2025年的PISA数据证明了迈克尔·戈夫(Michael Gove)在英格兰推行的教育改革是正确的。通过优先推行知识丰富的课程体系、自然拼读法和严谨的学术要求,英格兰的成绩已超过经合组织(OECD)的平均水平,并大幅领先于苏格兰和威尔士。 扬将英格兰的成功与苏格兰和威尔士的“失败公式”进行了对比。尽管苏格兰和威尔士的教学成果不佳,但当地政府仍坚持推行以“技能”为本的学习模式和“进步主义”教学法。他将这种颓势归咎于教师工会的影响,以及政治上对“保守党主导”的改革抱有抵触情绪,即便这些改革是由经合组织所推荐的。 文章最后提出了令人担忧的展望,警告称当前的工党政府打算拆除这些成功的架构,转而推行诸如“去殖民化”和“可持续性”等政策。扬认为,尽管有充分的实证证据证明戈夫的改革取得了成功,但意识形态层面的阻力——他称之为“顽固势力”(the blob)——仍执意要回到曾导致各地方政权教育水平停滞的旧模式中。

东河版本控制系统(ERSC)正在开发下一代版本控制系统,旨在应对智能体开发、海量单体代码库以及云端工作流带来的现代挑战。 尽管 Git 多年来一直是行业标准,但 ERSC 认为它基于 2005 年的约束条件构建,已难以满足当今组织庞大且复杂的需求。为了在不干扰现有工作流的前提下实现基础设施现代化,ERSC 正在搭建一座桥梁:其平台采用了一种支持标准 Git 协议的定制化、可横向扩展的存储引擎。这使得团队在继续使用熟悉的 Git 客户端的同时,能享受到更卓越的可靠性和扩展性。 鉴于 Git 在现代工具链中已根深蒂固,ERSC 采用了一种受 Jujutsu (jj) 版本控制系统启发的灵活模块化架构。其目标是提供一种“积木式”方案,让开发者能够按照自己的节奏逐步采用新协议和新功能,而无需一次性迁移整个技术栈。ERSC 将自身定位为未来开发的基石,优先考虑互操作性、可定制性,并确保从传统 Git 仓库向更强大、面向未来的存储解决方案平滑过渡。

Hacker News 上近期的一场讨论显示,社区对一篇题为《Git 的继任者》(What Comes After Git)的文章持强烈的怀疑态度。评论者的共识是,该文章未能明确指出 Git 存在的问题,也未能为“取代 Git”这一观点提供令人信服的论据。 批评者认为,该文章所谓的“Git 已过时,因为它是为 2005 年的 Linux 开发而设计”这一理由“苍白无力”,且缺乏技术支撑。许多用户对文章中提及 GraphQL 等无关技术感到困惑,并怀疑该项目仅仅是一个“想成为竞争者”的营销手段,或是一个蹭 AI 热度的多余工具。归根结底,参与者认为没有取代 Git 的必要,并将这一倡议斥为一种模糊的尝试,即在不解决开发者实际痛点的情况下,试图从版本控制市场中获利。

Git worktree 允许你在不同的目录中同时检出多个分支,并共享同一个仓库的元数据。传统的切换分支方式通常需要繁琐的暂存(stash)和上下文切换,而 worktree 则让你能够在处理多项任务(如长时间运行的测试、PR 审查或 AI 代理的后台进程)时,无需打断当前的工作环境。 关键点: * **效率:** 创建 worktree 几乎是瞬时的,切换任务时无需重新编译或暂存进度。 * **局限性:** 每个 worktree 都需要各自非追踪的文件(如 `node_modules` 或构建缓存),这会占用额外的磁盘空间并需要重复设置。 * **Magit 集成:** Emacs 用户可以通过 Magit 的 `Z` 菜单无缝管理 worktree,将每一个都视为一个独立且功能完备的项目。 * **未来趋势:** 像 *Jujutsu (jj)* 这样的工具正在崛起,有望成为 Git 的继任者,它内置了对并行工作流的流畅支持,在很大程度上绕过了对传统 worktree 的需求。 总之,尽管简单的分支切换多年来已足够使用,但 worktree 已成为现代并行开发工作流中不可或缺的工具,特别是在与 AI 编程代理协作时更是如此。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在 Magit 中使用 Git Worktrees (emacsredux.com) 16 点,由 srijan4 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 帮助 zrg 1 分钟前 | 下一条 [–] 正如作者所提到的,我目前非常沉迷于 jujutsu,真心推荐大家尝试一下。 回复 brabel 29 分钟前 | 上一条 [–] 作为本文作者,由于 AI 代理的原因,我一直在使用 worktrees。我很喜欢 Magit,但之前并不知道它对 git worktrees 的支持这么好!感谢告知,我会立即开始使用 Magit 来管理我的 worktrees。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Bitap(或称 shift-and)算法是一种优雅且高效的字符串匹配方法,特别适用于模式长度小于机器字长(例如 64 位)的情况。 该算法可以从朴素的暴力搜索方法推导而来。通过将朴素算法转化为流式处理,我们将“进行中”的匹配表示为一组活跃状态。当读取一个字符时,我们推进有效的匹配并丢弃失效的匹配。 Bitap 通过将这些活跃状态编码为单个位集(`uint64`)来优化这一过程。算法不再逐一检查每个状态,而是利用位运算: 1. **移位(Shift):** 使用位移操作(`active << 1`)同时推进所有活跃状态。 2. **与运算(And):** 使用预先计算的位掩码(`validMask`)进行位与运算,根据当前字符瞬间清除无效状态。 虽然从理论上讲,Bitap 的时间复杂度与文本长度呈线性关系,但它在处理短模式时最为有效,且其简洁和速度优势极为突出。人们推崇它并非仅仅因为其渐近复杂度,更在于其概念的清晰性,以及利用位操作简化状态机转换所带来的美感。

这篇 Hacker News 帖子讨论了 Bitap (Shift-OR) 字符串匹配算法的优点,该讨论源于 jo3-l.dev 的一篇博客文章。 社区成员称赞 Bitap 的高效率,特别是在短模式(64 字符以下)匹配方面。他们指出,与朴素算法不同,Bitap 在最坏情况下仍能保持线性时间复杂度。一位用户还介绍了他们自己的“HashChain”算法,该算法集成了 Bitap 以确保线性时间的验证。 讨论还涉及了其他高性能方法,特别是 Wojciech Muła 推广的“通用 SIMD”字符串搜索技术。该帖子是对 Bitap 算法优雅推导及其在特定约束下优于 KMP 等算法的实践优势的一次技术性赏析。

Herdr 社区版浏览器客户端 Herdr 让终端保持活跃。Herdr Studio 将整个 Herdr 环境转化为一个快速、可视化的工作区,支持在任何现代浏览器中管理终端、会话、文件、差异(diffs)和工作树。 macOS · Linux · Windows · PWA Herdr 独立社区项目 · 需配合运行中的 Herdr 服务器使用。 统一视图:所有工作区和已识别的代理 真实终端:支持流式传输、回滚、粘贴及链接 本地或 SSH:支持本地及远程主机

这场 Hacker News 讨论聚焦于“Herdr Studio”,用户们澄清该项目**并非** Herdr 的官方产品。许多评论者对其品牌推广表示怀疑,指出其使用了相似的名称、标识和美学风格,具有误导性。 除了品牌问题外,讨论还深入探讨了 AI 辅助编程工具的更广泛生态。原版 Herdr 的资深用户探讨了其作为会话复用器(session multiplexer)的实用性,将其与 tmux 进行比较,并详细介绍了如何有效管理多个 AI 代理。虽然有些人认为管理多个代理让人感到不知所措或疲惫,但另一些人则表示通过实践获得了显著的生产力提升。 技术讨论重点包括: * **功能缺失:** 对 Herdr 缺乏会话自动命名功能表示不满,不过社区分享了相关插件和基于大语言模型的替代方案。 * **性能:** 关于处理多台远程机器时出现延迟的反馈。 * **用户体验:** 对默认快捷键的反馈褒贬不一,用户希望有更好的 UI 功能,例如对渲染 Markdown 的支持。 总体而言,社区对第三方“附加组件”保持谨慎态度,同时对 Mitchell Hashimoto 即将推出的项目等新兴替代品表现出浓厚兴趣。
联系我们 contact @ memedata.com