光标3代表着软件开发领域的一次重大飞跃——由自主代理驱动。光标认识到从手动编码到代理辅助工作流程的转变，并从头开始重建其界面，以提供一个统一的工作空间，用于管理跨项目的多个代理。 这个新版本简化了人与人工智能之间的协作，为所有代理（本地和云端）提供了一个中央枢纽，并集成了演示和屏幕截图，以便于验证。本地和云环境之间的无缝切换，可以与Composer 2等模型进行快速迭代，或不间断地执行长时间运行的任务。 光标3还通过改进的差异视图、PR管理、文件访问以及内置浏览器来增强核心IDE功能。插件市场进一步扩展了代理能力。最终，光标3旨在简化代理工作流程，为真正自动驾驶的代码库和更强大、人工智能驱动的编码体验奠定基础。
每日HackerNews RSS
光标3
Cursor 3
28 天前
## JSON Canvas 概要 JSON Canvas 定义了一种使用 JSON 格式创建可视化画布的结构。一个画布包含两个可选的数组：`nodes` 和 `edges`。 **Nodes（节点）** 代表元素，例如文本、文件、链接或组，并按 z-index（从前到后）排序。每个节点需要一个 `id`、`type`、`x`、`y`、`width` 和 `height`。节点类型具有特定属性：`text` 节点包含 Markdown 文本，`file` 节点链接到文件，并带有可选的子路径，`link` 节点引用 URL，`group` 节点充当容器，并带有可选的标签和背景图像。 **Edges（边）** 使用唯一的 `id` 连接节点，指定 `fromNode`、`toNode` 以及可选的连接侧面 (`fromSide`、`toSide`) 和可自定义的端点 (`fromEnd`、`toEnd`)。边还可以具有 `color` 和 `label`。 **Colors（颜色）** 使用十六进制代码（例如 "#FF0000"）或预设数字 1-6（红色、橙色、黄色、绿色、青色、紫色）定义，允许针对特定应用程序的颜色方案。
对不起。
启用 JavaScript 和 Cookie 以继续。
唐纳德·特朗普解雇了司法部长帕姆·邦迪，暂时由副司法部长托德·布兰奇接替。特朗普赞扬了邦迪的服务，并声称她将转到私营部门工作，但消息人士说她目前还没有确定工作。 解雇事件源于特朗普对邦迪处理调查（特别是埃普斯坦的文件）以及她对政治对手缺乏起诉日益增长的不满。她因对埃普斯坦客户名单的言论而受到批评，最近还就此事接受了众议院监督委员会的质询。 据报道，特朗普认为这次解雇是一次成功，可能为进一步的人事变动铺平道路。目前环保署署长李·泽尔丁正在被考虑作为邦迪的永久继任者。邦迪最近增加了与特朗普的会面时间，似乎试图展示在特朗普优先调查方面取得的进展。
## 特朗普解雇总检察长邦迪 - 摘要
文章报道了唐纳德·特朗普解雇帕姆·邦迪的消息，引发了关于总统赦免、问责制以及滥用权力的讨论。评论员们担心她可能在卸任前获得赦免，并指出总统赦免不涵盖州犯罪——这是对联邦权力的重要制约。
一个重要的讨论点围绕着埃普斯坦的文件，以及邦迪的解雇可能与她处理这些文件发布有关的猜测，一些人认为正在进行掩盖。许多人认为特朗普将忠诚度置于法律诚信之上，并担心她的继任者也会压制不利信息。
讨论扩展到更广泛的主题，包括政治腐败、金钱对政治的影响（特别是提及 *公民联合*），以及公民在纵容不良领导方面的责任。一些人呼吁进行系统性变革，而另一些人则强调知情投票和追究领导人责任的重要性。一种反复出现的情绪是对当前政治环境下真正实现正义的可能性感到悲观。
在设备LLM推理——针对苹果芯片优化。已投入生产 · SDK · 网站。Onde为App Store中的实时应用程序提供完全在设备上的聊天功能——无需服务器，无延迟，数据不会离开设备。© 2026 Onde 推理
对不起。
## 优先类型推断以提供更清晰的错误信息
许多具有强类型推断的语言可能会产生令人困惑的错误信息，因为编译器对类型的假设并不总是与开发者的意图一致。 本提案介绍了一种新的类型推断算法，旨在优先考虑基于开发者*可能*思考代码方式的类型统一，而不是简单地遵循源代码的顺序。
核心思想是摆脱单次自上而下的推断过程，而是利用一系列有序的推断过程——优先考虑“已知应用”（具有预期类型的函数参数）和“已知赋值”，然后再进行不太确定的推断。 这种方法旨在通过反映开发者的心理模型来解决类型歧义。
该算法迭代地完善类型，在每个步骤之后重新运行早期推断过程，以利用新信息。 错误生成被推迟到最终类型检查阶段，确保消息反映了优先的推断。 基准测试显示出有希望的性能，尤其是在具有许多小函数的语言中，这使其成为改善开发者体验的可行方法。
对不起。
## SQLite：比你想象的更强大 SQLite 正在超越简单的文件型数据库，提供以往只有大型系统才有的功能。它现在包含一个 **JSON 扩展**，用于直接在表中存储和查询 JSON 数据，从而实现灵活的模式和通过索引进行快速查询。 对于搜索，**FTS5** 提供强大的全文搜索功能 *在* SQLite 内部，无需外部服务。 **CTE 和窗口函数** 解锁了复杂的分析查询，例如运行总计，从而实现令人惊讶的丰富报告。 现代 SQLite 还引入了 **严格表**，通过强制类型检查来提高数据完整性，以及 **生成列** 以自动维护派生数据。 **预写式日志 (WAL)** 提高了性能，通过最大限度地减少读写阻塞来增强并发性。 这些补充功能保持了 SQLite 的简单性和可靠性，同时显著扩展了其功能，适用于从桌面工具到本地优先应用程序和小型服务的各种应用。
## 现代 SQLite：隐藏的功能与能力
一篇最近的文章强调了 SQLite 鲜为人知的功能，引发了开发者之间的讨论。虽然 SQLite 因其健壮性而广受赞誉——甚至驱动着每天拥有数十万用户的网站——但许多人并不知道它的全部潜力。
讨论的关键功能包括 **严格表 (STRICT tables)**，它们强制数据类型并能及早发现错误，以及强大的 **JSON 函数**，允许在数据库内直接进行复杂的查询。SQLite 的动态类型提供了灵活性，尤其是在应用程序设计演变或处理无模式数据时很有用，但它在多应用程序环境中可能是一个缺点。
除了核心功能外，用户还讨论了像 **FTS5** 这样的扩展，用于全文搜索，以及像 **Litestream/Rqlite** 这样的工具，用于构建高度可用、复制的 SQLite 设置。对话还涉及 SQLite 在 Windows 等系统中的惊人普及，以及关于添加专用布尔型和日期时间类型的持续争论。最终，SQLite 仍在不断发展，为广泛的应用提供强大的通用数据库解决方案。
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
对不起。
## SpaceX IPO 估值：预测分析
SpaceX 已秘密提交 IPO 申请，目标估值为创纪录的 1.75 万亿美元，计划于 2026 年 6 月上市。本分析预测该价格是否合理，方法是将公司分解为七个关键业务部门：星链（消费者、企业/海事/航空、直连手机）、xAI/Grok、星舰、政府/国防以及猎鹰 9 号/重型火箭。
该预测采用“总和估值法”（SOTP），目前将 SpaceX 的估值约为 1.25 万亿美元——低于 IPO 目标 29%。实现 1.75 万亿美元的估值需要在 *所有* 部门取得显著的超额表现，本质上是一种“最佳情况”。星链占预计价值的最高比例（48%），而 xAI 的 2580 亿美元估值，很大程度上基于最近的合并，鉴于目前的亏损，其合理性受到质疑。星舰的价值很大程度上是推测性的，代表着未来的潜力。
SOTP 估值与 IPO 价格之间的差距可能可以用潜在的“集团溢价”来解释——即人们相信星链、星舰和 xAI 之间的协同效应创造了独特的价值——以及预计的零售需求量大（据报道分配比例为 30%）。然而，该估值严重依赖于乐观的增长预测，特别是星链用户数量和 xAI 的发展。
美国西部地区的积雪调查显示，情况历史性地严峻：由于温暖的冬季和三月份的酷热天气，积雪量降至历史最低水平。专家警告说，融雪速度前所未有，导致即将到来的旱季水供应严重不足，即使未来可能降雪也无法弥补。 测量数据显示，“积雪水当量”——可用于径流的水分——大幅减少，加利福尼亚州内华达山脉仅为平均水平的18%，科罗拉多河源头地区为24%。这影响到依赖科罗拉多河的超过4000万人，以及农业和部落国家。 虽然加利福尼亚州的水库目前因近期降雨而蓄满，但捕获快速融化的雪水将充满挑战。科罗拉多河盆地的形势更为严峻，主要水库水位已经偏低，引发了对“死亡水位”——无法发电或分配水的灾难性情况——的担忧。 今年的状况与气候变化有关，加速了冬季变暖、变干和火季变长的趋势。 城市正在启动用水限制，专家预测由于植被迅速干燥，将出现延长且提前的野火季节。 展望令人沮丧，科学家强调迫切需要适应和减缓措施。
## 西部积雪量创历史新低 – 摘要
一篇最近的《卫报》文章报道，由于异常温暖的气温，美国西部地区的积雪量创下历史新低，引发了 Hacker News 的讨论。用户们对此表示沮丧，认为鉴于日益炎热的年份趋势以及当权者缺乏认真行动，这并不令人惊讶。
对话凸显了局势的严重性，人们对供水、早期和快速融雪的可能性以及增加的野火风险表示担忧。一些人争论比较二月和三月积雪量的用处，认为积雪峰值通常出现在更晚。另一些人则指出区域差异，一些地区经历了创纪录的降雪量，而西部地区则面临干旱。
一个反复出现的主题是对误导性信息和对准确数据的需求感到沮丧。关于北极熊种群的讨论体现了这一点，用户们争论种群趋势和不同来源的可靠性。最终，该帖子强调了人们对气候变化及其对重要资源切实的日益紧迫感。