Gleam v1.18.0 现已发布，在语言服务器、编译器性能和开发者体验方面进行了重大改进。 **主要亮点：** * **语言服务器增强：** 语言服务器现已支持完整的记录字段操作（跳转到定义、重命名等）、类型变量重命名、模块重命名，以及针对模式匹配、整数进制转换和缺失类型生成的全新代码操作。 * **性能优化：** 通过对等效结构使用数据单例，JavaScript 编译速度得到提升。此外，内存区域（memory arenas）的引入使编译器和格式化工具的速度提高了 13%，同时降低了内存占用。 * **工具与语法：** 构建工具现支持 Git 依赖项的子目录，并支持通过 API 密钥进行 Hex 身份验证。同时废弃了容易产生歧义的管道语法，以确保代码的一致性。 * **开发者体验：** 多项旨在改善体验的更新包括：更清晰的 Hex 操作错误提示、更整洁的导入格式，以及对文档注释更好的支持。 此次发布是社区为提升 Gleam 工具链和稳定性所做出的巨大协作成果。有关更改的完整列表，请参阅官方更新日志。Gleam 的核心开发团队仍需依靠社区赞助来获得支持。
每日HackerNews RSS
Gleam 语言服务器的盛会 —— Gleam v1.18.0 版本发布 A field day for Gleam's language server – Gleam v1.18.0 release
16 小时前
抱歉。
**SalesPatriot (YC W25)** 正在通过以 AI 为核心的操作系统，取代 Excel 和电子邮件等手动流程，从而实现美国老旧工业与国防供应链的现代化。该公司目前每周处理约 5000 万美元的业务，年经常性收入（ARR）已达七位数，并获得了包括 Paul Graham 和 CRV 在内的顶级投资人超过 1000 万美元的融资。 他们正在寻找一位“实干型人才”加入其位于旧金山的 20 人团队。这是一个高强度、需驻场的岗位，你将直接深入客户运营一线（前往制造中心），识别瓶颈、实施定制化自动化方案，并将该平台扩展为客户的主要操作系统。 **任职要求：** * 全职搬迁至旧金山。 * 精通 TypeScript/JavaScript、React（或类似框架）及 Postgres。 * 具备“全栈”思维：既能胜任底层的技术实现，又能自如应对复杂的组织架构及高层利益相关方管理。 * 有快速交付并解决复杂、模糊问题的过往记录。 * 低自我、重结果的心态。 如果你是一位热衷于一线实战，并希望振兴国家关键基础设施的建设者，SalesPatriot 提供快速面试流程，包括技术测试及前往旧金山总部的实地考察。
对不起。
建造新家可能令人望而生畏，尤其是在尝试构想平面图时。为了更好地理解比例和空间，作者利用 Apple Vision Pro 将二维蓝图转化为沉浸式的三维漫游体验。
作者使用 **Fusion 360** 对房屋结构进行建模，并添加了纹理以呈现深度。为了使视角更具真实感，他们引入了来自 IKEA 和 3D Warehouse 社区资源的家具三维模型，并将文件转换为兼容格式。
针对标准文件查看器的局限性，作者利用人工智能辅助的“氛围编程”（vibe coding）开发了一款名为 **Prospector** 的自定义应用程序。该工具支持在 Vision Pro 中进行游戏般的导航，包括手柄支持、地形跟随、飞行模式以及现实世界感知切换。
这种 DIY 方法让作者在动工前，就能完整地体验其未来住宅的沉浸式三维效果。作者已将代码发布在 GitHub 上，为他人提供了一种可视化自身设计的方法，展示了空间计算如何彻底改变建筑规划流程。
这篇 Hacker News 帖子讨论了一篇博文，文中重点介绍了 Apple Vision Pro 的一个引人注目的应用场景：建筑改造。
用户们探讨了该设备的实用性，指出虽然增强现实（AR）非常适合建筑和设计领域，但此类应用往往比较小众。讨论随后转向了 Vision Pro 的更广泛可行性，评论者的看法褒贬不一。爱好者认为它是窥见未来科技的一扇窗，但也承认在当前状态下，很难将其作为主流产品来推荐。
批评者指出了明显的缺陷，特别是设备的重量限制了使用时长，以及其全球供应的局限性。最终，人们达成共识：尽管 Vision Pro 在 AR 改造等专业任务上展现出了令人印象深刻的潜力，但硬件的人体工程学和易用性问题仍是其发展的阻碍。
20 世纪 80 年代，数学家西蒙·法伊特洛维奇（Siemion Fajtlowicz）开发的软件“涂鸦”（*Graffiti*）曾向保罗·埃尔德什（Paul Erdős）发起挑战，提出了一个关于公约数图“剩余量”（residue）的图论问题。该问题即：这一图论数值是否与素数分布存在渐近联系？此后数十年间，这一问题一直悬而未决。 近期，研究员兰迪·达维拉（Randy Davila）利用人工智能驱动的发现系统“理论猜想”（*Theo-Conjecture*）重新探讨了这一课题。与标准聊天机器人不同，该系统以迭代循环的方式运作：大型语言模型负责管理研究，引擎生成数学候选命题，系统则执行精确计算以进行验证。 该系统成功证明了斯塔顿（Staton）提出的长期猜想，证实了仅基于顶点度数计算得出的“剩余量”确实与素数计数函数有关。此外，人工智能还识别出了一个意想不到的二阶项，从而阐明了该图的有限行为。 这一突破展示了一种“数学记忆”的新范式，即人类与人工智能在迭代循环中开展协作。通过归档成功与失败的记录，该系统使研究人员能够基于数十年来被搁置的思想进行探索，最终解开了自埃尔德什时代起就已显露端倪的数学谜题。
一篇声称“Theo猜想”解决了35年数学难题的文章在Hacker News上引发了强烈批评。读者普遍认为该文是“AI生成的垃圾”，并指出其语言晦涩、逻辑混乱，缺乏可读性。
除了对文风的抱怨外，评论者还质疑了该结论本身的有效性。一些用户指出，所谓的“解决方案”可能只是软件漏洞或对猜想的误读，并表示它很可能只是解决了问题中一个微小的组成部分，而非提供了正式的证明。讨论还强调了研究的自动化本质，即由一个程序生成数学猜想，再由另一个程序尝试求解——批评者将这种过程与人类主导的研究进行了对比。尽管一些读者建议参考原始研究论文以获取清晰的信息，但普遍共识是，该文章是对实际研究成果的一种低质量、不可用的总结。
第 29 届年度 ICFP 编程大赛现已拉开帷幕，并将持续进行三天。包括作者及其团队在内的组织者们有意将今年的挑战设计为以人类创造力优先，而非依赖自动化人工智能代理。 为实现这一目标，他们创造了一种名为“littleman”的独特二维编程语言。该语言强调空间推理，要求参与者操控“小人”穿梭于指令之间，并通过自定义绘制的管道来管理数据流。无论是否报名参赛，公众均可获取该语言的相关教材。有意参赛者可在 icfpcontest2026.com 注册。
抱歉。
蹦床 A Trampoline
17 小时前
作者起初坚决反对购买蹦床，担心它会变成一件碍眼且被弃置的废品，成为冲动育儿的永久性纪念碑。他害怕随之而来的杂乱，也担心将来不得不丢弃这块孩子们舍不得抛弃的“腐烂躯壳”时所产生的负罪感。 然而现实恰恰相反。孩子们每天都在蹦床上进行富有想象力的游戏，从“角斗士训练”到各种混乱的游戏，有效地消耗了多余的精力。看着孩子们玩得兴高采烈，作者承认自己当初的消极预判是错误的，并为战胜了自己的怀疑态度而感到欣慰。然而，家长的焦虑循环仍在继续：当妻子提议购买一个新的大型游戏架时，作者立刻又回到了从前的疑虑，再次开始担心新鲜感、杂乱问题，以及这次购买是否真的物有所值。
这篇 Hacker News 的讨论探讨了拥有后院蹦床所引发的争议。
许多参与者分享了蹦床带来的快乐与身体自由，并指出对于孩子而言，这是一种经济实惠且能长期提供娱乐的方式，而对于成年人来说，它也是一种不错的冥想工具。几位家长表示，与这类玩具通常是“昙花一现”的预期不同，他们的孩子多年来每天都在使用。
然而，讨论中有很大一部分集中在拥有蹦床的“阴暗面”。主要顾虑在于法律责任问题；许多房主警告称，蹦床存在重大的安全隐患，可能导致严重受伤，并可能因“诱惑性滋扰”（attractive nuisance）相关法规而导致保险公司取消保单。
该讨论帖还涉及了育儿理念，一些用户反对那种对孩子的要求有求必应的倾向，建议应该让孩子通过努力来获得礼物。另一些人则分享了实用的建议，例如为了安全将蹦床埋入地下与地面齐平，或者购买二手蹦床以避免过度消费。总之，大家的共识是，虽然蹦床确实充满乐趣，但在购买前需要谨慎考虑安全、保险风险以及家长的责任。
最近发布的 Aurora DSQL 论文揭示了一种将传统单体数据库“解构”为五个专门化、可独立扩展服务的架构：查询处理器（Query Processors）、存储节点（Storage Nodes）、裁决器（Adjudicators）、日志（Journals）和交叉开关（Crossbars）。 该系统基于几项大胆的工程技术选择： * **同步时钟：** 利用 AWS TimeSync 实现无需协调的读取。 * **乐观并发控制（OCC）：** 消除悲观锁以避免“慢锁持有者”问题，尽管这在高争用情况下可能导致事务中止。 * **线性一致性（Linearizability）：** 优先考虑强一致性而非最终一致性，以简化业务逻辑。 * **事务护栏：** 对事务大小设置硬性上限，以确保可预测的尾部延迟。 * **线性化两阶段提交（Linearized 2PC）：** 优化分布式事务以最小化网络往返次数。 其核心收益在于构建了一个计算、提交逻辑与存储可独立扩展的系统，实现了近乎即时的强一致性读取和高效的提交。通过复用 PostgreSQL 引擎和现有的 AWS 基础设施而非从头构建，团队成功实现了这一复杂的全球化设计。尽管在处理“热点键”时可能存在冲突，但 Aurora DSQL 代表了向解耦、高性能数据库架构的一种成熟转型。
抱歉。
您可以订阅并通过电子邮件或短信接收有关所有模型“Elevated”（已提升）错误的通知。 电子邮件订阅者将在事件的整个生命周期内收到更新。短信订阅者将仅在事件创建或解决时收到通知。若要启用短信提醒，请输入您的手机号码并通过提供的验证码（OTP）进行验证。如果您只需接收电子邮件通知，则可跳过手机验证，直接点击“订阅”。该服务支持多种国际区号。
最近 Claude.ai 的服务中断在 Hacker News 上引发了热烈讨论，反映出科技圈对 AI 编程助手的依赖日益加深。用户们针对停机原因提出了各种幽默的猜测，戏称 AI 是“发现了什么惊天秘密”或是“厌倦了编写代码”。
除了调侃，讨论帖也突显了用户对 AI 服务可靠性的强烈不满。许多开发者指出，频繁的宕机以及模型质量的下降（通常被称为“削弱”）正阻碍着工作效率。参与者们讨论了降低风险的策略，例如订阅多个不同的服务商（如 Claude、ChatGPT 和 Codex）以确保备用选择。
对话还触及了这种依赖背后的深层哲学思考，一些用户质疑过度依赖云端大模型是否会让我们变得脆弱。不少人认为这次事件是一个“警钟”，凸显了发展本地终端 AI 的重要性。最终，这段讨论呈现出一种既愤世嫉俗又轻松释怀的复杂情绪，开发者们开玩笑说，宕机反而提供了一个难得的机会，让他们去“重学 Vim”、陪伴家人，或是简单地“接触一下大自然”。
即刻开始生产清洁能源。Bright Saver 会员只需支付 29 美元的年度会员费，即可按成本价购买阳台太阳能套件。 这款插入式太阳能电池板是一种紧凑、经济实惠的方案，让您轻松开启自主发电。无需屋顶安装，也无需电工协助。我们提供单板和双板套件，输出功率分别为 180 瓦和 360 瓦。 该系统设计旨在实现简便安装与使用。只需将其安装或悬挂在每天至少有 6 小时阳光直射的墙壁、栅栏或阳台上，然后插入标准插座即可。您将立即开始抵消部分能源消耗。 目前产品已售罄，新货将于 9 月中旬到货。注册成为会员即可参与预购，锁定排队名额。结账时将立即扣款。 由于缅因州、纽约州和佛蒙特州对系统认证有完整性要求，该产品目前在上述地区暂不供货。我们正在积极推进相关工作，敬请期待！
近期一篇关于“阳台太阳能”（1.74美元/瓦）的 Hacker News 讨论，凸显了人们对该产品价值与实用性的严重怀疑。
评论者将 1.74 美元/瓦的价格与欧洲套件进行了对比，指出后者价格低至 0.3 欧元/瓦；而在二级市场上，太阳能板的价格约为 0.20 美元/瓦。批评者认为，由于发电量有限（通常仅约 180 瓦），需要多年才能收回成本，且系统在断电时无法工作，因此很难证明其前期投资的合理性。
尽管一些用户指出，这些“即插即用”系统无需电池即可通过抵消日间用电来有效降低电费，但另一些人则对监管障碍、业主协会（HOA）限制以及将这些系统接入住宅 GFCI 保护电路所面临的技术挑战表示担忧。总的来说，舆论普遍认为，虽然这一概念在德国很受欢迎，但目前美国市场上的产品对普通消费者而言价格过高且功率不足，难以获得有意义的投资回报。
评论家常将人工智能行业的循环融资——即英伟达和微软等公司投资初创企业，而这些企业转而又购买其产品——比作互联网泡沫。然而，本文认为这些交易未必是泡沫的证据，而是人工智能算力正演变为一种类似电力或石油的“可替代大宗商品”的迹象。
在能源和采矿等资本密集型行业，“循环式”包销协议是标准做法；它们为获取大规模基础设施建设所需的巨额融资提供了必要的收入保障。人工智能行业正在走这条路：数据中心和硬件的极端成本需要创造性的互联金融结构来维持进展。
尽管这些安排目前尚属健康，并由超大规模云服务商的巨额利润作为支撑，但当公司利用这些安排来掩盖债务或将义务移出资产负债表时，风险便会显现。随着人工智能相关债务预计将成为一个万亿美元级的市场，该行业面临着降低贷款标准或重演2007年抵押贷款支持证券危机的风险。归根结底，虽然循环融资是实现商品化的一种功能性工具，但投资者必须时刻警惕系统性的过度扩张。
这段 Hacker News 讨论帖探讨了“循环 AI 交易”的风险，即各公司通过相互投资来虚高估值和营收。参与者们讨论了如何区分健康的投资与危险的“自产自销”策略，并指出表外交易使得透明度难以把控。
讨论涉及了几个更广泛的经济因素：
* **市场透明度：** 用户指出，虽然英伟达等部分 AI 硬件厂商较为透明，但其他企业相对封闭，这使得监管机构和投资者难以识别系统性风险。
* **市场波动性：** 评论者认为当前的市场不稳定不仅源于 AI，还与全球因素有关，例如日元套息交易的潜在终结以及韩国市场的不稳定性。
* **AI 泡沫：** 人们对当前 AI 支出的可持续性持怀疑态度。一些观点认为，如果 AI 的叙事效应减弱（可能由表现指标不佳引发），由此产生的市场回调规模可能堪比互联网泡沫破裂。
归根结底，这一共识反映了人们的焦虑：当前的 AI 资本流动究竟代表着真正的技术进步，还是一个脆弱且依赖杠杆的泡沫。