ParadeDB 的第二部分聚焦于 COUNT 优化。它按 ctid 划分段，提供不相交的页面范围，并让可见性映射检查跳过整个段；反转 DocId 到 ctid 的映射，以便仅查找需要检查的页面；并为密集 posting list 使用位图，使 p99 延迟减半。在 Wikipedia COUNT 基准测试中，ParadeDB 达到 5353.3 QPS，而 TIN 为 2645.8 QPS，约为 2 倍。除基本计数外，ParadeDB 在 Hacker News 上的过滤计数、过滤后的 BM25 Top K 和按时间排序的 Top K 也表现更好，差异高达 21.7 倍。作者将此归因于 ParadeDB 将文本和元数据一起索引，从而实现协调的过滤和排序，而 TIN 仅索引文本并依赖单独的 B 树。他们警告说基准测试的选择会影响结论，且没有单一基准能证明最快的引擎；用户应测试自己的工作负载。他们还切换到服务器端基准测试以减少网络影响。
每日HackerNews RSS
Hacker News 上有一篇链接到 ParadeDB 文章《解决 Postgres 的计数问题》的帖子，获得 40 分。评论包括 ParadeDB 破坏 Postgres 复制的报告和对企业版套餐压力的批评，同时也赞扬开发者体验改进，例如 Drizzle ORM 支持以及向量/BM25 搜索。另一位评论者认为切换数据库并不能解决 Postgres 的计数问题，而第三位请求一个更准确的标题：《让 COUNT 与其余搜索真正变快（第二部分）》。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 如何运作 测试新功能 © 2026 Google LLC
一个 Hacker News 帖子讨论了一段可视化双曲几何台球的 YouTube 视频。评论者称赞视频和频道，分享相关视频、创作者的 swaptube 工具以及 6884 的音乐。一些人反思数学梦和频道的迷幻风格，另一些人指出它与光学、力学和天体力学的实际联系。少数用户不喜欢音频混音，还有一场争论将视频描述为“数学垃圾食品”或真正的艺术/研究。总体而言，该帖对美丽的数学动画及其教育与研究价值持积极态度。
Astroterm 是用 C 编写的终端星图，使用 ASCII 渲染显示恒星、行星、星座和月亮的实时位置。用户可以按日期、时间、位置、亮度阈值、颜色、Unicode/盲文字符、星座图等自定义视图。它提供精确的天体渲染、月相和优化的性能。安装选项包括 pacman、Fedora、Homebrew、Nix、Guix，以及 Linux、macOS 和 Windows 的直接下载；用户也可以从源码构建。命令行参数控制纬度、经度、日期时间、阈值、帧率、速度、颜色、网格、宽高比、城市查询和显示模式。示例包括查看历史天空或创建旋转地球效果。故障排除涵盖 curl 重定向和 Unicode 区域设置配置。欢迎贡献和错误报告。
Hacker News 推荐了 da-luce 的终端天象仪 Astroterm，获得 228 点和 27 条评论。用户称赞其创意和可读的 README，同时也指出它可能考验终端性能。一位评论者在 Omarchy 中将其设为屏保，以便在家追踪天空。其他人将它与 Casio 的 Cosmo Phase 手表和 `phoon` 比较，并询问是否支持 ISS 或 Starlink 等卫星。有些人质疑 TUI 是否是最佳界面，称其更像“为什么不呢？”的项目，而非必要工具。其他建议包括将其用作动态 MOTD 和添加单帧输出。帖子还讨论了文档质量，并建议 README 应在详细与简洁之间取得平衡。
2026-10-01 Cuis 参加 Smalltalks 2026。Smalltalks 2026 于 10 月 14 日至 16 日在阿根廷罗萨里奥的 UTN 罗萨里奥地区学院举行，Cuis 将出席：节目中的八场演讲来自 Cuis 社区或展示在 Cuis 中完成的工作。我们希望在那里见到大家！ 2026-06-02 七月 Cuis 会议 是什么。这是一个“演示会议”，用于演示然后讨论。Milan Lajtos 将介绍他使用代码代理开发 Blueprint 的经验，Blueprint 是对 Cuis Smalltalk 系统桌面的重新构想。 2026-06-01 Cuis 7.8 发布。Cuis 7.8 稳定版发布！
一篇 Hacker News 帖子讨论了 Cuis——一个现代的 Smalltalk-80 实现。Cuis 与 Pharo 一样都从 Squeak 分叉而来，但它去除了冗余，成为一种极简、易上手的 Smalltalk（类比为 Alpine 与 Debian/Arch 的关系）。它与 Squeak/Pharo 共享虚拟机，速度相当，但库更少，被视为开源贡献的机会。评论者称赞其简化的 Morphic UI，支持矢量图形（包括字体）以及通过 VM 插件实现硬件加速渲染，并且从上到下易于理解。有用户用 Pocketbase/lighttpd 构建静态站点。其他人指出 Pharo 的优势（Fuel、Soil、Seaside）以及技能在两者间可迁移。帖子还涉及 Smalltalk 的历史——最初是儿童教学语言、Alan Kay 的自举哲学、以及关于继承在面向对象编程中作用的争论——并提到通过每月聚会实现的 AI 辅助工作流。总体而言，Cuis 被欢迎为一个干净、现代的 Smalltalk 入门途径。
Lasm 将普通的 Lean 4 程序提前编译为 WebAssembly，因此一个代码库可以变成 Node 服务器、serverless/edge 函数、WASI/Fastly 模块或浏览器应用。作为 Lean，你可以证明已部署代码的性质；旗舰 Conduit（RealWorld 应用）包含 117 个已证明的定理。Lasm 通过 npm 分发，并捆绑 Lean、Lake 和构建工具——只需要 Node（或 Bun/Deno）。支持的目标包括 Node、AWS Lambda、Vercel、Netlify、Azure、GCF、Cloudflare Workers、Vercel/Netlify Edge、Deno Deploy、Supabase、Bun、Deno、Fastly、WASI 和浏览器。JS/npm 互操作通过每个函数一行 `@[js "pkg" "export"]` 声明，没有预置绑定。Lean 框架包括 Lasm.Fetch（HTTP）、Lasm.UI（使用已证明 DOM 差异的 Elm 架构浏览器应用）、Lasm.RPC、Lasm.Web 和 Lasm.KV。运行时，elaboration、`#eval`、`.olean` 加载和 Lean 内核不可用（它们在构建时可用）。它需要精确的 Lean 4.35.0，可在 Linux/macOS/Windows（主要是 x64）上构建，并且运行需要 Node ≥24。采用 MIT 许可。首次构建会下载约 250MB；开发重建约 1–2 秒。基准测试显示 Node（Hono）上约 25k req/s，浏览器传输约 152KB。
Hacker News 讨论了“Show HN: Lasm”，一个用于在浏览器、Node、无服务器和边缘环境中编写 Lean 形式化验证 Web 应用的项目。作者说 Lean 将通用编程与形式化验证结合，Lasm 主要由 Claude Opus 5.5 在他的指导下构建。他称自己为“agentic engineer”，认为 AI 代理已成为核心工具，并预测软件工程可能在 2027 年前基本解决。评论者质疑这一术语，将其与工具而非工程学科相比较，并质疑形式化验证如何帮助 CSS、布局和服务器问题等常见 Web 故障。作者承认自己仍在学习要指定什么，早期 Lean 代码几乎没有人工精修。总体而言，讨论串在对 Lean 更广泛使用感兴趣的同时，也对炒作和实际 Web 应用验证表示怀疑。
研究：全校范围的手机禁令对心理健康无显著影响 Study: Schoolwide phone bans show no significant impact on mental health
7 天前
请启用 JavaScript 和 Cookie 以继续
Hacker News 上的讨论围绕一项研究展开，该研究表明全校范围的手机禁令对青少年心理健康没有显著影响。评论者认为，这可能部分是因为手机在课堂上早已受到限制，因此禁令并未减少整体屏幕使用时间。一些人认为禁令仍可能有助于成绩或课堂行为，而另一些人则质疑仅在校内实施的限制是否能影响更广泛的手机和社交媒体使用。讨论还涉及屏幕或社交媒体是否是社会分裂的根本原因，指出执行方面的漏洞，并对结论从冰岛推广到其他地方的普适性提出质疑。总体而言，评论者认为这一结果表明仅靠学校手机禁令不足以改善心理健康，而非证明手机使用可能无害。
此仓库已被所有者于 2026 年 10 月 4 日归档。现已只读。👍 1 人点了赞表情 👎 1 人点了踩表情 😄 1 人点了笑表情 🎉 1 人点了庆祝表情 😕 1 人点了困惑表情 ❤️ 1 人点了爱心表情 🚀 1 人点了火箭表情 👀 1 人点了眼睛表情 当前无法执行该操作。
Pico CSS 不再维护。维护者认为 AI 如今使极简语义 CSS 框架变得不那么必要，而保持相关性需要使用 OKLCH、级联层、Popover 和锚点定位等现代 CSS 特性进行重大重写，再加上回退方案和编译器。评论者表达了悲伤和感激，也有人质疑潮流功能的必要性，讨论 OKLCH 的直观性与色域问题，并对向后兼容性，尤其是旧浏览器，表示担忧。提到了多个替代品和分支，包括 Blades、Nimble、Sumi.css、Oat 和 actual-css。一些开发者表示 AI 可以快速生成自定义 CSS 框架；另一些人认为人为设计的框架在一致性和审美上仍有价值。总体而言，该讨论反映了前端实践的变化，以及现代化与简洁性之间的分歧。
Herdr 是一个桌面终端与编码代理工作区。它将工作组织为空间、标签页和面板；未命名空间会跟随其首个终端的文件夹。代理会以状态（working、blocked、done、idle）显示在侧栏中，worker 可在 peek 或标签页中打开。关闭窗口时终端仍会在 herdr-core 中运行，而关闭面板或标签页会结束它们；重启或 core 崩溃后，保留的面板会在其最后文件夹中重新打开新 shell。SSH 机器运行远程空间，共享结构和实时终端，并保留每屏焦点与缩放。可通过 Linux、macOS Apple Silicon 和 Windows x64 的平台脚本安装。Herdr 包含命令面板、设置、布局和 JavaScript mods；随附的布局和 mods 会自动更新，而用户副本会保留。更新会下载到运行中应用旁，源码构建不会自动更新。遥测默认开启，可禁用。Mods 是受信任的、非沙盒代码。CLI 命令可检查打开的窗口、状态和可用命令。从源码构建需要 Rust 1.95.0 和 Zig 0.16.0。基准脚本比较绘图性能。
Herdr 发布了基于 herdr-core 的原生桌面应用 herdr-app，扩展了其面向代理的终端复用器。该工具可在项目和工作树间组织 Claude Code、Codex 等编码代理，检测代理状态（空闲/工作中/等待），并支持会话间的跨 harness 通信。用户将其与 tmux、Zellij 以及 Rex、Orca、Paseo、Conductor 等竞品比较。粉丝称赞其精致度、基于 libghostty 的渲染、远程 SSH 会话支持和可自定义 UI；批评者不喜欢模糊的营销文案，并担心 VC 资助导致的产品劣化、TUI 与原生应用之间的碎片化，以及不明确的变现方式。有人指出原生应用与现有 herdr TUI 会话不兼容，且新 core 缺少 TUI。移动客户端（Moshi、Collie、Heeler）和远程访问工作流也被讨论。总体而言，Herdr 将自己定位为“harness for harnesses”——一个专为代理式编码工作流构建的终端/工作区管理器。
哎呀！
访问被拒绝：错误代码 bbad9d30a7348992。
返回首页
由 Anubis 保护，来自 Techaro。在 🇨🇦 用 ❤️ 制作。
吉祥物设计：CELPHASE。
本网站运行 Anubis v1.27.0。
Hacker News 的用户讨论了由田纳西大学诺克斯维尔分校托管的科马克·麦卡锡个人图书馆。一位评论者强调托马斯·伯恩哈德的《Correction》是一部实验性、幽闭恐惧的小说，引发对伯恩哈德密集、阴郁风格的推荐与警告，并将其与叔本华和利戈蒂相比较。其他人指出，麦卡锡的图书馆既包含受赞誉的作品，也包含普通书籍，还有许多重复副本，包括超过100本莎士比亚书籍。有些人质疑他究竟读了多少。帖子还辩论了麦卡锡对普鲁斯特和詹姆斯的批评，其中一人认为这可能是一种姿态。许多评论聚焦于《The Road》：读者将其描述为阴郁却有希望，尤其对父母而言，同时将其灰暗与《Blood Meridian》和《No Country for Old Men》进行比较。其他言论提到麦卡锡的家庭生活和写作风格。总体而言，讨论混合了文学推荐、对麦卡锡品味与形象的批评，以及对他小说的个人感受。
在 C 中，许多反向迭代的尝试都会失败：使用无符号索引并写 `i >= 0` 是恒真条件，并会在零处下溢；而改用有符号的 `ssize_t` 则会引入转换、可移植性和提升问题。推荐的惯用法是 `for (size_t i = count; i--; )`，它使用后置递减：循环体看到的索引从 `count-1` 到 `0`，且当之前的值为零时条件停止。无符号回绕是有定义的行为。这保持索引为无符号类型，避免有符号转换问题，并使反向迭代简单且易于验证。
Hacker News 上的一个帖子讨论了如何在 C 语言中反向遍历数组，尤其是使用无符号 `size_t` 索引时。核心问题是，对于无符号值，像 `i >= 0` 这样的条件永远为真，有导致无限循环或回绕的风险。评论者分享了一些惯用写法，如 `while (i--)`、`for (size_t i = count; i--;)` 以及视觉上的 `i --> 0` 技巧，指出它们虽有效但可能晦涩难懂。其他人更偏好更明确的形式，例如从 `count` 开始计数并使用 `i - 1`，或使用有符号计数器如 `ssize_t` 或 `int`，以使终止条件检查更直接。讨论还涉及 C 语言的有符号/无符号转换规则、指针算术和现代编译器优化，多位用户认为可读性和可维护性比技巧性更重要。一些人将 C 与 C++ 的反向迭代器、Zig 的溢出运算符和 Fortran 风格的循环进行比较。总体而言，没有单一被普遍接受的惯用写法；选择取决于类型安全、可移植性和团队约定。