Hacker News Digest
· 10 黑客新闻
奥克兰市面临每年1.2亿美元的预算缺口，而Oakland Police Department的加班费支出却失控。2024年，警员Timothy Dolan仅加班费就高达49万美元，使其总收入远超警长和市长。更令人担忧的是，城市审计发现近一半的加班时间缺乏详细记录，Dolan甚至曾连续工作19天，单日最长达23小时。尽管警方辩称这是为清理积压的collision reports，但如此高昂的加班成…
我对 OpenAI 的生存能力深感担忧，这种担忧在近期愈发强烈。就在 OpenAI 完成 70 亿美元内部回购的同时，COO Brad Lightcap 和首席营收官 Denise Dresser 接连离职，后者甚至在入职不到一年就放弃了数百万美元的期权。与此同时，竞争对手 Anthropic 正通过激进的 IPO 前营销，试图用虚构的未来营收预期来掩盖其糟糕的财务现实。如果 Anthropic…
Linear 基于 2026 年上半年的数据揭示了软件团队中 AI 使用的真实图景。在短短六个月内，AI 功能在各类职能中的活跃度翻倍，从工程到市场部门全面渗透，甚至 CEO 和创始人等高管的采用率也大幅提升。更引人注目的是，AI 代理现在负责创建了 Linear 平台上近一半的问题（Issues），这一比例正迅速超越人类和集成工具。数据显示，无论公司规模大小，AI 的采用速度惊人，且团队在创建…
只需粘贴Hugging Face模型ID，modelmap就能瞬间生成该模型的动态交互式架构图，全程无需下载任何权重文件。无论是热门的Qwen3.8、DeepSeek-V4，还是经典的GPT2和BERT，都能以生动的'活地图'形式呈现。它通过元设备实例化和追踪虚拟前向传播，精准还原网络结构。支持公开库即查即看， gated模型只需添加token即可解锁。无论是快速理解模型结构，还是对比不同架构差…
在Linux上部署静态二进制文件通常意味着放弃GPU加速，因为静态编译的musl程序无法直接加载基于glibc的Vulkan或OpenGL驱动。SoLo项目打破了这一限制，它作为一个内嵌的.so加载器，让单个静态可执行文件能够安全地调用系统现有的动态图形驱动。无需容器、AppImage或额外的libc，SoLo通过实现glibc ABI桥接和完整的ELF加载逻辑，实现了C++异常跨域传递、TLS…
从尼亚加拉大瀑布到金门大桥，Tower Optical 的投币望远镜已在美国和加拿大的观景台伫立近90年。这家鲜为人知的公司自1933年起在 Norwalk 手工组装了约2000台设备，每台机器都拥有详尽的维护卡片记录其迁徙历史。如今，随着硬币使用率下降，Tower Optical 开始为部分设备加装 Tap-to-pay 支付系统，并首次向私人买家出售少量经过翻新的历史机型。这些由 Bausc…
在安大略省 Cannington 小镇的 Cameron Street 旁，一家名为 Civic Grid 的 Toronto 初创公司正在重新定义公共能源设施。他们为 The Nourish and Develop Foundation (TNDF) 建造了一座看似发光电话亭的巨型电池，这不仅为邻近的食品银行提供廉价电力，还打造了一个供居民聚集和充电的微型广场。该 60 kWh 系统利用夜间低…
传统的 Property-Based Testing (PBT) 框架虽然流行，但用户往往受限于库作者预设的配置选项，难以灵活定制测试逻辑。本文提出了一种基于“延迟绑定抽象语法”的深层嵌入语言，将测试属性重构为数据结构，从而彻底解耦属性定义与执行器。该方案在 Rocq 和 Racket 中实现，利用依赖类型和动态类型的优势，让开发者能够像搭积木一样快速原型化各种专用的 Property Runn…
读博期间，我曾参与模拟红细胞（RBCs）在微流控芯片中的流动，旨在优化检测循环肿瘤细胞的设备。当时，我们的耗散粒子动力学（DPD）模拟结果与真实实验视频存在偏差。多年后，我决定重新挑战这一难题：结合边界积分法（BIM）求解斯托克斯流，并构建红细胞复杂的膜动力学模型。我成功复现了著名的 SDE 序列（stomatocyte-discocyte-echinocyte），即红细胞在不同化学环境下的形态…
markéta和behdad将他们的婚礼请柬打造成了独特的点按式点击冒险游戏Loft Day。玩家可以在游戏中探索充满秘密的Loft，体验从派对到公路旅行的趣味旅程。这款游戏不仅展示了创意与技术的结合，还为宾客提供了一种全新的互动方式来了解婚礼细节。无论是近处的亲友还是远方的朋友，都可以通过旋转手机或在大屏幕上沉浸其中，享受这场别开生面的数字冒险。