每日HackerNews RSS

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

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在氢化硅上原子级精确的碳结构机械合成 (arxiv.org) 6 分,gene-h 发布于 4 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

本文探讨了一款让作者沉迷其中的神秘无名赛马桌游。这款游戏本质上是一台“无技巧博彩机”,玩家押注的赛马完全由掷骰子决定其移动。尽管玩法简单且缺乏策略性,但作者却发现它有着奇特的吸引力,并享受探索其起源的过程——这款游戏以不同名称出现在各种版本中。 该游戏支持 2 至 12 名玩家,核心道具包括一副牌和 11 个马匹棋子。在“经典模式”中,玩家持有对应马匹的卡牌;若马匹移动或被“取消资格”(出局),玩家需向奖池投入筹码。最终赢家由持有率先冲过终点线马匹卡牌的玩家决定。 作者为读者提供了详细的指南,涵盖了游戏组件、“经典模式”规则,以及引入卡牌技能、轮抽机制和额外奖池的“进阶模式”。文中还整理了从互联网上收集的各种“自创规则”,这些规则增加了投注、交易和战术卡牌博弈等独特机制,证明了这款简单的运气型游戏依然是一款多变且引人入胜的桌面游戏之谜。

最近的一则 Hacker News 讨论探讨了一款完全依赖运气的桌游,玩家对结果没有任何主导权。与《Ready Set Bet》等结合了策略、博彩和时机元素的流行游戏不同,原帖中的这款游戏是严格决定论的;如果骰子掷出和洗牌的过程完全重复,结果也会完全相同。 评论者将该游戏与其他类似作品进行了对比,并分享了关于过去自制赛马游戏的怀旧趣事。虽然一些用户指出了纯运气游戏(玩家无需做任何决定)与涉及博彩或战术时机的游戏之间的区别,但普遍观点认为,这类赛马游戏提供了一种基于随机性而非玩家技巧的、低风险的社交体验。

在一项新颖的裁决中,特拉华州高等法院法官支持了“人工实体”(包括公司、有限责任公司和信托)在某些市政选举中的投票权。克雷格·A·卡斯尼茨(Craig A. Karsnitz)法官驳回了美国公民自由联盟(ACLU)针对芬威克岛镇(Fenwick Island)的诉讼,该镇允许拥有房产的非人类实体参与地方选举。 美国公民自由联盟认为,实体投票违宪地削弱了活体公民的政治权力。然而,卡斯尼茨法官驳回了这一主张,指出特拉华州法律将这些实体视为“人”。他强调,原告未能证明这种做法涉及歧视、党派偏见,也未能证明这些实体作为一个强大的统一集团进行投票。 该裁决凸显了特拉华州独特的法律环境,即商业实体的数量远超人类居民,并对该州经济做出了巨大贡献。尽管批评者常将企业投票比作反乌托邦小说,但法院裁定,根据“一人/实体一票”的原则,该镇的章程仍然合宪。这一决定反映了企业人格权的持续扩张,自最高法院在“联合公民诉联邦选举委员会案”(Citizens United)中做出裁决以来,这一趋势一直是一个充满争议的话题。

最近特拉华州法院的一项裁决引发了争议,该裁决确认在特定城镇(特别是芬威克岛)拥有房产的公司有资格参与当地市政选举。 尽管一些评论者最初担心这会让个人通过创建多家空壳公司来操纵选举,但另一些人澄清说,投票权是与实际拥有房产挂钩的,而不仅仅是与公司注册挂钩。尽管有这一限制,该决定仍招致了大量批评。批评者认为,赋予“潜在永生”的实体投票权破坏了民主原则和人类选举权。这一讨论引发了人们将其与伦敦金融城和香港历史上企业投票制度的类比,一些参与者呼吁采取立法行动,以确保投票权始终是自然人的专属权利。

请启用 JavaScript 和 Cookie 以继续。

