## 揭秘：利用可靠技术 democratize 营销组合模型 位于圣保罗的 Uncover 正在颠覆传统的营销组合模型 (MMM) 领域，该领域的服务通常成本高昂，仅供大型企业使用。他们的目标是为所有规模的企业提供可访问的、实时的营销投资分析——衡量投资回报率、优化媒体支出和跟踪促销效果。 与用户跟踪方法不同，MMM 依赖于统计分析，吸引那些优先考虑数据隐私的公司。Uncover 的平台集成了来自各种来源的数据（销售、CRM、经济数据等），并利用强大的查询引擎进行复杂的数据查询和可视化。这使得每周都能获得洞察，成本仅为传统的咨询公司 MMM 的一小部分。 为了确保可靠性，Uncover 选择 Gleam，这是一种后端编程语言，具有与 Elm（用于其前端）相似的错误预防能力。这大大减少了错误并提高了测试速度——测试执行速度比以前的后端代码快 50 倍。 Uncover 将 Gleam 视为一种“安全、明智”的选择，利用其互操作性和强大的 BEAM 平台构建具有弹性的网络服务。他们正在探索 Gleam 在全栈开发方面的潜力，并为它的前端能力发展做出贡献。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
容错率零 – Uncover 公司生产环境中使用 Gleam 的案例研究 (gleam.run)
6点 由 kamilap 1小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式
搜索：
这篇帖子详细介绍了作者使用UCD程序构造模块中学到的原理，以及埃兹赫尔·W·戴克斯特拉的结构化编程思想来解决最近的Advent of Code问题的方法。核心思想是形式化程序验证——定义前置条件和后置条件，并推导定理来证明正确性。 作者使用量化符号细致地构建了一个“领域模型”，以表示问题的逻辑。这包括定义函数（如`C.n`）并通过定理建立基本情况和递归关系。这个过程展示了如何将问题分解为更小、可证明的步骤。 虽然这种形式化方法可以得到经过严格验证的解决方案，但将其翻译成Gleam等实用语言时，会导致代码复杂且可读性降低。作者承认这种权衡，指出该方法对于绝对正确性至关重要的关键软件具有价值，尽管它不适用于日常编程。最终，这项练习是对理论概念应用于实际编码挑战的有效实践。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
正式验证 Advent of Code 使用 Dijkstra 的程序构造 (haripm.com)
7 分，来自 seafoamteal 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
美光将停止其 Crucial 消费硬件品牌，以专注于更有利可图的企业和数据中心客户，这受到人工智能相关需求激增的推动。这不是一次出售，而是完全退出消费市场。
许多评论员表达了对失去该品牌的遗憾，并指出 Crucial 以质量和直接从制造商提供的供应链而闻名——这降低了假冒零件的风险。虽然有些人经历过故障，但 Crucial 仍然是升级的可靠品牌，尤其是在较旧的 MacBook 上。
这一决定符合美光更广泛的市场定位；他们在 DRAM 和 NAND 收入中占据重要份额，企业解决方案尤其有利可图。纽约工厂建设的延迟也可能是一个促成因素。 许多用户认为此举是优先考虑高收入的人工智能客户，而不是消费者的需求，并对资源分配和潜在的价格上涨表示不满。
Anthropic 聘请 IPO 律师，以赶在 OpenAI 前实现上市。
Anthropic taps IPO lawyers as it races OpenAI to go public
3 小时前
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用不同的浏览器。
## Anthropic 首次公开募股的传闻与质疑
Anthropic，Claude AI模型的公司，据报道正在准备可能高达 3000 亿美元的首次公开募股（IPO），这在Hacker News上引发了讨论。一些人认为这是利用人工智能炒作的好时机，但许多人对这一估值表示怀疑。
一个关键的争论点是，鉴于亚马逊现有的合作关系以及Anthropic为其Trainium芯片优化，为什么亚马逊没有收购Anthropic。普遍的观点是，亚马逊像微软一样，更倾向于成为各种人工智能模型的云提供商，而不是构建自己的模型。
人们对Anthropic的盈利能力表示担忧——目前每个季度烧掉约 10 亿美元，收入仅在数十亿美元的个位数低位——以及其长期应对谷歌和Meta等巨头公司的能力。一些人认为，IPO是让内部人士套现的一种方式，可能会让散户投资者承担风险。另一些人指出，Anthropic在企业和开发者API市场上的优势可能是一种潜在的护城河，尽管存在竞争。
最终，许多评论员质疑Anthropic是否能够证明如此高的估值，尤其是在与OpenAI和谷歌等竞争对手的差距缩小的情况下。
用于数据科学的R包。tidyverse是一个具有明确观点的R包集合，专为数据科学设计。所有包共享潜在的设计理念、语法和数据结构。使用以下命令安装完整的tidyverse：install.packages("tidyverse")
Hacker News新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录R 包用于数据科学 (tidyverse.org)15 分，cl3misch 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 4 条评论
mushufasa 发表于 11 分钟前 | 下一个 [–]
为了先发制人地回应对 R 的批评，请记住：R 是一种 Lisp！回复UniverseHacker 发表于 0 分钟前 | 父评论 | 下一个 [–]
但它具有更易于人类阅读的语法，不需要大量的嵌套括号。回复techsystems 发表于 31 分钟前 | 上一个 | 下一个 [–]
使用 tidytable
速度更快，语法完全相同，内存占用更小。回复svoit 发表于 35 分钟前 | 上一个 [–]
Tidyverse 很好。我有时希望在工业界更多地使用 R，因为它非常好。在我看来，R 否则有点像一个语法的弗兰肯斯坦。Tidymodels 也存在：https://www.tidymodels.org/回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 西雅图的AI反弹 最近与一位受人尊敬的前微软同事共进午餐时，发现西雅图科技工作者对人工智能普遍持负面态度——这与作者的人工智能地图Wanderfugl在其他地方获得的积极反响形成了鲜明对比。这并非针对产品本身，而是对微软等大型科技公司内部有毒环境的一种反应。 由于公司范围内推动采用（并表现出拥抱）微软的人工智能工具——通常不如替代方案——工程师们感到压抑和贬低。与“Copilot使用效率低下”相关的裁员引发了怨恨，许多人感到被贴上了“非人工智能人才”的标签，并看到职业发展停滞不前。 这形成了一个自我限制的循环：害怕使用强制工具失败，抑制独立创新，以及对任何标有“人工智能”的东西的普遍敌意。作者将此与微软过去的一种赋权和实验文化形成对比，现在已被僵化的结构和普遍的幻灭感所取代。西雅图曾经充满活力的科技圈现在正面临着信任危机，阻碍了新的创业，并扼杀了人才。
## 西雅图对人工智能的怀疑：摘要
最近一篇Hacker News上的帖子引发了关于西雅图（尤其是微软和亚马逊）的科技工人中存在反人工智能情绪的讨论。 核心问题并非是对*技术*本身的否定，而是对公司将人工智能炒作置于为客户提供真正价值之上的做法感到沮丧。 许多工程师感到被迫将人工智能融入到项目中，即使在不需要或有害的情况下，也是出于投资者期望而非实际应用。
许多评论者表达了相同的观点，描述了一种将人工智能视为强行趋势的文化，导致匆忙、实施糟糕的功能，甚至以人工智能整合为幌子的裁员。 人们普遍认为，宝贵的工程时间被浪费在“人工智能洗绿”上，而不是构建强大、有用的产品。
虽然一些人承认人工智能的潜力，尤其是在代码生成等领域，但许多人对它被过度宣传以及由此产生的低质量实现充斥互联网表示担忧。 这场讨论凸显了真正的创新与追求尖端形象之间的紧张关系，一些人担心人工智能正成为又一个过度炒作的技术泡沫。 最终，这种情绪似乎是希望专注于提供切实的价值，而不是追逐最新的潮流。
## 李群：超越离散对称性 简单的形状，如三角形，表现出离散对称性（特定的旋转使其保持不变），而更复杂的物体，如飞盘，则具有*连续*对称性——无限多的旋转可能性。这些连续对称性由**李群**描述，这是一个强大的数学概念。与基本群不同，李群具有平滑的几何结构——可以被可视化为圆形、甜甜圈，甚至更复杂的流形。 这种几何性质是关键。数学家索福斯·李最初探索这些群是为了求解微分方程，但他发现了它们内在的数学价值。一个关键特征是它们与**李代数**的联系，李代数通过用直线近似弯曲的群结构来简化计算。 李群不仅仅是抽象数学；它们是理解自然世界的根本。支配引力等基本力的对称性由李群定义，解释了粒子配对和能量量子化等现象。埃米·诺特的开创性工作进一步揭示了深刻的联系：由李群描述的每种对称性都对应于物理学中的一个守恒定律（如能量守恒）。今天，李群仍然是数学家和物理学家必不可少的工具，为理解对称性在宇宙中的普遍作用提供了一个框架。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
李群对于物理学中一些最基本的理论至关重要 (quantamagazine.org)
14 分，由 ibobev 49 分钟前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式
搜索：
Valve正在悄然革新PC游戏，超越Steam Deck，目标是让游戏在数十亿基于Arm的设备（如智能手机）上无缝运行。Valve认识到频繁移植的低效性，因此大力资助开源技术的发展——主要包括Proton兼容层和Fex模拟器，以弥合Windows PC游戏与Arm架构之间的差距。 Fex自2016年以来一直得到Valve的秘密支持，它将x86游戏代码翻译成可在Arm处理器上运行的代码。这项技术不仅为Steam Frame头显提供动力（使其能够运行Windows游戏），还为PC游戏在Android手机上原生运行，甚至可能在基于Arm的笔记本电脑和台式机上运行打开了大门。 Valve的目标不一定是创造“Steam Phone”，而是培养一个开发者无需移植，用户可以在更广泛的设备上访问其PC游戏库的生态系统。他们设想一个未来，Arm芯片在所有性能级别上与x86竞争，扩大PC游戏的影响范围，并降低玩家和创作者的门槛。
## 新卫星数据挑战对海啸的理解 2025年7月，库里尔-堪察加地区发生8.8级地震，提供了一个独特的机会：美国宇航局和法国的SWOT卫星捕捉到了大型海啸跨越太平洋的首张高分辨率、广域图像。与之前的观测不同，SWOT揭示了一种复杂的、辫状的波能量模式——这挑战了长期以来认为大型海啸以单一、非色散波形式传播的假设。 数据表明存在显著的“色散”，即波分解成多个分量，影响能量的分布，并可能改变对海岸的影响。研究人员发现，包含色散的模型与卫星观测结果更吻合。 SWOT的数据，结合现有的DART浮标读数和地震数据，也促使人们对地震的破裂带有了新的认识。这一事件凸显了整合各种数据来源以改进海啸建模和预报的价值，可能带来更准确的预警和沿海社区更好的准备。这些发现代表了一个转折点，促使人们重新评估当前的海啸物理学和预报系统。
新的卫星数据正在挑战当前的海啸预报模型。传统上，海啸被认为主要是“非色散”的——以单个波包形式传播。然而，最近来自SWOT卫星的观测结果显示，在模拟的8.8级堪察加地震后，能量在海洋上传播呈现出复杂的“色散”模式。
这一发现需要修订用于预测海啸危害的现有物理模型。预报员现在必须考虑这些色散效应，并准确量化能量分布，以提高对海啸到达海岸线时的时间和冲击力的预测。发表在地震学会杂志上的一篇论文详细介绍了这项研究，强调了基于对海啸行为这种新认识而更新预报技术的需求。
“汽车蔓延”现象正在上升——并非所有人都对此感到高兴。
'Carspreading' is on the rise – and not everyone is happy about it
4 小时前
## 巴黎应对“汽车蔓延” 欧洲各地，大型汽车越来越受欢迎，但一些城市正在抵制这种趋势——被称为“汽车蔓延”。巴黎是其中的典型例子，由于交通和污染日益严重，积极限制超大型车辆。 2024年10月，巴黎将进入市中心的“重型”车辆的停车费提高三倍，显著增加了短期和长期停车的成本。市长安妮·伊达尔戈认为这将通过阻止污染车辆来加速环境改善。 初步结果表明，这项政策正在发挥作用，据报道，停在巴黎街头的超重型汽车减少了三分之二。此举反映了城市日益重视公共交通、自行车和行人空间，而非一味地适应越来越大的私家车。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
“汽车蔓延”正在上升——并非所有人都对此感到高兴 (bbc.co.uk)
16 分，helsinkiandrew 发表于 37 分钟前 | 隐藏 | 过去 | 收藏 | 3 条评论
VerifiedReports 0 分钟前 | 下一个 [–]
唉。全球倒退仍在继续，美式混蛋行为像癌症一样蔓延。
回复 jameskilton 2 分钟前 | 上一个 | 下一个 [–]
https://xkcd.com/3167/
回复 ChrisArchitect 32 分钟前 | 上一个 [–]
[重复] 之前：https://news.ycombinator.com/item?id=46130609
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：