每日摘要 · Hacker News
· 11 黑客新闻
- ▲ 64全息术：从科幻幻想到科学基石
曾几何时，Holography 展览在全球吸引数十万观众，企业家们对其在艺术和电视领域的应用充满信心。然而，随着技术普及，它逐渐失去了公众和部分科学界的光环。如今，Holography 虽不再像二十多年前那样轰动，却在现代科学中扮演着关键角色。从 Gabriel Lippmann 和 Frits Zernike 的早期探索，到 Dennis Gabor 的 Wavefront Reconstru…
- ▲ 58政府正错误应对可负担性危机
The Economist 指出，全球各国政府在应对可负担性危机时表现失误，未能有效缓解民众的生活成本压力。Hacker News 社区对此展开热议，有用户直言政府似乎是在为超级富豪服务，甚至讽刺道“让他们吃蛋糕吧”。这场讨论揭示了政策制定与民生需求之间的巨大鸿沟，引发人们对现有治理模式的深刻反思。
HashiCorp 正式将 Boundary 开源仓库归档，该项目旨在为动态基础设施提供基于身份的管理方案。这一决定标志着 Boundary 社区版（Boundary CE）的维护工作正式停止，仓库已转为只读模式，不再接受新的代码提交或功能更新。HashiCorp 表示，未来将把重心转向 HCP Boundary 和 Boundary Enterprise 等商业化产品。对于依赖该开源工具的开发…
当 AI 让定理生产不再稀缺，数学界正重新审视“理解”的本质。在 Institut Henri Poincaré 的工作坊上，数学家与艺术家探讨：当证明不再是衡量深度的唯一标准，数学插图如何成为一种严谨的研究方法？从 Bryna Kra 到 Grant Sanderson，多位学者指出，数学不仅是可验证的解，更是被学术共同体消化、解读的知识体系。通过 shader 代码意外发现的代数结构、GPT…
Pensieve 是一款专为 macOS 打造的本地代码搜索工具，旨在优化 AI 编程代理的工作流。它通过本地索引文件、仓库和会话记录，让 Claude Code、Cursor 等代理在调用工具前精准定位关键代码片段，而非盲目 grep 整个磁盘。实测数据显示，接入 Pensieve 后，代码查找的工具调用次数减少 43%，单次查找成本降低 18%，速度提升 21%。此外，它还能分析 git b…
我常看到有人想要开源路由器，想以此创业，但担心黑客习惯自己刷 DD-WRT 或买现成设备。我试过淘二手路由器刷固件，也研究过 OpenWrt One 等成品，发现自建成本高。普通用户更看重品牌和购买便利性。大家真的需要预装 DD-WRT 的路由器吗？
- ▲ 14可重写纹身：光致变色纳米墨水登场
纹身不再是一辈子的事。最新研究开发出一种基于 Photochromic nanoparticle inks 的可编程颜料，能让纹身图案在特定光照下发生颜色变化甚至完全消失，实现真正的“可重写”。这项技术利用纳米颗粒的光致变色特性，让皮肤上的图案能够像数字屏幕一样被反复擦除和重绘。这不仅为纹身爱好者提供了更多选择，也为医疗标记、防伪等领域带来了全新可能。未来，我们的身体或许也能像手机一样，随时更新…
Plimsoll 是一个专为运行 AI Agent 生成的不可信代码而设计的自托管沙箱服务。它不仅能安全隔离代码执行，还会在每次运行结果中明确报告隔离强度等级（从 process 到 vm）。开发者可设定最低安全门槛，若沙箱强度不足则拒绝执行。此外，它通过独特的授权机制，让代码在无需接触真实凭证的情况下安全调用外部 API，完美解决了 AI 代码执行的安全与信任难题。
BraiNOTES 是一款运行在浏览器中的开源手写笔记应用，旨在替代 OneNote 或 GoodNotes。它专为讲座场景设计，支持在笔、荧光笔等多种工具下书写，并可将 PDF 幻灯片置于侧边或直接作为书写背景。无需注册账户，所有数据均保存在本地浏览器中，完全离线可用。支持导出带矢量墨迹的 PDF，是开发者与学生的理想笔记工具。
这是一个用 Rust 编写的端到端加密（E2EE）信使核心原型，集成了 X3DH、PQXDH 后量子密钥交换、Double Ratchet 和 Sealed Sender 等协议。项目旨在通过工程手段对抗“后门”设计和类似欧盟 Chat Control 的监管压力，采用基于加密密钥的身份认证，无需手机号或邮箱。虽然核心加密、网络传输和服务器逻辑已通过严格测试，能在 124MB RAM 下支持 1…
我在开发FPU模拟器时，发现可以用浮点运算技巧绕过原生的ctz指令。这种方法不仅能处理单个整数，还能扩展为向量化实现。文章详细展示了如何利用浮点数的指数偏差特性，通过巧妙的位操作和浮点减法，高效计算clz和ctz。在Haswell和Alder Lake等现代CPU上，这种向量化方案的性能显著优于标量版本。此外，我还探讨了基于de Bruijn序列的替代方案，并分享了针对64位输入的优化算法。