有关“Brilliant Maps”网站发布解密后的 1980 年代中央情报局(CIA)地图,Hacker News 上的一场讨论引发了关于人工智能生成内容兴起的争议。评论者指出,该网站对地图的总结缺乏人类的细微差别,呈现出大语言模型所特有的那种通用且刻板的基调。 对该网站所有者“Brilliant British Ltd”的调查显示,其实际运营者是一名专门管理多个垂直内容网站的搜索引擎优化(SEO)专业人士。尽管一些用户批评这种对自动摘要的过度依赖,但另一些人则认为,这种反弹反映了一种日益增长的“AI 精神错乱”——即人们对所有在线内容是否由 AI 生成所产生的本能恐惧。 除上述争议外,用户们还分享了相关的历史背景,并对类似的情报工作表示好奇,特别提到了冷战时期苏联绘制的美国城市(如华盛顿特区)详细地图的现有档案。

“Vibe coding”(即在无需传统编程专业知识的情况下利用 AI 构建应用程序)提供了惊人的开发速度,但也带来了重大的安全风险。Thoughtworks 的内部经验表明,AI 经常会建议一些不安全的路径,例如公共存储访问或权限过高的服务账户。由于目前 20% 的企业安全漏洞与 AI 生成的代码有关,仅依靠人工监督或简单的提示词已不足以应对。 为了从高风险的原型过渡到可投入生产的软件,组织必须以“确定性防护栏”取代“概率性提示词”。解决方案是“治理工程”(harness engineering),即通过两层控制来封装 AI 智能体: 1. **引导(前馈):** 将不可更改的安全上下文文件注入到 AI 的工作空间中,从一开始就强制执行安全模式。 2. **传感器(反馈):** 在开发流程中实施自动化的计算检查(如安全扫描器和代码检查工具),作为不可逾越的关卡。 通过以对待传统软件工程的严谨态度对待 AI 辅助开发——将安全性嵌入工作流、使用默认安全的模板并保持主动的情报更新——团队可以在不牺牲企业级安全性的前提下,利用 AI 的速度优势。随着 AI 生成软件成为行业标准,让安全路径成为最便捷的路径已不再是可选项,而是企业的当务之急。

``` Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录The VibeSec Reckoning (martinfowler.com)17分,由 HieronymusBosch 发布于 52 分钟前 | 隐藏 | 往期 | 收藏 | 2 条评论 帮助 some_random 1 分钟前 | 下一条 [–] 值得注意的是,大语言模型带来的漏洞类型与人类编写代码时产生的漏洞有显著不同,语法错误、简单的内存问题等局部问题大大减少,而认证/授权(authn/authz)等宏观层面的问题则更多。回复pdp_ 7 分钟前 | 上一条 [–] 我们终将吃一堑长一智……一如既往。回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

伦巴第大区正在实施新的法规,以规范数据中心的快速增长,旨在平衡人工智能竞赛的需求与环境的可持续性。议员马西莫·塞尔托里(Massimo Sertori)强调,虽然该地区不能停止工业发展,但将通过简化行政程序,优先考虑闲置工业区的再开发,从而抑制在绿地上的建设。 针对该地区巨大能源需求的担忧,该法律确立了统一的投资程序,并将意大利输电网公司(Terna)纳入指导委员会,以规划能源可用性,同时计划将授权上限限制在2吉瓦。 然而,反对派对此仍持批评态度。民主党议员马泰奥·皮洛尼(Matteo Piloni)在承认数据中心必要性的同时,认为该法律缺乏连贯的政治远见。他主张该法规未能提供强有力的土壤保护,并批评其缺乏严格的限制,认为真正有效的监管需要国家政府的干预。

意大利的一项新区域政策提议,对建在绿地或农业用地上的数据中心征收200%的税收。该立法旨在保护土地,并为选择改造废弃工业用地的开发商提供行政简化程序。 这一政策在 Hacker News 上引发了激烈辩论。支持者认为,此举保护了重要的自然和农业资源,并指出与传统行业相比,数据中心提供的当地就业岗位相对较少。相反,批评者则将该税收视为“绿色政治”,认为这可能会阻碍技术进步。他们警告称,通过抑制人工智能和数字创新所需的基础设施建设,意大利和欧洲面临落后的风险,可能变得依赖外国科技巨头并丧失未来的经济价值。 讨论还触及了土地利用的必要性,一些人认为农业用地已经未被充分利用或用于非食品生产,而另一些人则强调粮食安全应被置于优先地位。归根结底,这场辩论反映了人工智能时代对基础设施的迫切需求与规范土地开发的社会环境努力之间更广泛的张力。

尽管大语言模型(LLM)擅长生成函数或文档等独立的增量任务,但它们目前尚不具备自主修改复杂软件系统的能力。作者认为,“模式匹配”(LLM 的强项)与“因果推理”(在大型实际代码库中处理依赖关系、不变量及连锁反应所必需的能力)之间存在本质区别。 由于 LLM 预测的是统计学上合理的词元,而非理解系统性的后果,因此在交付生产环境级软件时,它们仍不可靠。它们可以模仿工程工作,但无法维持安全变更现有系统所必需的内部因果表征。 因此,业界应将人工智能视为强大的辅助工具,而非人类工程师的替代品。对于企业级代码库而言,实现自主智能体的梦想尚未得到验证。团队不应追求完全自动化,而应利用 LLM 来提升人类工程能力,始终将人类的判断置于意图、架构和安全性的核心。在人工智能能够推理其变更带来的因果影响之前,人工监督依然是可靠软件开发的必要基础。

这篇 Hacker News 的讨论批评了“人工智能体无法维护或修改复杂软件系统”这一前提。 参与者反驳了文章的核心论点,即大语言模型只是缺乏真正系统理解能力的“模式匹配器”;他们指出,人类的专业知识往往也依赖于类似的模式,且我们并未完全理解人工智能“智能”的内部机制。 资深开发者的共识是,虽然“一次性”的自主智能体工作流经常失败,但人工智能在混合模式下作为一种“能力增强器”非常有效。用户强调,主要挑战不在于人工智能缺乏潜力,而在于如何协调“人类意图”并维持系统的不变性。当人工智能体试图进行大规模、多文件的更改时,往往会产生“乱码”,因为系统的全局状态超过了它们的上下文窗口。最终,评论者建议最有效的做法是将人工智能用于经过验证的窄领域任务——将其作为开发者的“外骨骼”而非完全自主的替代品。许多人还指出,原文本身看起来像是人工智能生成的,这加剧了人们对其分析深度的怀疑。

作者发现,NVIDIA A100 GPU 上的矩阵乘法(matmul)性能会随输入数据的不同而产生显著差异,其中预测性模式(如全零矩阵)的运行速度比随机数据更快。与矩阵乘法仅受计算能力或带宽限制的传统认知不同,作者指出**动态功耗限制(dynamic power throttling)**才是根本原因。 由于 GPU 设有严格的功耗上限,高频活动的操作(特别是涉及晶体管频繁开关的操作)会产生更多热量并消耗更多电力。当 GPU 达到功耗上限时,电压调节模块(VRM)会降低时钟频率以防止过热或电气故障。随机且复杂的数据会导致芯片内更多的“位翻转”,从而增加功耗并触发限频;而零值或重复模式消耗的功率较小,使 GPU 能够保持更高的时钟频率。 这揭示了 GPU 基准测试中的一个关键差异:基于最高时钟频率计算出的理论峰值浮点运算性能(FLOPS)往往无法实现,因为硬件更多是受限于功耗而非计算能力。这解释了为何 H100 等硬件的实际性能提升往往达不到理论营销指标,也凸显了功耗(而非晶体管数量)才是现代人工智能硬件的主要制约因素。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在 GPU 上进行矩阵乘法运算时,处理“可预测”数据速度更快 (thonking.ai) 16 分 | tosh 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助 gdevenyi 36 分钟前 [–] 人们已经在本地大模型推理中注意到了这种现象。限制功耗似乎能提升整体性能! 回复 gchamonlive 26 分钟前 | 父评论 [–] 总的来说,限制会促使人们进行优化和架构重构。我还预计内存短缺会对整个软件行业产生重大影响,特别是在游戏领域。他们将不得不利用人们现有的硬件资源,比如 PS5/Pro 或同等性能的 PC。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

本提案主张允许在 Go 中使用**泛型具体方法(generic concrete methods)**,从而解除历史上对方法声明自身类型参数的限制。 目前,Go 允许泛型函数,但限制方法只能使用接收者定义的类型参数。这一限制最初是为了避免支持泛型接口方法所带来的复杂性,因为此类方法在运行时难以高效实现。 作者认为,无论是否满足接口,具体方法对于代码组织和可读性而言都是一种有用的语言特性。根据本提案,泛型方法将不会实现泛型接口方法,它们仅作为与类型关联的函数存在。 **关键点:** * **语法:** 方法将采用与泛型函数相同的语法:`func (r Receiver) Name[T any](...)`。 * **兼容性:** 该变更完全向后兼容,且不会破坏现有接口。 * **用法:** 类型参数可以显式提供或进行推断,方法值/表达式与现有泛型保持一致。 * **实现:** 该提案仅需对语言规范、编译器和导入/导出格式进行少量调整,且利用了现有的泛型函数调用机制。

这篇 Hacker News 讨论聚焦于 Go 语言即将增加对泛型方法支持的消息。 讨论反映了开发者对于编程语言演进的不同看法。一些评论者指出,Go 正在逐步采纳其创始人最初认为不必要的功能,这暗示了其理念的转变。相反,另一些人则认为这是长期设计路线图的一部分,认为“在实践中学习”是语言开发中自然的一环,而非对过去错误的承认。 关于“有机增长”的语言与从一开始就追求高度连贯性设计的语言,引发了更广泛的辩论。参与者将 Go 的迭代方式与传统动态语言(如通过 TypeScript 实现的 JavaScript)向类型系统的转型进行了对比。归根结底,该讨论提出了一个疑问:现代语言在诞生之初是否真能被视为“完成品”?抑或为了应对静态类型的持续挑战而不断演进,本就是软件发展趋势中不可避免的一部分?

**XLIDE** 是一个 VS Code 扩展,无需安装 Microsoft Office 或使用 COM 自动化,即可直接编辑 Excel VBA 模块。它通过 `pyOpenVBA` 和 `openpyxl` 利用 Python 3.10+ 后端,为 Windows、macOS 和 Linux 提供了一个跨平台、高性能的开发环境。 主要功能包括: * **现代编辑器体验:** 提供完整的语法高亮、符号导航(转到定义、查找所有引用、重命名)以及虚拟文件系统集成 (`xlide-vba://`),支持通过 Ctrl+S 将更改直接保存到 `.xlsm` 文件中。 * **AI 集成:** 将所有 VBA 操作作为工具开放给 GitHub Copilot,实现智能代码生成和重构。 * **架构:** 在 VS Code 和长驻 Python 进程之间使用轻量级 JSON-RPC 2.0 桥接,确保快速响应,并将编辑器与 Office 二进制依赖解耦。 * **安全与配置:** 包含一个导出跟踪系统 (`trueUp`) 以保持文件一致性,并要求确认所有由 AI 代理执行的写入操作。 虽然它提供了强大的开发环境,但对 Live Share 的支持有限;受限于仅限主机的 RPC 限制,访客可以编辑活动缓冲区,但无法浏览项目结构。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 XLIDE: 脱离 Excel 的 VBA (github.com/williamsmithedward) 由 sts153 在 52 分钟前发布,4 点积分 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索:

更多

联系我们 contact @ memedata.com