每日HackerNews RSS

## Agile 的衰落:回顾 本文认为,“Agile”尽管被广泛采用,但实际上是为解决一个早已被解决的问题而存在的——这个问题的解决方案早在几十年前的软件工程实践中就已存在。作者认为,《Agile 宣言》提供了一些含糊的原则,这些原则常常以缺乏具体定义的“真正的 Agile”为借口进行辩护。 关键在于,迭代开发、客户参与和原型设计这些核心理念,早在 1970 年就被温斯顿·罗伊斯等工程师所倡导,比《宣言》早了 25 多年。Agile 主要通过它*不是什么*来定义自己——瀑布模型——而瀑布模型本身已经被理解为存在局限性。 大型语言模型 (LLMs) 的兴起现在正在推动回归全面的文档和规范,证明了详细的规划实际上可以*产生*可用的软件——这直接与 Agile 优先考虑“可用的软件而非全面的文档”相矛盾。最终,作者认为 Agile 只是对现有思想的重新包装,它的时代已经过去,并倡导回归健全的规范和设计实践。

最近一篇名为“告别敏捷”的 Hacker News 讨论引发了对这种方法论日益增长的怀疑。许多评论者认为敏捷关注了错误的问题——代码是瓶颈,并且已被大型语言模型 (LLM) 的兴起所挑战。 核心论点在于,糟糕的规范、不足的分析和不切实际的期限才是项目失败的真正原因,而不是缺乏敏捷流程。虽然有些人预见会回归更迭代、更灵活的开发模式,但也有人开玩笑地说人工智能可以自动化传统的 Scrum 仪式。总的来说,这场对话表明,软件开发可能会从僵化的敏捷框架转向更灵活和适应性更强的方案。

安杰伊·奥德日沃沃克最近发表的论文提出,所有初等函数都可以仅使用函数 *E(x,y) = exp x - log y*、变量和常数1来表达,他称之为“EML项”。虽然这一说法在网上引起了兴奋,但其有效性取决于“初等函数”的定义。 奥德日沃沃克使用一组包含36个特定符号的定义来定义“初等”,在他的定义下,他的定理成立,并接受对标准对数的修改。然而,传统的数学定义,源于19世纪李ouville等数学家的工作,包括代数函数和任意多项式根。 该论文的核心论点在于证明EML项具有“可解的单调群”,这是科瓦斯基拓扑伽罗瓦理论中的一个概念。然而,作者认为这不足以支撑他的结论。具体来说,EML项*无法*表示像一般五次方程的根这样的函数,而这需要一个不可解的单调群。因此,可以用EML项表达的函数类别是标准初等函数的严格子集,这意味着该论文的广泛主张在传统的数学理解下并不成立。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 并非所有初等函数都可以用 exp-minus-log 表示 (stylewarning.com) 7 分,mmastrac 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

## 最佳锻炼时间以优化健康 最新研究表明,最佳锻炼时间并非一成不变,而是应与您的自然生物钟相协调。一项针对40多岁和50多岁成年人的研究发现,“早起者”从早晨锻炼中获益最多,而“夜猫子”则在晚上锻炼时效果更佳。 将锻炼与您的生理类型(您自然的清醒偏好)相匹配,可以改善血压、健身水平、睡眠质量和代谢指标。研究人员认为,这是由于内部时钟对全天激素水平和能量的影响。 专家强调一致性是关键,提倡设定小而可实现的目标。虽然健身房正在适应以提供灵活的时间,但优先进行规律的运动比严格的时间安排更重要。建议结合有氧运动和力量训练,例如靠墙深蹲或平板支撑,以促进整体健康。 进一步的研究仍在进行中,但研究结果支持根据个体的生物节律来调整锻炼计划。

对不起。

一件令人难以置信的杰作。每个阶段都可作为独立的艺术品,同时又作为动态变化的艺术,以及玩家在其中移动的游戏。它真正实现了艺术与游戏的融合。作为一款平台跳跃游戏,目标很简单,就是收集物品并到达门,但由于视觉上并不总是清晰明了,你需要超越操作层面的思考,这使得它既具有挑战性又充满乐趣,我非常喜欢。这是一款令人难以置信的、令人满意的游戏和艺术体验喵~!(=✧ω✧=)

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 游戏:一位艺术家的画廊,对递归空间的一个简短探索 (managore.itch.io) 3点 由 zdw 2小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 依赖冷却时间的问题及上传队列的必要性 最近提出的“依赖冷却时间”——延迟采用新包版本——作为防御供应链攻击的手段正在获得关注,但其根本上存在缺陷。虽然看似有效(大多数攻击在几天内就能被检测到),但冷却时间依赖于首先被他人入侵才能识别恶意发布,本质上是建立在别人的不幸之上。 这种方法成本高昂,需要在多个包管理器和项目中进行广泛配置,而且并非万无一失——很容易通过单独安装来规避。更好的解决方案是集中式的“上传队列”,在新包发布后(但在分发之前)将其保留一段时间,用于自动安全扫描、公开差异审查,甚至可选的beta测试。 这借鉴了Debian成功的系统,将发布与分发分离,消除了搭便车问题。上传队列还能降低泄露发布凭证的影响,并提前通知更新。资金可以来自现有的包索引赞助者,或通过为商业发布提供付费加速审查。最终,像上传队列这样的集体、集中式方法比依赖于个体、被动的冷却时间更安全、更高效、更合乎道德。尤其是在LLM兴起的情况下,markdown文件实际上是可执行代码,这增加了供应链攻击的脆弱性,这一点至关重要。

