全球勒索软件的格局正在发生转变，从以知名大型组织为主导，转向由小型专业化攻击者组成的碎片化生态系统。现代攻击日益依赖“离地攻击”（LotL）策略，利用合法的管理工具、Sliver 等原生框架以及被窃取的 VPN 凭据来规避传统的特征码检测。 Darktrace 最近分析的一个案例展示了这种演变。该入侵过程持续了四天，从最初的 VPN 访问开始，依次进行内部侦察、权限提升（通过 DCSync 攻击）以及利用 LotL 技术进行横向移动。攻击者最终实施了双重勒索，在部署勒索软件之前将数据外泄至云存储。 由于攻击者正越来越多地避免使用具有明显特征的自定义恶意软件，传统的防御手段正变得日益无效。该事件凸显了基于行为检测的重要性。通过识别异常模式（例如异常的网络扫描、滥用特权凭据以及罕见的出站数据传输），安全团队可以获得宝贵的干预时机。研究结论指出，尽管检测是可行的，但快速隔离受感染设备的能力，是阻止攻击在进入加密阶段前成功的关键因素。
每日HackerNews RSS
抱歉。
Gleam 语言服务器的盛会 —— Gleam v1.18.0 版本发布 A field day for Gleam's language server – Gleam v1.18.0 release
2 天前
Gleam v1.18.0 现已发布，在语言服务器、编译器性能和开发者体验方面进行了重大改进。 **主要亮点：** * **语言服务器增强：** 语言服务器现已支持完整的记录字段操作（跳转到定义、重命名等）、类型变量重命名、模块重命名，以及针对模式匹配、整数进制转换和缺失类型生成的全新代码操作。 * **性能优化：** 通过对等效结构使用数据单例，JavaScript 编译速度得到提升。此外，内存区域（memory arenas）的引入使编译器和格式化工具的速度提高了 13%，同时降低了内存占用。 * **工具与语法：** 构建工具现支持 Git 依赖项的子目录，并支持通过 API 密钥进行 Hex 身份验证。同时废弃了容易产生歧义的管道语法，以确保代码的一致性。 * **开发者体验：** 多项旨在改善体验的更新包括：更清晰的 Hex 操作错误提示、更整洁的导入格式，以及对文档注释更好的支持。 此次发布是社区为提升 Gleam 工具链和稳定性所做出的巨大协作成果。有关更改的完整列表，请参阅官方更新日志。Gleam 的核心开发团队仍需依靠社区赞助来获得支持。
抱歉。
**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 和 Meta Quest 等虚拟现实（VR）头显进行建筑可视化。
**主要观点：**
* **实用性：** 建筑师和房主正在利用 VR 技术漫游房屋的 3D 模型。这使他们能够在施工前体验空间的尺度、层高和房间比例，从而发现设计缺陷并减少昂贵的返工变更。
* **技术背景：** 虽然 Vision Pro 提供了高保真的视觉体验，但许多评论者指出，这种所谓的“杀手级应用”（建筑漫游）在 Meta Quest 甚至 Google Cardboard 等更廉价的硬件上早已实现。
* **争议：** 该讨论串围绕 Vision Pro 是否“失败”展开了激烈辩论。批评者认为其价格高昂、缺乏主流应用且内容有限；而拥护者则认为它提供了独特且高效的沉浸式工作空间。
* **行业看法：** 许多用户分享了自己利用 VR 规划房屋装修的经历。他们指出，虽然这项技术功能强大，但其门槛往往在于对专业软件的掌握，而非硬件成本。
总的来说，社区一致认为沉浸式可视化是一种非常有效的工具，但对于 Vision Pro 的长期市场前景，各方仍存在分歧。
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
2 天前
作者起初坚决反对购买蹦床，担心它会变成一件碍眼且被弃置的废品，成为冲动育儿的永久性纪念碑。他害怕随之而来的杂乱，也担心将来不得不丢弃这块孩子们舍不得抛弃的“腐烂躯壳”时所产生的负罪感。 然而现实恰恰相反。孩子们每天都在蹦床上进行富有想象力的游戏，从“角斗士训练”到各种混乱的游戏，有效地消耗了多余的精力。看着孩子们玩得兴高采烈，作者承认自己当初的消极预判是错误的，并为战胜了自己的怀疑态度而感到欣慰。然而，家长的焦虑循环仍在继续：当妻子提议购买一个新的大型游戏架时，作者立刻又回到了从前的疑虑，再次开始担心新鲜感、杂乱问题，以及这次购买是否真的物有所值。
这篇 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）进行验证。如果您只需接收电子邮件通知，则可跳过手机验证，直接点击“订阅”。该服务支持多种国际区号。
抱歉。
即刻开始生产清洁能源。Bright Saver 会员只需支付 29 美元的年度会员费，即可按成本价购买阳台太阳能套件。 这款插入式太阳能电池板是一种紧凑、经济实惠的方案，让您轻松开启自主发电。无需屋顶安装，也无需电工协助。我们提供单板和双板套件，输出功率分别为 180 瓦和 360 瓦。 该系统设计旨在实现简便安装与使用。只需将其安装或悬挂在每天至少有 6 小时阳光直射的墙壁、栅栏或阳台上，然后插入标准插座即可。您将立即开始抵消部分能源消耗。 目前产品已售罄，新货将于 9 月中旬到货。注册成为会员即可参与预购，锁定排队名额。结账时将立即扣款。 由于缅因州、纽约州和佛蒙特州对系统认证有完整性要求，该产品目前在上述地区暂不供货。我们正在积极推进相关工作，敬请期待！
抱歉。