这份宣言主张复兴“站长”(webmaster)这一角色——即那种能够独立设计、编码并管理个人网络空间的多元创作者。从历史上看,“站长”代表了一种去中心化的、通过自学实现个人表达的文化。随着时间的推移,这种精神被企业整合、复杂的软件栈以及“网络对普通人来说太难”的虚假叙事所掩盖。 作者认为,我们被误导去相信科技本质上是让人上瘾的,认为我们必须依赖企业平台才能进行社交,且认为我们缺乏构建自己数字家园的技术能力。这些迷思唯一的获益者是大型企业,而代价则是我们数字自主权的丧失。 “站长精神”被视为一种深刻的抵抗行为。通过学习 HTML、托管自己的内容,并拒绝使用专有的“守门人”工具,我们正在重新夺回对自己数字生活的主导权。这无关怀旧或精英编程技能;这是一份普遍的邀请,旨在将网络视为一种手艺,而非消费品。作者敦促读者停止做被动的用户,重拾创作权利,在自由丧失之前建立起属于自己的独立在线空间。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Webmaster: 给每个人的宣言 (brennan.day) 8 点,由 OuterVale 发布于 59 分钟前 | 隐藏 | 往日 | 收藏 | 1 条评论 | 帮助 okzgn 12 分钟前 [–] 看看代码和网站,就能看出这是纯手工编写的:HTML、CSS,甚至是 JS(现在很少有人用 DOMNode.style.display = 'none/block' 了,而且我怀疑 AI 不会建议这样做)。这是以身作则的典范。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

此代码展示了一个名为“与友敌共舞”的 Wolfram Mathematica `Manipulate` 交互式演示,现已增加了 2D 和 3D 选项卡。 该模拟可视化了一个包含 1,000 个点的群体,这些点根据一个方程动态演变:每个点通过平衡对“朋友”($p$) 的吸引力和对“敌人”($q$) 的排斥力,并受收缩因子 ($c$) 的影响而移动。用户可以实时调整参数,包括吸引力和排斥力的步长、点大小、绘图范围、不透明度和配色方案。界面清晰地展示了控制方程,并为 2D 和 3D 渲染提供了高度的自定义选项,其中 3D 模式包含边界框的切换开关。此次更新采纳了 Andre 和 Vitaliy 的建议,提升了易用性和视觉风格。

```Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 与友敌共舞:博伊德(Boids)群集智能 (wolfram.com) 5 分 | surprisetalk 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 Avicebron 0 分钟前 [–] (2012) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

客户端挑战:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。本网站的一个必要组件无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置所致。请检查您的网络连接、禁用广告拦截器,或尝试使用其他浏览器。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Direct File 的兴衰 [pdf] (ischool.berkeley.edu) 11 分,由 ronbenton 于 42 分钟前发布 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

金融分析师马丁·阿姆斯特朗预测,2026年美国中期选举将出现高度极化和政治僵局。根据其计算机模型,民主党有望夺回众议院,而共和党将保住参议院,这将导致一段时期的严重阻挠、频繁的调查以及对唐纳德·特朗普失败的弹劾尝试。阿姆斯特朗认为,这种失能最终将损害民主党,从而为共和党在2028年的大胜铺平道路。 在内政之外,阿姆斯特朗对全球稳定持悲观态度。他警告称,乌克兰和中东的冲突是旨在耗尽西方资源的战略操纵,并预测欧盟和共和制政府可能在2030年代初崩溃。 在经济方面,阿姆斯特朗保持谨慎,但指出全球资本目前持续流入美国,支撑着股市。他预测黄金市场将在2027年迎来显著的牛市。最终,他将当前的政治气候视为一场“血腥运动”,认为情况在未来十年内可能引发系统性变革之前,还会进一步恶化。

正在重定向至 https://www.brandanthonymcdonald.com/blog/what-my-tests-do-not-cover

这篇 Hacker News 讨论强调了仅依赖单元测试进行应用程序开发的局限性。 讨论的核心是一个轶事:一位资深开发人员坚持要求进行严格的单元测试并大量使用模拟(mocking),他认为只要各个“乐高积木”组件运行正常,系统自然就能正常工作。然而,这种方法忽略了涌现行为(emergent behavior);尽管实现了完整的单元测试覆盖率,但应用程序在部署后立即崩溃,原因是一个显而易见的错误,而该错误本可通过集成测试或手动测试发现。 参与讨论者达成的共识是,单元测试最适用于库——即输入和输出定义明确的封闭系统,而应用程序存在于需要集成测试和端到端测试的“开放世界”中。最终,评论者们建议,仅依赖单一方法是不够的;稳健的策略需要平衡单元测试和集成测试,以确保精心打磨的组件在组合成复杂系统时也能正常运作。

苹果公司即将成为首家获中国监管机构批准在中国境内提供专有AI模型的外国公司。为符合当地严格的监管要求,苹果利用阿里巴巴提供的技术支持,专门为该地区开发了定制化的AI模型。 这一战略举措将阿里巴巴的“通义千问”(Qwen)模型集成到中国大陆地区的iPhone、iPad、Mac和Vision Pro的Apple Intelligence中,而百度将为搜索相关功能提供支持。该框架使苹果最终能在这一关键市场部署其AI套件,此前苹果在该领域已落后于华为等已提供端侧生成式AI的本土竞争对手。 尽管中国国家互联网信息办公室已于7月批准了苹果的服务,但苹果专有系统、阿里巴巴与百度之间具体的技术分工仍未披露。此举对于苹果维持其在中国市场的竞争力至关重要,该公司最近已回升为中国市场份额第二大的智能手机供应商。苹果尚未公布这些功能在中国大陆的正式发布日期。

这篇评论文章认为,美国的各种小费文化已从对优质服务的自愿奖励,转变为一种由技术驱动、令人不适的义务。作者指出,商家利用数字支付界面诱导顾客分摊人工成本,而非通过提高菜单价格来反映实际经营成本。 在咖啡店、零售柜台和自助服务终端,小费提示无处不在,且“不给小费”的选项往往被隐藏。这种现象已将原本表达谢意的举动变成了一种“社会税”。作者指出,这些提示旨在利用心理学和社交压力,迫使顾客在拒绝给小费时产生一种“罪恶感”。 最终,作者警告称这种趋势适得其反。当小费被视为强制性附加费时,商家可能会导致顾客产生抵触心理、降低消费频率,并消磨掉美国小费文化中曾经存在的慷慨精神。文章结论认为,商家应优先考虑透明定价,确保小费回归自愿表达谢意的本质,而非成为预期的经济负担。

最近关于销售终端(POS机)小费请求激增的 Hacker News 讨论,反映了消费者对“小费文化”的普遍疲劳。 评论者将这一现象归因于支付处理商,他们通过激励小费来获取交易手续费分成,并常故意设计界面,使选择“无小费”变得困难或尴尬。这引发了越来越多的不满,许多用户认为,柜台服务或外带强制收小费已演变成一种欺骗性的隐形收费,而非对服务的奖励。 这场辩论触及了更深层的系统性问题,包括美国员工权益的缺失,以及部分服务人员因倾向于基于小费的收入而非稳定工资而产生的抵触情绪。一些参与者认为,小费充当了一种心理赌博,为员工创造了令人上瘾的变量奖励。最终,不满的用户达成共识,渴望透明的定价,即菜单价格即为最终成本;还有人建议消费者抵制那些在非服务类交易中索要小费的商家。总而言之,这次讨论凸显了一项日益增长的运动:主张终结基于社会压力的小费制度,转而支持公平、稳定的生活工资。

在这篇杰克逊霍尔研讨会的前瞻中,Academy Securities 的彼得·奇尔(Peter Tchir)以莎士比亚式的笔触,阐述了凯文·沃什(Kevin Warsh)——这位未来美联储潜在的影响力人物——应当如何挑战现行的央行正统观念。 奇尔认为,美联储传统的“反应函数”已经过时,且往往存在误导。他主张沃什应打破对 2% 通胀目标的僵化执念,并指出“通胀是有害的”这一论断过于简单化,忽略了收入增长、宏观背景以及过去政策执行的不一致性。 此外,奇尔认为,面对能源价格波动和人工智能驱动的“算力”基础设施支出等现代通胀诱因,加息已不再是有效的工具。他敦促美联储放弃对缺陷数据的下意识反应,转而建立基于“常识”的工作组,专注于更新数据来源并重新评估资产负债表政策。 最终,奇尔认为美联储应改变当前的紧缩立场。尽管他预计市场对降息的预期将增强,但鉴于主权债务结构性的供需失衡,他对比特曲线长端仍持谨慎态度。他总结道,美联储若想重获公信力,就必须停止对现状的畏惧,大胆改革其决策流程。

一份近期的 CNBC/Generation Labs 调查显示,美国年轻人(18至34岁)对科技行业及其领导者的信任度显著下降。在科技巨头曾被视为年轻人才首选雇主的十年后,当前的情绪已转变为怀疑与幻灭。 该民调突显出人们对知名人工智能高管的深度不信任,亚历克斯·卡普(Alex Karp)、埃隆·马斯克(Elon Musk)和萨姆·奥特曼(Sam Altman)等人的反对率居高不下。即便是评分最高的微软首席执行官萨蒂亚·纳德拉(Satya Nadella),其信任得分也仅为 35%。这种转变源于人们对数据隐私、数字平台质量下降以及民主准则受到侵蚀的日益担忧。 年轻人对人工智能的广泛影响同样感到不安,45% 的人担心其对职业生涯产生负面影响,并强烈支持政府监管。有趣的是,相比于监管这些科技行业的亿万富翁领导者,人们对数据中心等争议性基础设施的反感程度反而较低。总体而言,这些数据表明,过去十年间的“科技乌托邦”理想主义已被一种对人工智能未来掌舵者普遍且根深蒂固的不信任所取代。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 年轻人对 AI 公司首席执行官的厌恶程度令人难以置信 (futurism.com) 21 点,healsdata 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 voidmain0001 0 分钟前 [–] 我怀疑文中所引用的那些首席执行官们根本不在乎。“仇恨者终将仇恨,仇恨,仇恨,仇恨,仇恨;宝贝,我只会摇摆,摇摆,摇摆,摇摆,摇摆;我甩掉它,我甩掉它 (呼-呼-呼)”——泰勒·斯威夫特。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Anthropic 近日宣布,为符合欧盟法规,所有 Claude 模型都将对其生成的文本应用一种语义概率水印。与最初猜测的隐形字符不同,该方法涉及“隐写术”,即模型在推理过程中会微妙地将词汇选择导向预先设定的“绿名单”。 作者认为,这种方法本质上是对创作者不友好的。由于将隐藏标记置于语义精确性之上,Anthropic 冒着降低文章质量的风险。由于这些水印与仅由提供商持有的密钥绑定,用户无法验证其文本是如何被篡改的,也无法在将 Claude 用于校对等任务时保护自己免受被误指为 AI 生成的指控。 该评论强调,这项政策使大语言模型沦为不可靠的写作助手,因为每一个词的选择都变得令人怀疑。此外,作者认为这种做法是一种“荒谬”的越权行为——为了满足欧盟的区域性要求,在全球范围内强制对文本进行篡改。最终,文章指出,为了官僚合规而牺牲语言的完整性和精确性,是对用户体验和写作技艺本身的根本背叛。

Hacker News 社区正在探讨 Daring Fireball 最近对 Anthropic 公司 Claude 新水印策略的批评。讨论的焦点在于,为了标记 AI 来源而在大语言模型(LLM)输出中植入微妙的确定性模式,是否会损害文字质量。 包括原文作者在内的批评者认为,强行规定特定的用词会干扰 LLM 选择最精准语言的能力,实际上是“掺杂”了文本。然而,许多评论者对此持反对意见,他们指出 LLM 本身就具有非确定性,且深受预训练微调(RLHF)和温度设置的影响。 技术层面的讨论主要集中在:这种水印代表了显著的质量下降,还是仅仅改变了随机数生成过程?除了技术可行性之外,用户还提出了对实际影响的担忧:潜在的“安全剧场”效应、无法证明经编辑的 AI 辅助文本的作者身份,以及在不同平台间检测此类水印的难度。尽管有些人认为这种做法越权,威胁到了 AI 作为写作工具的实用性,但另一些人则认为上述批评是基于对代币采样和 LLM 生成机制的误解。

本文探讨了如何通过图论中的“三着色”问题来实现零知识证明(ZKP)。零知识证明允许“证明者”在不泄露具体解的情况下,让“验证者”相信他们掌握了某个复杂问题的有效解。 根据 Goldreich、Micali 和 Wigderson 提出的协议,该过程包括: 1. **置换**:证明者随机打乱其已完成三着色的图的颜色。 2. **承诺**:将颜色“锁定”在盒子中(使用随机数进行哈希处理),并发送给验证者。 3. **挑战**:验证者随机选择一条边,要求证明者揭示该边两个端点的颜色。 4. **验证**:验证者确认两种颜色不同,且与初始哈希值匹配,以确保未被篡改。 通过多次重复此过程,证明者成功撒谎的概率将变得微乎其微。虽然图着色只是一个理论基础,但通过数学归约,这一概念可扩展至任何 NP 完全问题(如数独),证明了零知识证明是实现无需披露数据即可进行可验证计算的强大工具。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 零知识证明速览 (bernsteinbear.com) 4 分,作者:evakhoury,1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

全美公立学校的入学人数正在下降,主要原因是全国出生率的下滑。iSharing 的一项研究指出,西弗吉尼亚州受到的影响最为严重,2021 年至 2024 年间学生人数减少了 4.2%。夏威夷州、新罕布什尔州、怀俄明州和缅因州紧随其后,位列入学人数大幅下降的前五名。 虽然人口迁移模式各不相同,但往往不足以抵消出生率下降带来的长期影响。这一趋势给各学区带来了严峻挑战,因为公立学校的资金通常与学生人数挂钩。随着入学人数缩减,学校面临预算紧缩、艺术和体育等项目可能被削减,以及在许多情况下不得不关闭学校的困境。学校关闭往往迫使学生长途跋涉,并合并到更少的设施中。由于预测显示下降趋势将持续到 2031 年,许多州正面临一个艰难的未来:班级规模缩小、资源减少,以及为适应不断减少的学生人口而重组公共教育的艰巨任务。

请启用 JavaScript 并关闭所有广告拦截器

最近的一场 Hacker News 讨论探讨了 Anthropic 高达 1900 亿至 2000 亿美元的惊人估值,该估值建立在激进的收入增长预测之上。虽然一些用户质疑,鉴于廉价替代品的兴起,高端 AI 服务是否有其必要性;但另一些人则认为,企业对价格不敏感——出于对速度而非成本的优先考虑——使得企业需求成为强劲的市场驱动力。 关于这种天文数字般估值的可持续性,争论仍在继续。怀疑论者指出,当前的市场热情主要依赖于收入预测而非既定的盈利能力,尽管数据显示 Anthropic 有望在 2026 年年中实现首次季度营业利润。归根结底,评论者强调了消费者极低的“转换成本”,并指出在不断有新的可行模型涌现的领域,用户忠诚度非常薄弱。这场对话凸显了 AI 基础设施所需巨额资本与当前支撑该行业的投机性估值之间的深层张力。

请启用 JavaScript 并关闭广告拦截器

```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录Nvidia大幅缩减其可能担保的OpenAI基础设施融资额 (reuters.com)19分,由 root-parent 于55分钟前发布 | 隐藏 | 往期 | 收藏 | 1条评论 帮助 2773738384 7分钟前 | 上一条 [–] 真离谱,所有的AGI末日论最终竟然会演变成某个韩国养老基金持有有史以来最大的烫手山芋。让外行去处理现实世界的问题吧。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索: ```

柏林的布谢大街(Bouchéstraße)看起来是一条普通的住宅街道,但树木成熟度的差异、建筑风格的不协调以及强烈的明暗对比,隐约透露出它曾被柏林墙分割的历史。从1961年到1989年,这条街曾是“死亡地带”,像诺伊曼(Neumann)一家这样的居民被困在这里,他们距离边界仅有1.5米之遥。 诺伊曼一家忍受了近三十年幽闭恐惧般的隔绝生活,时刻处于监视之下,行动受限,身心承受着在堡垒式边境线内生活的巨大压力。尽管冒着风险,诺伊曼先生还是从窗户偷偷拍摄了柏林墙的演变,留下了关于边界建设和东德时期日常生活的罕见历史记录。 1989年柏林墙倒塌后,物理阻隔被拆除,街道的外观也实现了统一。然而,对于诺伊曼一家来说,心理上的印记依然存在。虽然他们现在居住在安静的街区,但每当宁静时刻,那道“墙”的阴影仍会浮现。如今,只有高耸的探照灯等微弱痕迹保留了下来,作为沉默的哨兵,见证着这段已从现代景观中抹去的创伤历史。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录 在(柏林)墙的阴影下 (slowtravelberlin.com) 4 点,由 yitchelle 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 yitchelle 1 小时前 [–] 柏林墙一夜之间建在了诺伊曼(The Neumanns)夫妇公寓的窗外。他们生活在墙的阴影里,并活着见证了它的倒塌。赫伯特·诺伊曼(Herbert Neumann)用相机记录了这一切(非法)。采访者:塔利亚·吉根泽(Thalia Gigerenzer)。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

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

Stripe 斥资 70 亿美元收购 AI API 聚合平台 OpenRouter 的消息在 Hacker News 上引发了激烈讨论。用户对这一令人咋舌的估值提出了质疑,因为该金额已超过了 Lyft 和阿拉斯加航空等成熟企业的市值。 讨论的核心在于此次交易的战略逻辑。支持者认为,OpenRouter 的价值在于其拥有海量且多样化的 LLM(大语言模型)调用追踪数据集,且作为关键中间件,它无需多次 API 集成即可简化对各类 AI 模型(包括成本更低的中国模型)的访问。 然而,怀疑论者对这一举动感到困惑,认为如此高昂的价格是 AI 市场泡沫化的体现。一些用户推测,此次收购是 Stripe 更宏大的地缘政治或经济布局的一部分,旨在巩固其作为数字经济核心“交易层”的地位——不仅能处理美元支付,还能促进 AI Token 的交换。另一些用户则对 Stripe 日益增长的影响力表示担忧,称其主导地位已接近“垄断”,应当受到更严格的反垄断审查,尤其是在有传言称其正计划进一步收购 PayPal 等公司的情况下。

最近一项针对《大纪元时报》读者的调查显示,受访者强烈反对社会主义意识形态,绝大多数人拒绝高税收、收入再分配以及政府对工资和价格的管控。多数受访者认为,当社会主义被包装成福利服务而非国家过度干预时,更容易获得支持;他们指出,即便是在意识形态上反对这些政策的人,在面临经济困境时也可能被其吸引。 针对社会主义影响力的增长,副总统万斯认为,仅仅批评该运动是远远不够的。他强调,对抗社会主义吸引力最有效的方法是解决美国普通民众切身的经济担忧。通过专注于振兴工业基础、改善公共安全以及降低住房等基本生活成本,现任政府旨在直接提高民众的生活质量。调查结果印证了这一观点:尽管读者坚守自由市场原则和个人责任,但大家一致认为,政治解决方案必须优先考虑实际的经济稳定,以防止社会主义政策的逐步渗透。

联邦监管机构已给予特朗普家族旗下的加密货币项目 World Liberty Financial 有条件批准,允许其以银行执照开展业务。该决定由特朗普任命的货币监理署署长乔纳森·古尔德(Jonathan Gould)发布,授权该公司在国内无需通过中介机构即可发行其“USD1”稳定币。 此举为特朗普总统在2025年一年内获利超过6.6亿美元的商业项目提供了重要的联邦信誉与授权。包括联合创始人扎克·威特科夫(Zach Witkoff)在内的支持者认为,此举旨在巩固美元的全球地位。相反,批评人士和包括伊丽莎白·沃伦(Elizabeth Warren)参议员在内的民主党议员则谴责这一进展是腐败和“厚颜无耻”的利益输送的典型案例,这标志着本届政府直接干预总统个人财务利益的最典型事件之一。

《琼斯母亲》(Mother Jones)近期的一篇报道披露了特朗普家族建立私人加密货币项目的意图,这在 Hacker News 上引发了激烈的讨论。 用户对该计划表达了深深的怀疑与担忧,一些人将其定性为试图将美国财富收归私人所有,并可能削弱美元作为全球储备货币的地位。讨论很快转向了更广泛的政治批判,参与者将特朗普的政治成功归咎于媒体人士、科技界意见领袖以及权势人物的影响。 许多评论者以愤世嫉俗的眼光看待此举,将私人数字资产与金融不稳定联系起来,甚至有人预测此类项目可能会加速美国金融霸权的衰落。尽管部分用户认为其中一些危言耸听的说法过于夸大,但整体舆论反映出人们对特朗普政府的政策与私人金融投资之间的关联抱有极大的不信任。

以“Richard Noticias LA”为名报道犯罪新闻的独立记者卡利托斯·里卡多·帕里亚斯(Carlitos Ricardo Parias),已被美国政府羁押超过300天,创下了美国历史上记者被监禁时间最长的纪录。 帕里亚斯的苦难始于2025年。当时联邦特工以其身份非法为由试图将其逮捕,据称在突袭行动中驾驶车辆撞击了他。随后,在另一次逮捕行动中,他的肘部被特工开枪击中。尽管法官在认定政府隐瞒证据并侵犯了帕里亚斯的宪法权利后撤销了随之而来的刑事指控,但他仍被关押在阿德兰托(Adelanto)的美国移民及海关执法局(ICE)处理中心。 尽管身受严重的枪伤且未得到治疗,并深陷极其恶劣的生存环境——包括饮用水中滋生蠕虫——帕里亚斯仍坚持报道该设施内的系统性虐待。他的案件凸显了移民执法与压制新闻自由之间令人不安的交集。尽管政府试图将他转移以进一步孤立他,但帕里亚斯持续的报道是对当局为噤声记者而不择手段的严厉控诉,无论其移民身份如何。

近期关于《拦截》(The Intercept)报道一名记者被美国移民及海关执法局(ICE)拘留近300天一事,在Hacker News引发了激烈讨论。 各方观点严重分歧。一些用户对政府的越权行为表示惊恐,并引用有关ICE强制囚犯进食的报道——部分人认为这种做法属于非法酷刑。另一些用户则对美国司法系统感到失望,认为政府现有的不当行为模式只有通过激进的政治变革或社会动荡才能改变。 反之,讨论中很大一部分人对原文的叙事框架提出了质疑。一些评论者援引随身摄像机画面及法律先例,认为该记者的拘留是正当的,因为他曾驾车冲撞警车,实际上是将车辆作为致命武器使用。 这一讨论串凸显了深层的两极分化:一方面,部分参与者视此情况为紧急的人权危机;另一方面,另一些参与者坚持认为该记者在事件中的行为对执法人员构成了实质威胁,因此其监禁是必要的。

软件验证曾被视为小众或不切实际的追求,如今却正备受青睐。这种复苏主要源于 AI 编程代理的兴起,它们在生成代码的同时,也需要稳健的保障手段来验证代码,而 AI 同时也让验证过程变得更加快速且易于实现。 本文反思了 1979 年发表的论文《社会过程与定理及程序的证明》。该论文曾指出形式化验证注定会失败,因为它忽视了数学证明的社会属性以及现实世界需求固有的混乱性。尽管作者正确地强调了验证并非“万能钥匙”,且更广泛的工程实践、同行评审和系统设计对于可靠性同样至关重要,但他们对形式化方法的否定显然过于悲观。 现代技术的进步,尤其是人工智能辅助的规范化与验证,已经克服了 50 年前指出的许多障碍。如今,形式化方法正从学术练习演变为一种实用的、必要的工具,以确保在 AI 代理处理大量软件生产的时代实现正确性。归根结底,验证与传统工程并非竞争对手,而是追求可靠、高质量软件过程中相辅相成的组成部分。

这篇 Hacker News 帖子讨论了《形式化验证的反对意见:五十年后》一文,该文重新评估了 1979 年对形式化方法的一篇著名批判。 尽管文章标题看似持怀疑态度,但有评论指出,作者最终反驳了原论文中大多数最有力的论点,认为只有少数观点在今天仍然适用。 讨论还强调了形式化验证面临的一个根本挑战:虽然它擅长证明离散算法(如最大公约数或快速排序)的正确性,但在处理“杂乱”的大规模现实世界系统时却显得力不从心。评论者认为,对于 Facebook 这样复杂的平台,软件本身就是其行为最准确的规范,这使得传统的形式化验证难以应用或不切实际。

英特尔于 1997 年推出的 MMX(多媒体扩展指令集)将 SIMD(单指令多数据流)技术引入了主流 x86 桌面平台。通过允许在单个 64 位寄存器内同时处理多个整数,MMX 显著提升了图像处理、音频和视频任务的性能。 虽然 MMX 并非首个 SIMD 实现(此前已有 ILLIAC IV 等超级计算机),但它却是那个时代开发者的重要“成人礼”。它迫使程序员从标量值转向以向量形式思考,这种思维方式至今仍是现代计算的基础。然而,MMX 存在明显的局限性,例如它与 80 位浮点寄存器共享空间,这不仅要求开发者必须谨慎管理状态转换,还阻碍了浮点运算的同步使用。 从长远来看,MMX 是一项成功的过渡性技术。它最终被 AMD 的 3DNow! 所盖过,随后又被英特尔自家的 SSE 和 SSE2 彻底取代,后者引入了专用且更宽的 128 位寄存器以及真正的浮点 SIMD 支持。尽管 MMX 指令集早已过时,但它为如今硬件所使用的 AVX 和 NEON 等高性能扩展奠定了概念基础,标志着并行处理技术正式步入普通个人电脑的历史转折点。

这篇 Hacker News 讨论探讨了 20 世纪 90 年代推出的英特尔 MMX(多媒体扩展指令集)的历史及其技术复杂性。虽然当时 MMX 常被宣传为 3D 游戏性能的助推器,但用户指出,它在图像、视频和音频处理方面的影响力更为显著。由于早期编译器难以生成高效代码,MMX 的实际性能表现往往受限于必须进行汇编语言优化。 该讨论中的主要技术见解包括: * **架构:** MMX 寄存器最初与 x87 浮点堆栈共用空间,因此需要使用 `EMMS` 指令来防止浮点错误——如果不注意这一细节,可能导致系统崩溃或性能严重下降。 * **向 SSE 过渡:** MMX 最终被 SSE 取代,后者更好地支持了浮点运算和 32 位操作,使其更适合 3D 图形处理的革命。 * **遗产:** 尽管随着硬件加速 GPU 和 SSE 成为标准,MMX 的直接影响逐渐减弱,但它在推出后的很长一段时间内,在信号处理领域依然具有重要价值。 此次对话突显了 90 年代 CPU 开发的快速发展,以及 SIMD 指令集的演变过程,这些指令集最终成为了现代 64 位指令集的必要组成部分。

圣马特奥县(San Mateo County)正采取行动,有望成为加州首个对人形机器人商业用途进行监管的县。在8月11日通过一项决议后,该县将起草一项条例,以监管餐厅和零售店等商业场所中自动或半自动机器人的部署。 拟议的框架旨在随着企业越来越多地试用人形机器人技术,确保公共安全。主要条款包括强制性的许可程序、安装紧急“终止开关”以及要求具备受过培训的人员进行监督。此外,该县正在考虑向企业收取年度费用,以帮助当地消防部门购置必要的专业设备,以应对与机器人锂离子电池相关的火灾风险。 该法规的支持者强调,这种主动的做法在技术创新与公共利益和安全之间取得了平衡。劳工权益倡导者也参与了讨论,强调了在这些技术进入主流市场时,考虑其对工人的经济影响的重要性。该倡议旨在为人形机器人实现广泛应用之前,构建一个结构化的整合环境。

人工智能实验室正日益将推理能力置于事实存储之上,这使得模型在逻辑方面表现卓越,却容易在琐碎信息上产生幻觉。这种权衡是刻意为之的:推理过程(如拆解问题)既简洁又具有永恒性,而事实知识则庞大、昂贵且极易过时。 通过将事实存储转移至外部“挂载工具”——例如网络搜索、检索系统和文档——开发者可以创造出专注于纯粹“智能程序”的模型。这种转变具有三大优势: 1. **效率**:通过剥离旨在存储事实的臃肿专家层,前沿水平的推理性能很快就能在消费级 GPU 上运行。 2. **长效**:模型不再依赖静态的训练截止日期来理解世界,因此具备了“知识保鲜”的能力。 3. **可靠性**:将答案建立在外部文档的基础上,可以将幻觉从无法修复的内部权重错误,转变为可控的数据缺陷。 归根结底,这一发展轨迹指向了未来:模型将充当灵巧的推理引擎,在运行时摄取实时、可验证的数据,从而有效地将智能与瞬息万变的事实领域分离开来。

这篇 Hacker News 的讨论探讨了“模块化 AI”的概念,即用户正从庞大的通用模型转向更小、更专业且可在本地运行的“可插拔”组件。 参与者将这种方法比作 Unix 哲学或“下载技能”,并提出了一种未来愿景:用户将特定的推理引擎与目标知识库相结合(例如,合并编程、地理信息系统和设计模块)。支持者认为,大语言模型(LLM)应减少对海量、易变事实的记忆(这常导致幻觉和数据过时),转而依赖工具调用、检索增强生成(RAG)以及基于搜索的整合。 然而,讨论也指出了几个实际障碍,包括搜索引擎日益严重的不稳定性,以及目前 AI 应用的局限性——即主要仍处于“人在回路”阶段,而非完全自主的代理工作流。最终,共识倾向于转向精简、专业的模型,使其专注于推理,同时将事实性知识交给外部的可验证来源处理。

布伦特原油价格在每桶88.50美元附近徘徊,市场正准备迎接财政部长斯科特·贝森特宣布的针对伊朗的“前所未有”的经济行动。分析人士指出,这一战略可能会从针对单一实体转向系统性地瓦解支持伊朗石油出口的整个金融网络。 潜在措施包括制裁中国和印度的大型银行、惩罚参与伊朗贸易的全球企业、扣押伊朗海外资产,以及惩罚为伊朗货物运输提供便利的港口。其主要目标是通过切断伊朗用石油换取货币的能力来孤立德黑兰。 然而,专家警告称,这些激进策略存在严重风险。针对消耗伊朗90%以上石油的中国,可能会引发重大的地缘政治报复,并通过限制美元融资导致全球金融体系不稳定。此外,将伊朗原油从市场中剔除可能会加剧全球供应紧张并推高油价。尽管美国旨在打击伊朗经济,但批评人士认为,该战略缺乏明确的退出计划,可能会无意中加剧全球系统性风险,并加剧与世界大国之间的紧张关系。

陶瓷滤水器是一种净化不洁水源的高效低技术解决方案。该技术由费尔南多·马扎列戈斯(Fernando Mazariegos)博士于1981年开发,利用多孔陶罐通过物理方式拦截病原体。在生产过程中,将锯末等可燃材料与黏土混合;经窑炉烧制后,这些材料会燃烧殆尽,留下可滤除细菌和沉积物的微孔(0.6–3.0微米)。 为增强功效,烧制后的陶罐会经过胶体银处理,胶体银可作为杀菌剂,杀死逃过物理过滤的病原体。这一半工业化制造过程包括混合、机械压制、干燥、约900°C高温烧制,以及严格的流速测试,以确保每个单元均符合安全标准。 该技术旨在由创业者进行社区级生产,而非家庭手工制作,因为它需要液压机和高温窑炉等专业设备。“和平陶工”(Potters for Peace)组织提供开源资源和培训,以在全球范围内支持这一倡议。在维护得当的情况下,这些滤水器能提供一种可持续且廉价的饮用水安全保障,陶瓷滤芯通常可使用2至3年。

Hacker News 新帖 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 低技术陶瓷滤水器 (lowtechlab.org) 3 点,由 Bluestein 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Buf 发布了首个功能完备、达到生产环境标准的 Protobuf 语言服务器协议(LSP)服务器。该工具由 Buf CLI 提供支持,首次为 VSCode 和 Neovim 等编辑器带来了现代 IDE 功能,包括代码补全、“跳转到定义”以及高级诊断。 Buf LSP 基于全新的查询驱动型编译器前端构建,相比传统的 `protoc` 编译器,它能够提供更快、更准确的错误报告,并具备更优的性能。该工具专为处理大规模工作空间而设计,并为支持如 Editions 2024 等即将推出的 Protobuf 特性做好了准备。 此次发布是 Buf 持续简化 Protobuf 开发,并与 ConnectRPC 和 Buf Schema Registry 等工具共同强化生态系统这一努力的一部分。展望未来,Buf 计划为 LSP 增加更多功能,包括自动导入、更智能的代码补全以及对 Protovalidate 的专门支持。Buf LSP 现已发布,用户可以通过 Buf VSCode 插件或配置其首选的 LSP 兼容编辑器进行集成。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Protobuf 已支持 LSP。不客气 (buf.build) 6 点,由 theanonymousone 发布于 44 分钟前 | 隐藏 | 往期 | 收藏 | 1 条评论 echelon 5 分钟前 [–] 在 LLM(大语言模型)时代,Buf 提供的 Protobuf 注册表和代码生成 SDK 似乎没那么必要了。 我开始怀疑 Protobuf 的许多优势(也许线上传输格式除外)。再加上随着 LLM 的兴起,Monorepo(单体仓库)和其他 2010 年代的流行趋势也令人生疑。 我曾经是这些技术的忠实信徒,但我的核心假设正在迅速发生动摇。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

需要 macOS (arm64) 或 Linux (x86_64) 系统,并配备用于默认后端的 codex CLI。 git clone https://github.com/math-ai-org/mathcode.git cd mathcode bash setup.sh codex auth login mathcode setup.sh 会准备发布版本、下载捆绑的运行时和 Lean 工具链,并安装一个用户本地的 mathcode 启动器。 尝试运行: mathcode -p "prove that the square of an even number is even" 输出将写入 LeanFormalizations/ 目录中。可通过 ./run webui 使用浏览器界面。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录MathCode, 数学编程代理 (math-ai-org.github.io)12 点 由 homarp 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 homarp 1 小时前 [–] 一个带有内置数学形式化引擎的终端 AI 编程助手——用通俗语言描述一个问题,它会将其转换为 Lean 4 定理并尝试进行形式化证明。回复seunosewa 9 分钟前 | 父评论 [–] 你能提供一个实际的例子吗?回复rawland 3 分钟前 | 根评论 | 父评论 [–] 快速入门里有一个: mathcode -p "prove that the square of an even number is even"(证明偶数的平方是偶数) https://math-ai-org.github.io/mathcode/#quickstart - 如果你仔细看,顶部的截图实际上展示了输出(以及解决方案)。回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

洛斯阿拉莫斯国家实验室行政助理梅丽莎·卡西亚斯(Melissa Casias)于2025年失踪,近一年后,人们在纽墨西哥州的一片森林中发现了她的遗骸。她的死亡引发了外界关于谋杀的质疑。尽管法医办公室将死因裁定为“未确定”,但法医专家和家属认为,子弹从她颅底穿过的轨迹使得自杀在生理上几乎不可能。在现场收集到的证据,包括据称并非卡西亚斯所有的物品,也进一步反驳了警方的官方结论。 一些人认为,卡西亚斯的案件是一系列令人不安的事件之一,涉及至少十一名与核项目、美国国家航空航天局(NASA)及先进航空航天研究相关的科学家和工作人员的离奇死亡或失踪。其他知名人物还包括前空军少将威廉·尼尔·麦卡斯兰(William Neil McCasland)以及多名与推进技术相关的工程师。尽管特朗普总统曾下令进行调查,但官方尚未证实这些案件之间存在关联。然而,这些人员职业背景的重叠以及他们死因的异常情况,引发了持续不断的猜测,尤其是在政府继续按规定公开机密不明空中现象(UAP)和不明飞行物(UFO)记录的背景下。

**LoreKit** 是一款旨在解决 AI 智能体“失忆”问题的工具,它提供了一套基于本地文件的持久化记忆系统。与那些需要账户或复杂迁移的平台不同,LoreKit 只需一条命令(`npx @lorekit/cli install`)即可在磁盘上创建一个文件夹,供智能体保存“经验教训”。 工作流程很简单:当智能体遇到重复出现的错误时(例如因缺少服务而导致集成测试失败),它会将该“教训”写入一个 Markdown 文件。在后续的会话中,智能体会在行动前先阅读这些注意事项,从而避免重蹈覆辙。 **核心功能:** * **开发者自主掌控:** 数据以纯文本文件的形式存储在您的仓库或主目录中。 * **无缝扩展:** 同一套代码既支持本地文件夹也支持托管的 Postgres 数据库;迁移至团队共享的远程存储无需任何迁移操作,只需一个令牌(Token)即可。 * **上下文感知:** 支持范围界定(全局、仓库或分支)和笔记生存时间(TTL),以确保信息的时效性。 * **拒绝“黑箱”:** 它使用简单的词法匹配而非晦涩的 AI 训练,确保您始终清楚智能体究竟“学会”了什么。 在任何智能体频繁犯错的仓库中安装它吧。

开发者 mthines 发布了 **LoreKit**,这是一个专为 AI 智能体和命令行界面(CLI)设计的免费开源记忆系统。 LoreKit 提供本地和远程存储选项,用户既可以与团队共享记忆,也能在本地保持隐私。与许多依赖嵌入(embeddings)的现有解决方案不同,LoreKit 采用词法检索方法,并辅以作用域和标签,以确保上下文的相关性。该系统具有极高的可扩展性,经负载测试支持多达 60,000 条记忆。 该项目包含用于无缝集成的预构建智能体技能,并提供一个配套网站以分析使用情况,帮助用户优化工作流程。LoreKit 目前已在 GitHub 上开源,开发者正在积极寻求社区反馈,探讨首选的记忆存储模型(本地与远程)以及 AI 智能体工作流中持久化记忆所面临的挑战。 **链接:** * **网站:** [lorekit.io](https://lorekit.io) * **GitHub:** [github.com/mthines/lorekit](https://github.com/mthines/lorekit)

错误:无法满足请求。此 Amazon CloudFront 分发配置为阻止来自您所在国家的访问。我们目前无法连接到此应用或网站的服务器。这可能是因为流量过大或配置错误。请稍后再试,或联系应用或网站所有者。如果您通过 CloudFront 向客户提供内容,可以查看 CloudFront 文档,获取排查和防止此错误的步骤。由 cloudfront (CloudFront) 生成,请求 ID:5mxo4OQshCoA0REJx77mQnch1TtCQZPFComiMPnF0I3VUS7oOuCVpg==

这篇 Hacker News 帖子讨论了大烟山国家公园的“通往虚无之路”(Road to Nowhere),引发了用户分享南加州圣盖博山脉中类似的废弃基础设施项目。 “通往虚无之桥”(Bridge to Nowhere)是一个典型的例子;它建于 1936 年,原为支持金矿开采而建,但 1938 年的一场大洪水摧毁了所有进出道路,使其成为孤岛。工程师最终决定不再重建,认为该地区极易遭受反复的洪水破坏。 其他评论者重点提到了圣盖博河东叉流域,那里存在多层废弃的基础设施。其中包括两条 20 世纪 60 年代的废弃隧道、上述 20 世纪 30 年代的桥梁,以及更为隐蔽的 20 世纪初 PL&P 步道。总的来说,这些遗迹成为了雄心勃勃的工程项目最终被自然收复或因环境变迁而过时的纪念碑。
联系我们 contact @ memedata.com