Prela 是一种基于阿尔弗雷德·塔斯基（Alfred Tarski）关系代数的实验性查询语言。它将每个数据实体视为一个二元关系，有效地将传统表格“粉碎”成一系列二元映射的集合。这种模型支持高度直观的导航式语法，查询结构表现为简单的函数组合，从而消除了 SQL 中常见的复杂 JOIN 和子查询。
由于 Prela 是作为宿主语言（主要是 Julia）中的浅嵌入式实现，它能够利用现有的变量、用户自定义函数和聚合等语言特性，无需专门的数据库语法。
Prela 的一项关键技术创新是采用连续传递风格（CPS）进行查询执行。通过传递后续操作而非物化中间表，Prela 将查询算子融合为一次高效的遍历。结合列式存储，该方法能够实现与 DuckDB 等成熟引擎相当甚至更优的性能。尽管仍处于早期开发阶段，Prela 已证明将关系理论与函数式编程范式相结合，可以打造出一种既书写优雅又执行高效的查询语言。
每日HackerNews RSS
Prela 是一种基于塔斯基关系代数（Tarski’s Algebra of Relations）的新型嵌入式查询语言。它专为简洁性和高性能而设计，采用浅嵌入（shallow embedding）方式，即将运算符作为宿主语言中的常规函数。它利用延续传递风格（continuation-passing style）来实现高效的列式执行。
在相关的 Hacker News 讨论中，开发者 Remy Wang 指出，Prela 规避了 SQL 中常见的 `NULL` 值陷阱，并为用户提供了对查询计划的精细控制能力——这是它相对于传统 SQL 的一大显著优势。尽管一些用户提到，与标准编程语法相比，Prela 对数学符号的重度依赖可能会带来一定的学习曲线，但开发者认为这种表示法既严谨又利于大模型（LLM）进行推理。
讨论还探讨了 Prela 的潜在应用场景，包括将其作为 DuckDB 等现代列式数据库的前端。此外，人们还将该项目与 Apache Calcite 的“Morel”等其他项目进行了比较，这些项目同样旨在架起函数式编程范式与关系数据库执行之间的桥梁。总体而言，参与者对 Prela 表现出了浓厚兴趣，认为它能为查询优化提供一种比标准 SQL 更具可预测性和透明度的替代方案。
在 Windows 8 的开发过程中，微软工程师们依赖一套变得极其重复且滑稽的命名惯例。为了将新界面与“经典”体验区分开来，他们采用了“Mo”（代表“现代”，Modern）作为前缀。 最初的“现代外壳”（MoSh）很快演变成了一长串详尽的缩写清单。各个组件被命名为“MoGo”（开始菜单）、“MoBar”（分屏应用）、“MoBody”（填充应用）、“MoSet”（设置）以及“MoCo”（列表视图控件）。甚至连应用程序也加入了这一潮流，网页浏览器变成了“MoBro”，而照片管理器则获得了“MoPho”这个不太雅观的称呼。 随着这一趋势的蔓延，“Mo”系列的名称数量多得荒谬，展现了该公司内部开发文化中一段轻松却又过度的一幕。Windows 8 正是在这种命名狂热中诞生，并于 2011 年 6 月 1 日正式发布。
抱歉。
Cloudflare 宣布收购 VoidZero，该公司是 Vite、Vitest、Rolldown 和 Oxc 等核心 JavaScript 开发工具背后的开发商。包括创始人尤雨溪（Evan You）在内的整个 VoidZero 团队将加入 Cloudflare，继续负责这些项目的开发。 Cloudflare 强调，所有工具将保持严格的开源状态，采用 MIT 许可协议，且保持供应商中立。公司的目标是将 Vite 作为 JavaScript 生态系统中立的基础层予以支持。为体现这一承诺，Cloudflare 将设立 100 万美元的“Vite 生态基金”，以支持项目的维护者和贡献者。 未来，双方的合作将聚焦于以下两个关键领域： 1. **工具集成：** Cloudflare 计划将其 CLI 和开发者平台原生构建在 Vite 之上，从而确保开发者的使用体验更加顺畅。 2. **生态增长：** 该团队将致力于在 Vite 内部开发与供应商无关的基元（primitives），以更好地支持全栈应用、人工智能代理（AI agents）和服务器端运行时。 尽管已被收购，Vite 的发展路线图和治理模式仍将由社区驱动。VoidZero 团队将继续以公开透明的方式领导这些项目，而 Cloudflare 将提供额外的工程资源，确保这些工具持续成为高效 Web 开发的行业标准。
Cloudflare 已收购 VoidZero，这是一家由 Evan You 领导的初创公司，其背后的基础 JavaScript 工具包括 Vite、Vitest、Rolldown 和 Oxc。该团队将在 Cloudflare 旗下继续主导这些开源项目。
此次收购在 Hacker News 的开发者社区中引发了广泛讨论。支持者认为这是一个积极的结果，为那些至关重要但往往难以盈利的开源工具的创作者提供了财务可持续性。其他人则对网络生态系统日益中心化表示担忧，并指出主流框架和构建工具正逐渐被云服务商（如 Vercel、Google，以及现在的 Cloudflare）所吞并的趋势。
尽管各方公开承诺这些项目将保持开源且独立于厂商，但批评者仍对“平台腐化”（enshittification）持谨慎态度，担心企业利益可能会影响工具的发展路线，或使其逐渐失去中立性。此次讨论也凸显了开源开发在资金筹措方面面临的更大挑战，许多人认为，依赖风险投资支持的收购正是经济模型失灵的征兆，因为开发者往往无法从他们为行业提供的基础软件中获得相应的报酬。
伊恩安全鞋带结（Ian’s Secure Shoelace Knot），又称“双滑动结”，是一种非常可靠的系鞋带方法，比普通结扣牢固得多。通过在中心多绕一圈，这种结扣需要近两倍的拉力才能解开，因此非常适合运动员、徒步旅行者或使用易滑合成鞋带的人士。
系法如下：
1. 先打一个标准的左右交叉底结。
2. 做出两个“兔耳朵”环。
3. 将右侧环交叉叠在左侧环上方。
4. 将两个环相互缠绕——具体来说，是将左侧环绕到后方——使它们处于能够从相反方向穿过中心孔的位置。
5. 将两个环同时拉过中心孔并拉紧，以锁住结扣。
系好后，会形成一个整齐、对称且不易自动松脱的结。如果你的结看起来歪斜或松散，请确保底部的结平衡，并在拉紧过程中让环自然调整位置。
许多 Hacker News 用户表示，发现 Ian 的系鞋带网站（fieggen.com）是一次“改变人生”的经历。其核心发现是，许多人之所以常被鞋带松脱困扰，是因为他们无意中打的是“假结”（一种不平衡的结），而不是平衡的平结。
只需简单调整打结的第一步（将原本的左右交叉改为右左交叉，反之亦然），用户就能系出对称、牢固且一整天都不会散开的鞋结。此外，许多贡献者还推荐了“Ian 快速结”，这是一种既能显著提高系鞋速度，又能保持高度稳固的方法。
讨论还提到了 Ian 网站所散发的“旧互联网”魅力，人们称赞它轻量、无广告，是由热情而非利益驱动的精心之作。虽然一些评论者在争论特定系法与其他解决方案（如弹性“免系”鞋带或魔术贴）的优劣，但这个讨论帖对那些几十年来一直在重复系鞋带的人来说，是一次集体的顿悟——他们终于意识到，困扰自己的仅仅是一个可以轻易纠正的小习惯。
禁止访问 您没有权限访问此资源。
对不起。
著名法籍伊朗裔作家兼电影人玛赞·莎塔碧（Marjane Satrapi）去世，享年56岁。据报道，她在丈夫马蒂亚斯·里帕（Mattias Ripa）去世仅一年多后，因悲伤过度离世。 莎塔碧于1969年出生于伊朗，凭借其绘本小说《我在伊朗长大》（Persepolis）享誉国际，该作深刻地记述了她在1979年伊斯兰革命期间的成长经历以及随后的流亡生活。其2007年的同名改编电影曾获戛纳电影节评审团奖及奥斯卡提名。在职业生涯中，她始终直言不讳地批评伊朗的神权政权，坚定地支持人权以及“女性、生命、自由”运动。 除了社会活动，莎塔碧还是一位多才多艺的艺术家，其作品涵盖绘画，并执导了如居里夫人传记片《放射性物质》（Radioactive）等电影。她以正直著称，曾因抗议法国对伊朗异见人士的签证政策，毅然拒绝接受法国荣誉军团勋章。埃马纽埃尔·马克龙及戛纳电影节委员会等各界人士纷纷致哀，赞誉她为“伟大的艺术家”和无畏的女权主义声音，称她的勇气和对普世人权的奉献将长久地产生回响。
Kiki 是一款极简、轻量级的网页构建套件，旨在简化网页创建过程。Kiki 摒弃了 Ghost 或 Jekyll 等现代内容管理系统（CMS）的复杂性，秉持“tomotama”理念：提供一套直观、易读且高度可定制的工具，无需学习 Node.js 或管理复杂的依赖关系。 整个代码库体积不到 100KB，完全由 PHP、HTML 和 CSS 手写而成。它不包含 JavaScript、Cookie、追踪脚本或臃肿的数据库。其功能包括五套响应式主题、“Bug”自定义标记语言、支持静态或动态页面生成，甚至支持 Gopher 协议。只需将文件解压至任何支持 PHP 的服务器即可使用。 Kiki 以共享软件（shareware）形式发布。免费版本允许完整使用，但需保留页脚的归属链接。支付 15 加元即可获得完整版，解锁包括 Markdown 支持在内的更多功能，并可移除页脚链接。Kiki 专为那些认同网络应当简洁、个性化且易于访问的人们而设计，它将易用性置于现代开发环境繁琐的技术开销之上。
位于加利福尼亚州索萨利托的美国陆军工程兵团海湾模型，是一个占地两英亩的大型水力比例模型，用于展示旧金山湾和萨克拉门托-圣华金河三角洲。该模型于1957年完工，最初是为了测试“里伯计划”的可行性，该计划提议通过拦截海湾部分水域来管理供水。模型的测试结果成功证明了该计划不可行。
该设施在1966年至1969年间进行了扩建，曾用于研究航道疏浚和水流管理的影响。它由286块混凝土板构成，为了保持精确的水力流动，其垂直与水平比例采用了10:1的畸变设计，并使用铜条来校准水阻力。
尽管该模型至今仍可运行，但已不再用于科学研究。现在，它作为海湾模型游客中心的教育展品，通过互动展示和精心保存的比例模型，让公众能够探索该地区复杂的水文学。
抱歉。
发表于《ACM图形学汇刊》（SIGGRAPH 2026）的论文《高斯点溅射》（Gaussian Point Splatting）介绍了一种新颖的随机渲染技术，旨在将高斯溅射扩展至包含数亿个元素的大规模场景。
作者摒弃了传统的溅射方式，转而从高斯分布中采样像素大小的不透明点，并使用64位原子操作将其渲染到帧缓冲区。该方法利用并行编程原语，将工作负载高效地分配到数百万个GPU线程中。由于线程独立运行，研究人员开发了一种数学形式化方法，以确保不透明度分布的准确性，在保持与原始高斯溅射视觉保真度一致的同时，仅引入了微小的噪声和走样差异。
为了进一步提升性能，该方法结合了层级视锥体剔除和遮挡剔除技术，实现了对以往计算成本过高的大规模复杂场景的实时渲染。该技术为新视角合成提供了一种高度可扩展的替代方案，针对现代硬件优化了高密度高斯环境。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
Hacker News 上的一场近期讨论探讨了将 Git 作为 AI 智能体（特别是 Claude 和 Codex）实时协作的通信媒介。
使用 Git 的主要优势在于其处理内容寻址、版本控制和持久化消息日志的能力，这些日志在克隆和分支操作中依然保留。支持者认为，这创造了一种可供审查的“轨迹”，记录了决策、风险和交接过程，使交互超越了简单的聊天界面，转向了结构化的协作工作流。
然而，社区反应不一。许多开发者指出这种方法是在“重复造轮子”，并表示更简单的方法（如 Unix 文件夹监视、NATS 消息总线、SQLite 数据库，甚至直接使用 GitHub Issues）往往能以更低的开销达到同样的效果。其他人则对多智能体协作的效用表示怀疑，认为这会导致冗余成本、“幻觉循环”以及不必要的复杂性。批评者达成的一致共识是，智能体工作流真正的瓶颈在于对可靠任务规范和人工监管的需求，而非通信协议本身。