每日HackerNews RSS

DuckDB 通过重构 SQL 引擎的运作方式,已迅速成为领先的分析型数据库。与传统的服务器架构数据库(如 Snowflake、PostgreSQL)不同,DuckDB 是一个进程内库,消除了网络延迟和数据序列化的开销。它与 Python 和 Arrow 等工具的“零拷贝”集成使其能够直接在内存中处理数据,从而实现极高的运行速度。 其性能得益于以下架构设计: * **列式存储**:高效处理特定列而非整行数据。 * **向量化执行**:以小批量方式处理数据,最大化 CPU 利用率。 * **基于数据块(Morsel)的并行处理**:无需复杂的中央协调即可在 CPU 核心间高效分配任务。 * **智能优化器**:利用谓词下推、子查询去嵌套和动态连接顺序优化等技术。 DuckDB 还具有极高的多功能性,可作为处理 Parquet、JSON 和 CSV 等本地文件的强大引擎。它能智能地利用元数据(如 Parquet 的最大/最小值统计信息)来裁剪数据,从而以媲美原生数据库的速度对原始文件执行分析查询。这种易用性、高性能以及与现代数据技术栈的深度集成,使其成为现代数据生态系统的基石。

Hacker News | 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 DuckDB 内幕:为什么 DuckDB 很快?(第一部分)(greybeam.ai) 5 分 | marklit 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 | 登录 在冰水中溺水 147 分钟并出现低温骤停后的生存案例 (jacc.org) 14 点 | js2 发布于 38 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 addaon 7 分钟前 | 下一条 [-] 人只要没变暖,就不能算死透了。 回复 hannasm 7 分钟前 | 上一条 [-] 维姆·霍夫(Wim Hof)的童年也有类似的故事(可能没那么极端)…… 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

Let's Encrypt 目前的生产环境 API (`acme-v02.api.letsencrypt.org`) 及门户服务性能出现下降。用户在访问这些系统时,可能会遇到 400 和 500 错误响应。 该问题始于 2026 年 6 月 18 日,目前正在调查中。初步排查显示是其两个高安全数据中心之间的网络问题,团队目前正致力于解决涉及上游 ISP 的复杂状况。 虽然生产服务受到影响,但所有测试环境及其他面向公众的数据中心服务均保持正常运行。Let's Encrypt 正通过其状态页面和社区论坛持续提供更新。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Let's Encrypt 今天大部分时间处于宕机状态 (status.io) 21 点 | widdakay 发布于 10 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Horizons - JPL 太阳系数据演示 + NASA DSN 更新 点击行星以查看 JPL Horizons 详情 | NASA 深空网络日志 在后台更新(所有天线)Datastar + Common Lisp 演示 / 作者 fsm ΛↃ lambda combine 正在等待数据流... 点击行星以查看详情...

抱歉。

本摘要概述了一个旨在通过构建高性价比、桌面级机器人操作平台来实现高端机器人研究大众化的项目。作者坚信,如今单人研究员即可完成过去需要 20 人团队才能实现的工作,并因此打造了一个成本低于 5,000 欧元的紧凑型桌面实验室。 **硬件配置:** 该系统的核心是 UFACTORY xArm Lite 6 机械臂(因其工业级的可靠性而被选用),并配有 Intel RealSense D405 手腕相机及一台静态罗技摄像头。远程操控则通过 3Dconnexion SpaceMouse 实现。该系统旨在实现低摩擦与便携性,从而在非实验室环境下进行快速迭代。 **软件架构:** 作者没有使用 ROS 等复杂的框架,而是构建了一套定制化的模块化 Python 技术栈。该系统利用轻量级的内存事件总线,在单个进程内处理并发任务(传感、控制与记录)。这种“自建”方案确保了对整个技术栈的完全控制,作者认为这对开展有意义的研究至关重要。 **研究目标:** 作者计划利用该平台开展开放式研究,包括实验学习策略、对比 RGB 与 RGB-D 数据,以及测试微调基础模型与从零训练策略的性能差异。

抱歉。

Talos 是一个用 Lean 4 编写的实验性 WebAssembly 解释器,被设计为一个连接执行与形式化验证的“机械守护者”。通过在评估和证明中使用统一的代码库,Talos 消除了同步独立规范的需求。 Talos 优先考虑推理清晰度而非执行速度,为 WebAssembly 提供了功能完备且可执行的语义。它利用最弱前置条件 (WP) 演算,使开发者能够以结构化、组合式的方式陈述并证明有关程序行为的定理,例如正确性和等价性。 该项目组织为一个模块化的单一代码库(monorepo),包含: * **解释器 (Interpreter):** 核心 Wasm AST、语义和 WP 策略层。 * **代码库 (CodeLib):** 包含提升引理和验证辅助工具的库。 * **程序 (Programs):** 存放具体验证任务的存储库。 Talos 目前专注于与高级语言(如 Rust 或 C)编译最相关的 Wasm 特性。尽管仍处于积极开发阶段,它提供了一个通过从后置条件反向推导来验证软件的强大框架。该项目基于 GNU AGPLv3 许可证发布,并需要 Lean 4 和 `wasm-tools` 环境。

对不起。