一个黑客新闻的讨论围绕着文章“依赖冷却会让你变成搭便车者”。核心论点是,在生产环境中延迟依赖更新是否构成对早期采用者的“搭便车”。 许多评论者不同意这种说法。他们认为这并非搭便车,而是一种负责任且成熟的做法——等待稳定并彻底测试更新后再部署,尤其对于缺乏大量资源的组织而言。一位评论员指出,盲目采用更新(“cargo culting”)本身就没有帮助。 另一位评论者挑战了前提,讽刺性地质疑资本主义理想驱动下对持续、即时采用的期望。最终,讨论强调了不同组织在风险承受能力、资源可用性和需求方面的差异,导致更新采用率的自然不对称。共识倾向于将延迟更新视为审慎,而非剥削。

启用 JavaScript 和 Cookie 以继续。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 战术上的成功,战略上的失败?华盛顿正在通往伊朗失败的道路上 (warontherocks.com) 25点 由 colonCapitalDee 7小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## Clojure 的持久化向量:总结 Clojure 的持久化向量在诸如追加、更新和查找等操作上提供实际上为 O(1) 的性能,同时保持不可变性——每次修改都会创建一个*新的*向量,而不是改变原始向量。这是通过平衡的有序树实现的,不同于传统的可变数组,后者需要代价高昂的复制。 持久化向量不复制整个数组,而是利用**路径复制**:只有到修改元素的路径上的节点会被复制,从而最大限度地共享不同版本之间的结构。更新涉及复制节点到目标位置并替换值。追加处理三种情况:右侧叶子节点有空间,需要时生成新节点,或根节点溢出(需要新的根节点)。 弹出(删除最后一个元素)以相反的方式反映这些概念,可能删除空节点,甚至在根节点变得冗余时删除根节点。虽然理论上由于树结构为 O(log n),但 Clojure 的向量使用高分支因子(每个节点 32 个子节点),从而形成非常浅的树——使操作“实际上”为常数时间。 这系列博客文章详细介绍了实现细节,未来的文章将涵盖诸如瞬态和尾部优化,以及对分支和查找机制的更深入研究。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 理解 Clojure 的持久化向量,第一部分 (2013) (hypirion.com) 14 分,由 mirzap 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 并禁用任何广告拦截器。

## OpenAI战略转变与投资者担忧 - 摘要 近期《金融时报》(经路透社报道)指出,投资者对OpenAI 8520亿美元估值的审查日益严格,原因是其战略从广泛的消费者应用转向企业解决方案和网络安全——这一举动被一些人视为正在模仿Anthropic的做法。 Hacker News上的评论员认为,OpenAI 通过追逐TikTok风格的视频生成(“Sora”)等消费者趋势而失去优势,本应专注于像代码生成这样有利可图的领域(Claude 目前在该领域占据主导地位)。对Sam Altman的领导力存在批评,称其“缺乏重点”且容易“异想天开”。 虽然ChatGPT拥有庞大的用户群,但有人认为OpenAI的价值过于依赖这款单一产品。人们对Claude的潜在局限性表示担忧,这为OpenAI的Codex提供了机会。关于OpenAI是否“大到不能倒”存在争论,考虑到其国防合同以及政府对其数据收集能力的潜在依赖。一些人认为不太可能获得救助,资产清算是一种可行的替代方案,而另一些人则认为政治和金融利益可能会迫使政府干预以保护已投资的资本。

网格(Nighthawk R, RAX, RAXE, RS, MK, MR, M 和 MH 系列)、移动和独立路由器,Orbi 网格、移动和独立路由器(RBK, RBE, RBR, RBRE, LBR, LBK 和 CBK 系列)、有线网关(CAX 系列)和有线调制解调器(CM 系列)。

最近FCC的一个决定解除了对Netgear路由器的禁令,但几乎没有给出任何解释,这引发了Hacker News上的猜测。用户质疑这一逆转,认为背后可能存在着超越既定政策的原因。 理论从Netgear为了规避中国关税而进行的生产转移,到可能存在的未公开的“敲诈费”或政治捐款影响结果,不一而足。 许多评论者对政府的诚实度表示怀疑,引用过去经验,认为批准往往取决于人情或财务贡献。 一位用户分享了一个案例,一家外国收购在公司CEO访问白宫后获得批准,随后进行了裁员,并进行了一项使特朗普公司受益的土地交易。 总体情绪倾向于认为,这一决定并非基于 merit(应有的理由),而是基于幕后交易和政治运作。 有人甚至猜测,安全漏洞,例如内置的后门,可能是逆转的条件。

苹果公司私下威胁要在1月份将其应用商店下架埃隆·马斯克的AI应用Grok,原因是马斯克的xAI未能充分阻止其生成裸体或性化深度伪造内容。苹果公司在致参议员的一封信中告知了这一情况,该信件被NBC新闻获得。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 苹果应用商店威胁要移除Grok,理由是深度伪造:信件 (nbcnews.com) 28点 由 donohoe 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

更多

联系我们 contact @ memedata.com