## 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（红色、橙色、黄色、绿色、青色、紫色）定义，允许针对特定应用程序的颜色方案。
每日HackerNews RSS
## JSON Canvas 规范：摘要
JSON Canvas 规范 (jsoncanvas.org) 是一种开放的画布格式，最初于 2022 年为 Obsidian Canvas 创建，并于 2024 年正式发布 1.0 规范。其目标是提供一种简单、基于 JSON 的方式来表示和交换画布数据，使应用程序和库能够转换、存储以及导入/导出画布。
Obsidian Skills 现在支持该格式，允许 LLM 与画布交互。虽然该规范因其简单性而受到赞扬，但讨论中也指出了数据效率以及与 SVG 或 JSON Graph Specification 等替代方案相比的潜在限制。用户质疑基于像素的定位以及在未指定文本大小时缺乏一致的渲染。
有几个项目正在构建于 JSON Canvas 之上，包括 OCIF（开放画布交换格式），它解决了诸如嵌套画布、可扩展性以及不同画布应用程序之间的往返等挑战。用户认为该格式很有前景，尤其是在大屏幕上以及构建自定义工作流程方面的潜力，但希望增加更多形状选项等改进。
启用 JavaScript 和 Cookie 以继续。
## OpenAI 收购科技播客 TBPN - 摘要
OpenAI 最近收购了专注于科技的播客和网络 TBPN，在科技界引发了争论和困惑。虽然 OpenAI 将此举描述为支持独立媒体，但许多评论员表示怀疑，质疑其战略意义。
TBPN 尽管在大多数平台上的受众规模相对较小，但在有影响力的科技和风险投资圈内获得了关注，吸引了许多杰出的 AI 领导者作为嘉宾。有人推测 OpenAI 旨在吸引关注和影响力，尤其是在 Anthropic 的竞争下，而另一些人则认为这是一种令人担忧的、偏离核心 AI 开发的举动。
此次收购还因可能损害 TBPN 的独立性以及引发对 OpenAI 更广泛业务战略的担忧而受到批评。许多用户觉得此举令人费解，认为这表明 OpenAI 对 AI 模型作为主要收入来源的长期可行性缺乏信心。TBPN 网站不同寻常的美学也引起了关注，并引发了关于这是否是愚人节恶作剧的玩笑。
唐纳德·特朗普解雇了司法部长帕姆·邦迪，暂时由副司法部长托德·布兰奇接替。特朗普赞扬了邦迪的服务，并声称她将转到私营部门工作，但消息人士说她目前还没有确定工作。 解雇事件源于特朗普对邦迪处理调查（特别是埃普斯坦的文件）以及她对政治对手缺乏起诉日益增长的不满。她因对埃普斯坦客户名单的言论而受到批评，最近还就此事接受了众议院监督委员会的质询。 据报道，特朗普认为这次解雇是一次成功，可能为进一步的人事变动铺平道路。目前环保署署长李·泽尔丁正在被考虑作为邦迪的永久继任者。邦迪最近增加了与特朗普的会面时间，似乎试图展示在特朗普优先调查方面取得的进展。
## 特朗普解雇总检察长邦迪 - 摘要
文章报道了唐纳德·特朗普解雇帕姆·邦迪的消息，引发了关于总统赦免、问责制以及滥用权力的讨论。评论员们担心她可能在卸任前获得赦免，并指出总统赦免不涵盖州犯罪——这是对联邦权力的重要制约。
一个重要的讨论点围绕着埃普斯坦的文件，以及邦迪的解雇可能与她处理这些文件发布有关的猜测，一些人认为正在进行掩盖。许多人认为特朗普将忠诚度置于法律诚信之上，并担心她的继任者也会压制不利信息。
讨论扩展到更广泛的主题，包括政治腐败、金钱对政治的影响（特别是提及 *公民联合*），以及公民在纵容不良领导方面的责任。一些人呼吁进行系统性变革，而另一些人则强调知情投票和追究领导人责任的重要性。一种反复出现的情绪是对当前政治环境下真正实现正义的可能性感到悲观。
在设备LLM推理——针对苹果芯片优化。已投入生产 · SDK · 网站。Onde为App Store中的实时应用程序提供完全在设备上的聊天功能——无需服务器，无延迟，数据不会离开设备。© 2026 Onde 推理
对不起。
## 优先类型推断以提供更清晰的错误信息
许多具有强类型推断的语言可能会产生令人困惑的错误信息，因为编译器对类型的假设并不总是与开发者的意图一致。 本提案介绍了一种新的类型推断算法，旨在优先考虑基于开发者*可能*思考代码方式的类型统一，而不是简单地遵循源代码的顺序。
核心思想是摆脱单次自上而下的推断过程，而是利用一系列有序的推断过程——优先考虑“已知应用”（具有预期类型的函数参数）和“已知赋值”，然后再进行不太确定的推断。 这种方法旨在通过反映开发者的心理模型来解决类型歧义。
该算法迭代地完善类型，在每个步骤之后重新运行早期推断过程，以利用新信息。 错误生成被推迟到最终类型检查阶段，确保消息反映了优先的推断。 基准测试显示出有希望的性能，尤其是在具有许多小函数的语言中，这使其成为改善开发者体验的可行方法。
## 二次微步类型推断 - 摘要
一种新的类型推断算法旨在优先考虑基于*用户*可能认为最重要的类型统一，而不是代码中表达式的顺序。核心思想是改善复杂类型系统中错误信息和调试体验。
然而，初步反应对性能表示担忧——该算法是“二次方”级别的——以及其复杂性。一些人认为“理想”的优先级取决于上下文，并且对类型推断施加额外的结构可能会妨碍对多态性的推理。
一项建议的优化方案是仅在更快的传统统一算法失败后才使用该算法，利用编译器“污染”来避免对成功编译产生性能影响。另一些人则建议使用单次、全面的过程来跟踪类型分配的来源，从而实现类似的优先级排序。
需要进一步评估，特别是将错误信息与现有的双向类型推断进行比较，并评估新方法是否会推断出更少的类型。作者目前正在将其集成到实际编译器中，以更好地了解其性能。
## SQLite：比你想象的更强大 SQLite 正在超越简单的文件型数据库，提供以往只有大型系统才有的功能。它现在包含一个 **JSON 扩展**，用于直接在表中存储和查询 JSON 数据，从而实现灵活的模式和通过索引进行快速查询。 对于搜索，**FTS5** 提供强大的全文搜索功能 *在* SQLite 内部，无需外部服务。 **CTE 和窗口函数** 解锁了复杂的分析查询，例如运行总计，从而实现令人惊讶的丰富报告。 现代 SQLite 还引入了 **严格表**，通过强制类型检查来提高数据完整性，以及 **生成列** 以自动维护派生数据。 **预写式日志 (WAL)** 提高了性能，通过最大限度地减少读写阻塞来增强并发性。 这些补充功能保持了 SQLite 的简单性和可靠性，同时显著扩展了其功能，适用于从桌面工具到本地优先应用程序和小型服务的各种应用。
最近的 Hacker News 讨论强调了 SQLite 的一些鲜为人知的功能。虽然诸如预写式日志等核心功能已经存在多年，但较新的补充正在获得关注。用户称赞 SQLite 的 JSON 函数简化了 ETL 流程，消除了对 Python 等独立脚本语言的需求。“严格表”的引入也被认为是重要的改进，解决了长期以来对缺乏类型强制执行的批评——此前这一问题曾促使用户转向 PostgreSQL。
其他提到的功能包括用于模糊搜索的 `spellfix1` 扩展以及用于高效数据去重的 `ON CONFLICT`。然而，一些评论员指出，许多功能并非全新，对于高级类型需求，PostgreSQL 仍然是一个强大的替代方案。有人建议撰写一篇文章，详细介绍使用开源软件构建高度可用、跨区域复制系统的 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 的发展。
## SpaceX IPO 讨论 - 摘要
一篇 futuresearch.ai 文章认为，SpaceX 潜在的 1.75 万亿美元 IPO 估值偏高 30%。尽管承认 SpaceX 的进步——特别是星舰的成功测试——评论员们争论如此高估值的合理性。
一个主要担忧是，SpaceX 的价值很大程度上与 xAI 和星舰等投机性项目相关联，这些项目的估值*独立于*当前收入（估计 120-160 亿美元，净收入 15-30 亿美元）。一些人担心，由于规则变化允许更快纳入，指数基金将被迫在高潮时买入，从而可能将财富从散户投资者转移到超级富豪。
然而，另一些人指出，指数基金的浮动调整可能会最大程度地减少 SpaceX 对整体投资组合价值的影响，从而降低了该问题对普通投资者的重要性。人们将 SpaceX 与诺基亚 IPO 等过去的泡沫进行比较，并表达了对当前人工智能估值的普遍怀疑。最终，讨论强调了评估既有成熟收入流又具有高度投机性未来项目的公司所面临的困难。
美国西部地区的积雪调查显示，情况历史性地严峻：由于温暖的冬季和三月份的酷热天气，积雪量降至历史最低水平。专家警告说，融雪速度前所未有，导致即将到来的旱季水供应严重不足，即使未来可能降雪也无法弥补。 测量数据显示，“积雪水当量”——可用于径流的水分——大幅减少，加利福尼亚州内华达山脉仅为平均水平的18%，科罗拉多河源头地区为24%。这影响到依赖科罗拉多河的超过4000万人，以及农业和部落国家。 虽然加利福尼亚州的水库目前因近期降雨而蓄满，但捕获快速融化的雪水将充满挑战。科罗拉多河盆地的形势更为严峻，主要水库水位已经偏低，引发了对“死亡水位”——无法发电或分配水的灾难性情况——的担忧。 今年的状况与气候变化有关，加速了冬季变暖、变干和火季变长的趋势。 城市正在启动用水限制，专家预测由于植被迅速干燥，将出现延长且提前的野火季节。 展望令人沮丧，科学家强调迫切需要适应和减缓措施。
## 西部积雪融化总结
最近的Hacker News讨论强调了美国西部令人担忧的积雪融化速度，科学家形容为“惊人”。《卫报》报道了异常快速的积雪消失，引发了对供水问题的担忧。
一些评论员质疑将二月与三月的积雪覆盖情况进行比较（三月是春季月份），而另一些人指出，三月通常是西部，特别是内华达山脉的积雪高峰期。专家们尤其担心较低的“积雪水当量”——剩余待融化的水分量——以及融化的*速度*，融化时间比平时提前数周，基本上跳过了春季。
几位用户证实了这种情况的真实性，一位来自大盆地的土地所有者表示这个问题是显而易见的。快速融化的问题在于它过早地释放了水分，导致蒸发增加，整个季节的补给减少。这场讨论反映了一种更广泛的情绪，即气候灾难正在发生，一些人批评了受利润动机驱动的不作为。
Cloudflare 的 EmDash 是一款全新的、完全开源的 CMS，使用 TypeScript 和 Astro 6.0 构建，旨在成为 WordPress 的现代重新构想。它利用 Cloudflare Workers（或 Node.js）上的无服务器架构，SQLite 用于本地开发，Cloudflare D1 用于生产环境，将内容存储为结构化 JSON。 主要特性包括强大的安全模型，沙盒插件需要明确的访问权限，以及深度集成的 AI 优先方法，将 AI 代理视为核心用户。该系统拥有更简洁的数据库结构和熟悉的、Gutenberg 之前的风格管理面板，使用 TinyMCE。 然而，作者质疑它的必要性，更喜欢使用 markdown 文件进行更简单的静态站点生成流程。虽然 EmDash 在开发者体验和架构优雅性方面表现出色，但它并没有直接解决 WordPress 常见的痛点，例如性能、托管成本或插件膨胀。 最终，EmDash 的成功取决于其对 AI 辅助工作流程和以开发者为中心的功能的关注是否能引起更广泛受众的共鸣，而不仅仅是那些已经熟悉现代 Web 开发实践的人。这是一个很有前景的项目，但仍处于早期开发阶段。
## EmDash：一款新型CMS面临质疑
最近的Hacker News讨论围绕着EmDash展开，这是一款定位为WordPress潜在继任者的新型CMS。然而，最初的文章因写作质量差、缺乏实质内容而受到批评，基本上只是总结了LLM在CMS代码中识别出的内容。
评论者们争论EmDash是否解决了真正的问题，一些人指出，那些避开CMS平台的人可能根本*不需要*一个。另一些人强调了与WordPress成熟的主机简单性和插件生态系统竞争的挑战——这是现任者的重要“护城河”。
虽然EmDash旨在提供更现代的方法，可能利用AI代理，但讨论涉及了与静态站点生成相比，管理用户会话和动态内容的复杂性。一些评论者对使用Railway和Fly等平台更容易部署JavaScript CMS表示乐观，但也承认了非技术用户面临的障碍。最终，共识倾向于谨慎的怀疑态度，许多人认为强大的插件生态系统对于EmDash的成功至关重要。