客户端挑战:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。本站所需的某个部分无法加载,这可能是由浏览器扩展程序、网络问题或浏览器设置导致的。请检查您的网络连接、禁用广告拦截器,或尝试更换浏览器。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为了研究芯片的工作原理,麻省理工学院的研究人员构建了自己的操作系统 (news.mit.edu) 7 点,由 speckx 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Z.ai 推出的最新开源模型 GLM-5.2 目前在“人工智能分析指数”(Artificial Analysis Intelligence Index)中名列榜首。该模型拥有 7530 亿参数及 100 万 token 的上下文窗口,其核心技术创新“IndexShare”架构显著提升了长文本处理效率。该模型采用宽松的 MIT 许可证发布,在智能体编码任务中表现出色,但据用户反馈,其在创造性推理方面的表现尚不稳定。 然而,“开源”并不等同于“易于使用”。其完整的 BF16 权重总计 1.51 TB,对于标准硬件而言根本无法运行。即使经过深度量化,也需要配备至少 256GB 统一内存的 Mac Studio 等专业设备才能以可用速度运行。 总而言之,GLM-5.2 是开发人员处理长周期编码项目的强大工具,但它并非“即插即用”的本地模型。对于大多数用户而言,租用云端 GPU 或使用官方 API 比尝试在本地部署更为经济高效。除非你拥有企业级硬件,否则与其追求排行榜上的参数规模,不如优先选择能够适配现有本地环境的模型。

关于 GLM-5.2 发布的 Hacker News 讨论,重点集中在该模型令人印象深刻的性能以及本地部署的实际障碍上。虽然基准测试显示该模型达到了“接近前沿”的水平,但用户对其文章质量持怀疑态度,指出其内容依赖于常见的“大语言模型生成”的写作套路。 讨论凸显了云端托管与本地推理之间的分歧。评论者争论本地模型是否能够与数据中心的规模经济竞争,一些人认为计算密集型的大规模模型将不可避免地偏向集中式托管。相反,本地模型的支持者强调,即便缺乏云端竞争对手的原始速度或“智能”,隐私、主权和专业化用例也使得本地运行具有价值。讨论中还分享了一些技术建议,即利用二手企业级硬件(CPU/内存密集型服务器)来运行大型模型,而不是投入昂贵的 GPU 集群。

工业革命始于18世纪的英格兰,这不仅是因为技术发明,更因为1688年的“光荣革命”建立了一种能够修复停滞的产权和基础设施体系的政治环境。 1688年之前,欧洲的发展受到土地所有权分散、僵化的继承法(“限嗣继承”)以及落后基础设施的制约。君主往往因缺乏合法性或无法获得土地精英的配合,而未能改革这些制度。光荣革命赋予了代表这些地主的议会权力,他们随后利用立法权推动了经济现代化。通过通过数以千计的法案来整合土地、打破限制性的继承契约,并建立用于基础设施的“收费公路”信托,他们提高了农业效率和市场专业化程度。这种制度性变革为工业革命的繁荣创造了所需的粮食盈余、资本和物流基础。 如今,许多发达国家正因“否决政治”而面临类似的停滞——即复杂的监管壁垒在保护现有既得利益的同时,却以牺牲更广泛的增长为代价。1688年的启示在于,进步需要建立一个能为现有利益相关者提供益处的政治联盟,而不是试图凌驾于他们之上。这证明了当改革建立在共识和立法行动之上时,激进且有利于增长的变革是可能的。

```Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 打破邻避主义(NIMBYs)如何创造了现代资本主义 (worksinprogress.co) 10 点,由 karakoram 发布于 3 小时前 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助 社区准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:```

全新的 **datasette-apps** 插件允许用户创建独立的 HTML/JavaScript 应用程序,这些程序可直接在 Datasette 实例内部的受限沙盒 `<iframe>` 中运行。 主要功能包括: * **安全性**:应用程序通过严格且不可篡改的内容安全策略(CSP)和 `sandbox` 属性进行隔离,防止未经授权访问 Cookie、本地存储或发送外部 HTTP 请求。 * **受控交互**:应用通过 `MessageChannel()` 与父级 Datasette 实例通信,允许其基于白名单执行只读 SQL 查询或特定的“已存储”写入查询。 * **LLM 集成**:该插件专为 AI 生成而设计,内置的提示词可向模型提供必要的数据库架构,使用户能够像使用 Claude Artifacts 一样通过“灵感编程”(vibe-code)构建工具。 * **生产力**:系统集成了 SQL 查询日志记录和错误报告功能,便于开发与调试。 通过连接持久化关系数据库与沙盒前端工具,Datasette Apps 助力用户构建自定义的交互式界面,使 Datasette 从一个只读数据工具转变为构建功能全面、安全且数据驱动型应用的强大平台。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 Datasette Apps:在 Datasette 内托管自定义 HTML 应用程序 (simonwillison.net) 13 分 | lumpa 发布于 53 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 xgulfie 31 分钟前 | 上一条 [–] 真搞不懂为什么人们非要给“datasette”这种词增加额外的含义。 回复 tadfisher 25 分钟前 | 父评论 [–] 我认为现在的含义已经很成功地取代了原本的用法。除非你是在 Commodore VIC-20 上敲出的这条评论,不然我想确实如此。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

更多

联系我们 contact @ memedata.com