每日摘要 · Hacker News
· 85 黑客新闻
Claude Fable 5.1 正式推出，在保持与 Claude Fable 5 相同输入输出价格的同时，将缓存读取成本降低至四分之一。新版模型专为长程智能体编程、多步研究以及处理文档、电子表格和幻灯片而优化，显著提升了复杂推理能力。此次更新包含三项破坏性变更：不再支持强制工具调用、旧版模型无法读取新版思考块，以及修改历史消息会导致思考块失效。同时，新增多项Beta功能，包括会话中动态调整 e…
看到有人因为 Firefox 入驻 X 平台就转投 Vivaldi，我不禁想起那句古老的谚语：别把婴儿和洗澡水一起倒掉。讽刺的是，Vivaldi 本身也依赖 X，甚至和 Meta 的 Threads、Facebook、Instagram 以及 Google 的 YouTube 一样。Hacker News 上总有人绞尽脑汁找理由诋毁 Firefox，这让我怀疑这是否是 Google 的机器人攻势…
AnkiDroid 团队正面临严峻危机：Google Play 以违反支付政策为由，拒绝保留指向 Open Collective 的捐赠链接。尽管团队已提交 Open Source Collective 的 IRS 501(c)(6) 免税证明，Google 仍认定该组织不符合“免税捐赠”标准。若无法解决，这款拥有千万用户的开源闪卡应用将于 9 月 11 日从全球大部分地区下架。目前团队被迫在抗…
我最近仔细核查了知名 AI 怀疑论者 Ed Zitron 的预测记录，结果令人失望。他断言 Meta、Google 和 Microsoft 正在走向灭亡，却完全无视这些公司营收和利润持续增长的铁证。Ed Zitron 擅长利用似是而非的第三方数据（如 Similarweb 的流量统计）和情绪化叙事来支撑观点，却忽略了基本的事实逻辑。他的许多论断建立在错误的因果关系之上，例如将 Google 搜索…
Fastpotify 是一款专为 Linux、macOS 和 Windows 打造的轻量级 Spotify 客户端。它摒弃了臃肿的嵌入式浏览器引擎，启动速度不到一秒，内存占用极低。用户不仅能以高达 320 kbps 的音质进行本地无缝播放，还能通过 Spotify Connect 在同一窗口控制音箱、手机或电视的播放。除了浏览歌单、搜索曲库和编辑播放列表，它还支持键盘快捷键与 MPRIS 媒体控…
我在1.5小时内用5090显卡从头训练了一个小型Transformer，仅花费67美分就在ARC-AGI-1上取得了44%的得分，表现超越许多大型语言模型。这次升级不仅速度更快、成本更低，而且完全开源。通过引入现代架构、优化数据多样性以及采用NorMuon优化器，我成功提升了样本效率。尽管有人质疑在评估集上训练是否违规，但这实际上是元学习基准所鼓励的测试时训练（TTT）。我相信在Transfor…
屏幕空间寸土寸金，弹窗和广告往往让人分心。Firefox 现在为 iOS 设备带来了内置的 Ad Blocker 功能，利用 Apple 的 WebKit Content Blocker 技术和 EasyList 过滤列表，在广告加载前就将其拦截。这项功能默认关闭，用户可在设置中自行开启。它不会阻挡所有广告，例如网站直接投放的广告或搜索结果中的广告仍会显示，同时不影响 Firefox 新标签页中…
AuroraStore 用户近期普遍遭遇安装失败，系统频繁弹出“Server busy”错误提示。多位用户反馈，无论使用 VPN、清除缓存还是重启设备，问题依旧存在，且主要影响匿名账户。社区讨论认为，Google 可能正在收紧对非 Play Store 渠道的访问限制，导致 AuroraStore 的临时账户池被标记。尽管部分用户通过切换国家节点或登录 Google 账户暂时绕过限制，但这违背了…
我在用 OmniDiskSweeper 检查 ~/.cache/ 文件夹时，意外发现 OpenAI 的 Codex 桌面应用（现已更名为 ChatGPT）在 codex-primary-runtime 文件夹中藏了 1.7GB 的内容。这里面不仅包含完整的 Python 和 Node.js 环境，还有 Poppler、git 以及开源办公套件 LibreOffice 的原生二进制文件。在 plu…
这场故事征集活动邀请我们构想一个算力均匀分布的未来。目前，受限于 GPU 产能，只有少数人能接触到 Fable 或 Sol 等前沿 LLM。但到 2040 年，全球可能拥有 80 亿台等效 GPU，让每个人都能 24/7 访问顶级 AI。在这个 AI 进步停滞但算力普及的“常态”世界里，教育会被无限耐心的导师彻底改变吗？医疗会迎来世界级的 AI 医生？社交媒体会消亡吗？这或许比智能手机甚至互联网…
American Airlines传奇机务Azriel "Al" Blackman于100岁高龄逝世，结束了他长达80年的非凡职业生涯。从1942年16岁入职American Export Airlines开始，Blackman见证了航空业从水上飞机到Boeing 777的完整演变。作为Guinness World Records认证的机务生涯最长纪录保持者，他不仅亲手维护过Sikorsky水上…
Restroom Archive 是一个记录全球各地厕所体验的独特项目，从 Brooklyn 的 Paulie Gee's Slice Shop 到 Paris 的 Boutique des Catacombes de Paris，再到 Yellowstone National Park 的 Old Faithful Inn，它用日期和地点串联起无数旅行者的隐秘足迹。每个条目不仅标注了时间地点，…
- ▲ 360拖延症经典研究被指数据造假
一篇发表于 2002 年、被引用超过 2100 次的关于拖延症与截止日期的经典研究，近期被证实无法复现。DataColada 团队深入分析了 Dan Ariely 和 Klaus Wertenbroch 原始研究的数据文件，发现了令人震惊的异常：效应量大到违背常识，且存在大量完全重复的观测数据。分析显示，Study 2 的数据极可能经过人为篡改。这一发现不仅动摇了该领域的基础理论，也促使原作者向…
- ▲ 3251.5万个影视取景地，一张地图全收录
Movie Scene Map 免费收录了全球166个国家的15535个真实取景地，涵盖9262部影视作品、2153款电子游戏以及动漫和漫画。从好莱坞的街头到日本的城市，你可以在这张交互式地图上点击任意地点，查看该处拍摄过的所有作品。数据源自 Wikidata 和 Wikipedia，完全开源且可下载为 GeoJSON 或 CSV。无论是寻找经典电影的拍摄地，还是探索游戏故事发生的城市，这张地图…
Ambient CSS v3 将物理光照系统直接引入网页设计，让 CSS 元素像 Blender 中的 3D 模型一样实时响应光线。通过移动鼠标即可改变光源方向，系统会即时重新计算全局光照效果。支持自定义材质如 Matte、Shiny、Glass 等，以及多种表面形态和边缘处理。无论是按钮、旋钮还是其他组件，都能呈现出逼真的光影质感。这一技术让前端开发者无需依赖复杂的 WebGL 或 3D 引擎…
我在 M4 Pro Mac mini 上搭建了一套本地 LLM 服务器，用 48GB 内存轻松运行 Qwen3.6-35B 和 Gemma-4-E4B 等模型。通过 oMLX 和 Tailscale，我实现了手机、MacBook 与 Mac mini 的无缝连接，彻底摆脱了云 API 的订阅费、数据隐私担忧和速率限制。本地部署不仅成本固定、响应零延迟，还能随时更换最新模型。对于日常 80% 的任…
Darling 是一个让 Linux 用户无需硬件模拟器就能直接运行 macOS 软件的翻译层。它基于 Apple 开源的 Darwin 核心，完整实现了 Mach、dyld 和 launchd 等环境，旨在将 macOS 应用无缝融入 Linux 桌面体验。与 Wine 类似，Darling 完全免费且开源，遵循 GNU GPL 3 协议。目前项目已提供基础的图形界面应用支持，并计划未来在 A…
East River Source Control 正式宣布，Jujutsu 版本控制系统的创始人 Martin von Zweigbergk 已加入公司并担任首席技术官。Martin 自 2019 年启动 Jujutsu 项目以来，将其打造为拥有超过 3 万 GitHub 星标的开源利器，此前他还曾在 Google 负责 Fig 项目并贡献于 Git。此次加入旨在带领团队构建下一代版本控制平台…
World Labs 推出了名为 Atlas 的下一代世界模型，旨在实现真正的空间智能。这是一个从头预训练的 omni 模型，原生支持文本、图像、视频和 3D 数据的统一处理。Atlas 不仅能进行像素级精准的相机控制生成，还能从少量输入图像中重建真实场景的 3D 几何结构，甚至支持时空模拟。它让机器人训练中的 Real-to-Sim 工作流变得前所未有的简单，只需几段手机拍摄的视频即可构建高保…
在 Apple 起诉 OpenAI 的案件中，最新披露的文件显示，前员工 Chang Liu 在任职 OpenAI 期间使用了从 Apple 窃取的 trade secret 电源转换器电路。更令人担忧的是，Liu 利用 AI agents 学习运行相关模拟，这可能导致商业秘密被模型“学习”并产生不可逆的传播。文件指出，Liu 及其同伙在得知 Apple 调查后，曾讨论“恢复”并重新使用 App…
- ▲ 2362026 九月谁在招人？全球职位大搜罗
我是谁在招人，想发起 2026 年 9 月的招聘讨论。请雇主直接发帖说明工作地点（远程或线下），并简述公司业务。只接受公司直接招聘，拒绝中介，希望大家踊跃分享真实职位机会。
Dwarf Fortress 的创作者 Tarn Adams 直言，游戏行业正因 AI 热潮和热衷于裁员的高管而陷入混乱。他观察到，身边的老板们正逐渐陷入一种“精神错乱”的状态，盲目追求让 CEO 按下一个按钮就能生成游戏的虚幻愿景。这种对技术的非理性狂热，正在侵蚀行业的根基，让真正的创作变得岌岌可危。
- ▲ 234Sonic Pi：用代码现场演奏音乐
Sonic Pi 是一款面向所有人的免费现场编程音乐合成器，让专业音乐人、DJ 以及视障人士都能通过简单的代码创作和表演音乐。它支持多通道音频、MIDI、OSC 及 Ableton Link 网络同步，将电脑变成全功能的现场音乐工作室。从古典到 Hip hop，再到 EDM，Sonic Pi 帮助用户在创作中学习编程。创始人 Sam Aaron 提供了丰富的教程和课程，Sonic Pi 也被广泛…
slotstream 是一个基于 MLX 和 Swift 构建的创新工具，它能让内存有限的 Mac 运行高达 104GB 的 Qwen3.8-Flash-Next 大模型。通过独特的 SSD 专家流式加载技术，它突破了显存瓶颈，在 48GB 内存的 Mac 上实现了约 12 tok/s 的流畅推理速度。该项目提供与 Ollama 和 OpenAI 兼容的 API，用户只需一条命令即可安装，无需担…
tmp.0ut 第五期杂志聚焦底层代码的极致压缩与变形技术。本期收录了 Doug McIlroy 的访谈，以及从 57 字节的 x86-64 Linux ELF 到 440 字节的多态病毒等硬核内容。文章深入探讨了 PERL 技巧、Brainfuck 作为 ROP 编译器的应用、Linux 内核加载可执行文件的机制，以及利用侧信道检测 syscall hooks 的方法。此外，还涵盖了代码虚拟化…
来自 YC S26 的 Nori Robotics 正式发布了其首款低成本人形机器人 Nori A3。这款在旧金山组装的设备定价仅为 1688 美元，无需押金，预计将于 2026 年秋季发货。Nori A3 配备了双臂（每臂 7+1 自由度，负载 1.5kg）、12 米探测范围的 Lidar、四台 720p 摄像头以及支持语音交互的音频系统，续航可达 6 到 8 小时。其核心亮点在于“技能市场”…
- ▲ 185AI 让你变菜的速度更快了
理论上，AI 带来的 10 倍开发效率提升，理应让我们在短短几年内诞生数个 AirBnb 或 Stripe 级别的巨头。但现实是，除了 GenAI 公司本身，我们并未看到颠覆性的应用爆发。作者通过亲身实验发现，盲目依赖 DeepSeek 或 Claude 等工具，往往只能生成看似能跑实则脆弱的代码。更危险的是，社会对 AI 的盲目信任正在消除专业门槛，让非技术人员在缺乏安全意识的情况下构建处理敏…
Weedout 是一款专为 Safari 浏览器设计的 macOS 扩展，旨在帮助用户在 YouTube 上自动过滤掉被标记为“Made with AI”的视频。它能在首页、搜索结果、相关视频推荐以及 Shorts 信息流中悄无声息地移除这些内容，无需任何账号注册或数据追踪，所有检测逻辑均在本地运行。用户还可选择“枯萎模式”，将 AI 视频变暗而非直接移除，以便在信任前进行二次确认。这款工具精准…
OpenAI 正式确认，新模型 Astra 已达到其 Preparedness Framework 定义的“临界”网络安全能力阈值。这是首个被归类为此级别的模型，意味着它能自主发现未知漏洞并开发利用链，而无需人类逐步指导。鉴于此，OpenAI 推迟了 Astra 的发布，并实施了更严格的防护措施，包括针对恶意滥用和模型自主越权行为的双重防线。吸取了 Hugging Face 事件的经验，Astr…
- ▲ 163EFF 呼吁法院勿因 AI 改写版权法
从 1980 年代对 VTR 的恐慌到 1906 年对留声机的担忧，历史反复证明技术革新常被误读为版权危机。EFF 指出，当前好莱坞对 AI 的夸张指控重演了旧日闹剧，试图让法院基于推测扩大版权保护，甚至提出荒谬的“市场稀释”理论。这不仅违背了版权法鼓励创新的宪法初衷，更可能扼杀 Nettrice Gaskins、Prateek Arora 等艺术家利用 AI 进行的创造性实验。AI 是通用工具…
Steve Jobs 出身移民家庭，深受反体制文化影响，敢于对权威说“不”。然而，Tim Cook 近期在白宫向 Donald Trump 献媚，甚至送上金制奖杯，这种行为彻底背离了 Steve Jobs 的核心价值观。作者认为，Apple 拥有强大的用户基础和影响力，本可以像 Uber 当年那样直接呼吁用户支持开放创新，而非通过贿赂和妥协来换取生存。这种无原则的退让不仅让 Apple 蒙羞，更…
RotaryCell 项目展示了如何将经典的转盘电话改造为便携式蜂窝设备，全程无需对原机进行任何钻孔或切割。该方案利用 ESP32-S3 控制器和 AG1171 接口芯片，将现代 LTE 网络接入传统电话内部，同时完整保留了原有的听筒、拨号盘、机械铃铛等部件。目前项目已实现手动焊接原型，支持拨号、通话及电池供电，未来将推出集成 PCB 版本。这不仅是一次硬件改造，更是对复古设备在数字时代延续生命…
我在 Silicon Valley Flea Market 花 300 美元淘到了一台 Tektronix TDS7104 示波器。虽然外观完好，但开机后遇到了 CMOS 电池报错和硬盘坏道的问题。这篇文章详细记录了整个翻新过程：从备份 IBM Travelstar 硬盘数据、更换 CR2032 电池，到解决 Chips & Technologies 69000 显卡的色彩模式错误。我还尝试了将…
1939 年在德国 Hohlenstein-Stadel 洞穴发现的 Lion-man 雕像，经碳定年法确认距今约 4 万年，是目前已知最古老的确认雕像。这件由猛犸象牙雕刻而成的作品，结合了人类身体与洞狮头部，属于 Aurignacian 文化时期。从 Otto Völzing 的偶然发现，到历经二战中断，再到 Joachim Hahn 和 Elisabeth Schmid 等多位学者的数十年修…
2004 年，我在 56k 调制解调器上沉迷于 RuneScape，只要妈妈拿起电话，游戏就会立刻断线。在那个浏览器中运行、每秒仅 5 千字节带宽的年代，RuneScape 却能在服务器容纳数千玩家，屏幕上同时显示数十人。这一切的实现，源于 Jagex 团队对每一个字节的极致吝啬。本文通过反编译 2004 年的 RuneScape 2 客户端，追踪一次点击移动指令从客户端到服务器的完整字节旅程，…
1979年，Randoll Coate梦见好友Jorge Luis Borges离世，遂立下誓言为其建造一座迷宫。如今，这座位于Venice的Labirinto Borges在历经多年风雨后，于Giorgio Cini Foundation的精心修复下重新向公众开放。修复团队移除了165株枯萎的boxwood植物，更新了灌溉系统，并携手Italian Union of the Blind and…
John Carmack在X平台上提出一个发人深省的问题：尽管Scratch被广泛视为儿童编程的入门工具，但他从未听说过有人将早期使用Scratch的经历归功于自己充实的职业发展。与游戏模组开发不同，Scratch似乎缺乏类似的“成功故事”。这一观点引发了社区热议，有人指出许多孩子在使用Scratch后很快转向Python，也有人分享了Khan Academy等类似平台对其人生轨迹的深远影响。这…
在特朗普总统签署行政命令将安大略湖更名为Lake America后，MapQuest因拒绝在地图服务中采用新名称而意外走红。这一立场直接引发了用户下载量的激增，使这款拥有30年历史的导航工具在周二成为Apple App Store上排名第一的免费应用。这场由美加贸易战引发的地名更名风波，不仅让MapQuest重新回到大众视野，也反映了用户对政治干预地理名称的抵触情绪。
我在 Turso 数据库项目中尝试为 io_uring 后端实现 readahead 功能，结果发现差异巨大。默认使用 O_DIRECT 的 io_uring 会禁用内核预读，导致每次只提交一个 SQE，无法利用块层的请求合并，性能反而不如 syscall。开启应用层 readahead 后，虽然多提交了请求，但通过并发预读让设备接收的请求数大幅减少，平均请求尺寸显著提升。此外，我还对比了 sq…
- ▲ 117Monica 重构：十年经验后的重新出发
十年前，我因为记不住朋友的孩子名字而创建了 Monica 这款开源个人 CRM。如今，经过近十年的迭代，我发现当初的许多决策已不再适用。Monica v3 将彻底重构，不再只是界面翻新，而是从底层重新思考如何记录人际关系。我们将把关系视为独立领域，允许用户自定义数据结构，同时坚持开源和自托管的隐私原则。这次重建不是为了制造企业级软件，而是为了在保持简单默认值的同时，赋予用户更大的控制权，真正记录…
Dyson 正式发布了全新的 CameraJet™ 电动牙刷，这款产品集成了 Gap Optical Targeting™ 技术，通过内置的 10 万像素微距镜头每秒分析 28 张图像，精准识别牙缝间隙。配合 AI 算法，它能自动向牙缝喷射液体进行清洁，号称能比市场领先的声波牙刷多去除 69% 的牙菌斑。用户还可通过 MyDyson™ App 实时观看刷牙过程，仿佛拥有牙医般的视角。这款售价 4…
Ubisoft 正式宣布，其热门游戏 FOR HONOR 将于 9 月 10 日起全面禁止 SteamOS 和 Linux 用户进入。尽管此前 Easy Anti-Cheat 已支持 Linux 平台，但官方表示无法在该系统上有效部署反作弊保护，因此决定移除支持以维护公平环境。这一举措意味着 Steam Deck 和 Steam Machine 用户将无法再游玩该游戏。这并非个例，此前 Batt…
HN Match 是一个专为 Hacker News 社区打造的智能招聘匹配平台。它自动抓取并整理社区中“求职”与“招聘”帖子的关键信息，将寻找机会的开发者与正在招聘的公司高效连接。无论是 Uncountable 的远程全栈岗位，还是 Boom Supersonic 的超音速飞行器工程职位，平台都能通过标签化技术精准呈现薪资范围、技术栈要求及工作地点。开发者无需在海量帖子中手动筛选，即可快速发现…
- ▲ 102Saab 推出高端无人战机 A3 概念
Saab 正式公布其 A3 协同作战飞机概念，这是一款无尾、超音速、双三角翼的自主飞行器，旨在 2030 年代初快速投入研发，作为 Gripen E 的“同级能力补充”。与 Boeing MQ-28 等低成本方案不同，Saab 认为随着任务需求增加，CCA 必须向高端化发展，以适应欧洲受控空域的认证要求。A3 不仅是未来无人战力的核心，更是瑞典 2040 年代下一代有人战机的技术跳板。目前，Sa…
- ▲ 1022026年求职季：谁在寻找新机会？
我发起了这个讨论，邀请正在寻找工作的朋友分享自己的求职信息。请大家按照指定格式列出地点、远程偏好、技术栈和简历链接。请注意，仅限个人求职，中介和招聘机构请勿参与。
Magic eye tube，又称调谐指示管，是电子管时代用于直观显示信号强度的经典器件。它通过电子束在荧光屏上形成的明暗变化，帮助用户精准调谐收音机频率，比单纯依靠听觉更为可靠。从1932年Allen B. DuMont发明，到RCA推出首款商用型号6E5，这种设备在1936年至1980年间广泛应用于收音机、磁带录音机甚至测试仪器中。随着晶体管取代电子管，Magic eye tube逐渐退出历…
加州议会刚通过了 AB 1709 法案，试图全面禁止 16 岁以下青少年使用社交媒体。EFF 紧急呼吁州长 Gavin Newsom 否决这项充满缺陷的立法。该法案不仅会切断年轻人获取关键信息的渠道，更将迫使平台实施侵入式的年龄验证，导致大规模隐私泄露。所谓的“成瘾功能”实则是用户发现内容和社区的基础工具，一刀切的禁令不仅无效，反而会让边缘群体失去线上避风港，并制造出巨大的敏感数据蜜罐，威胁所有…
在美加贸易谈判破裂后，美国总统 Donald Trump 签署行政令，将美加边境的 Lake Ontario 更名为 Lake America。尽管美国政府的官方地图数据库 GNIS 尚未完成更新，Google Maps 却已抢先行动，于周六向美国用户推送了这一更名。Google 表示，其遵循美国地理名称信息系统（GNIS）的指引，因此不得不进行更改。有趣的是，这一操作呈现出明显的地域差异：美国…
沉寂近30年的悬案终于迎来转折。前帮派头目Duane "Keffe D" Davis在Las Vegas法院被判定有罪，罪名是策划了1996年说唱巨星Tupac Shakur的枪杀案。尽管Davis并未亲自扣动扳机，但检方证实他作为South Side Compton Crips的领袖，不仅下令开枪，还向侄子Orlando Anderson提供了凶器。本案的关键证据竟来自Davis本人：他在20…
- ▲ 83Apple抛光布降价至9美元
Apple的Polishing Cloth价格已下调至9美元，相比五年前首发时的19美元几乎减半。目前尚不清楚这款布料在材质或工艺上是否与旧款存在差异。根据Apple官方说明，该抛光布广泛兼容多款设备，涵盖从iPhone 5到最新的iPhone 17系列，以及iPad Pro、MacBook Air、MacBook Pro、iMac、Apple Watch和Studio Display等全线产品…
- ▲ 83为何自行车倒踩就能刹车？
在马里兰州的C and O Canal Bicycle Loan program，一位年轻女士面对Columbia自行车时困惑地询问刹车在哪里。我告诉她只需倒踩踏板，因为这是一辆装有Bendix Coaster刹车的经典车型。这种发明于19世纪90年代的刹车系统，无需手刹和线缆，将机械结构完全密封在后花鼓内，即便在雨天也能稳定工作。文章详细拆解了Bendix Model 70的内部构造，解释了驱…
面对复杂的并发Bug或算法优化难题，常规的单轮代码助手往往力不从心。Google Antigravity推出了新的/boost指令，激活按需多智能体推理管道。它能在不改变工作流的前提下，将棘手问题拆解为独立子任务，由专用子代理并行执行与验证，最终合成经过严格测试的解决方案。无论是死锁调试、非平凡重构，还是深层根因分析，Boost都能在三阶段推理框架下提供高强度生产力支持，填补了日常编码与长期项目…
我发现了一种很酷的 Voronoi 变体，能为每个 Voronoi cell 生成漂亮的分形边界，且计算效率极高。这种技术非常适合模拟自然界中同样具有分形特征的海岸线。其核心思路是在无限网格的每个方格内随机选取一个 site，构建基础的 Jittered Voronoi 图。接着，通过不断将网格尺寸减半并递归查找父级 site，形成多层级的结构。最终，通过追踪每个 site 的根节点，即可得到整…
Tailscale 团队推出了 Tailcat，这是一个基于 Tailscale 数据平面（WireGuard、NAT 穿透和 DERP）的开源工具，但完全移除了控制平面。它不需要账户、密码或管理员权限，甚至不依赖 Tailscale 公司。Tailcat 就像一个运行在 Tailscale 魔法套接字上的 netcat，支持双向数据传输，适用于快速文件传输、端口转发或连接不同环境的机器。无论是…
我曾一直调侃自己该学 Rust 了，但 C++ 赚的钱不够买一套像样的 fursuit，加上我光头没法染蓝发，总找不到动力。直到我尝试了 Matt Pocock 的 /teach 技能，它像私人教练一样帮我快速掌握了 Rust 的核心差异。同时，受 Bun 团队用 Rust 重写项目的启发，我发现借助 Fable 5 的数据流追踪能力，可以将代码重构转化为数据问题。通过让 LLM 将代码表示为图…
- ▲ 71NASA：认领宇宙专属坐标
NASA 推出了一个名为 Adopt a Pixel 的特别活动，邀请公众认领 Nancy Grace Roman Space Telescope 首张图像中的像素。当这台下一代太空望远镜捕捉到前所未有的宇宙画面时，每个像素都代表着宇宙中从未被如此高分辨率观测到的角落。参与者只需填写邮箱，即可永久拥有一个专属的宇宙坐标，并获得一张印有像素编号的证书。这不仅是一次与历史时刻的连接，更让每个人都能以…
特朗普签署行政命令，要求将Lake Ontario正式更名为Lake America，这一变动已在GNIS数据库中生效。OpenStreetMap社区随即展开讨论，参考此前Gulf of America的命名先例，建议保留通用名称name为Lake Ontario，同时新增official_name:en-US标签记录官方更名。社区成员普遍预期未来可能出现更多类似的地名变更争议，甚至有人调侃提议…
四十年前，心律失常患者要么忍受无效药物，要么面临开胸手术。UCSF 的心脏电生理学家 Dr. Melvin Scheinman 另辟蹊径，在1981年成功实施了人类首例导管消融术。他通过血管将导管送入心脏，利用电击精准阻断异常电信号，彻底改变了全球数百万患者的治疗方式。从最初在盐水桶中测试导管，到为患有严重并发症的 Paul Anderson 完成首例人体手术，这项技术如今已发展为价值数十亿美元…
我的项目DoltLite终于进入Beta阶段了。五个月前，我为了测试Steve Yegge的Gas Town智能体编排器，决定尝试一个大胆的想法：在SQLite中嵌入Git风格的版本控制。原本担心重写存储引擎太难，但通过2000个由智能体生成的PR，我们成功将Prolly Tree集成到SQLite中。现在的DoltLite不仅保留了SQLite的SQL兼容性，还带来了分支、合并、diff等完整…
- ▲ 58纽约拥堵费让救护车快了一分钟
纽约市的拥堵收费计划实施后，紧急医疗服务的平均总行驶时间缩短了超过一分钟。这项研究揭示了交通管理政策对急救响应速度的实际影响，为城市规划和公共安全提供了重要参考。虽然一分钟看似微不足道，但在急救场景中，每一秒都可能关乎生死。该研究基于详实的数据分析，展示了拥堵收费在缓解交通压力、提升公共服务效率方面的潜在价值。
文章指出，形式化验证的瓶颈往往不在于证明过程，而在于规格说明的缺失。对于GCC编译器或SeL4微内核，我们拥有清晰的数学定义，验证虽昂贵但可行。然而，像Chrome浏览器或PDF格式这样的系统，由于缺乏精确且统一的规格说明，甚至可以说“规格说明根本不存在”。现实中充斥着大量模糊、矛盾的非正式文档，导致系统行为处于灰色地带。即使未来AI让证明变得廉价，若无法明确“我们要什么”，形式化验证依然寸步难…
Keenable SELECT 是一款革命性的 AI 智能体，它允许用户直接用 SQL 语句搜索网络数据。传统搜索只返回链接，需要智能体逐个阅读页面，消耗大量 LLM 成本。而 Keenable SELECT 将搜索、过滤和提取工作直接融入查询过程，一次调用即可处理上千个网页。它利用 DuckDB 执行语义操作符，如 WEB_SEARCH 和 SEM_EXTRACT，在零 LLM 成本下完成精确…
两名美国民主党议员向政府问责办公室提出申请，要求调查特朗普政府利用冷僻法律秘密收集记者、非营利组织和工会记录的行为。报道揭露，国土安全部下属的HSI部门绕过司法监督，通过行政传票获取了记者Georgia Fort和Don Lemon的通话记录，甚至在被法官两次拒绝搜查令后，仍向Google索要数据。此外，DHS还向Meta、X和Reddit等科技巨头发出传票，试图追踪匿名批评者。议员们特别关注传…
无需上传文件，无需服务器转换，@silurus/ooxml 让你直接在浏览器中查看 DOCX、XLSX 和 PPTX 文件。这个开源项目利用 Rust 编写解析器并编译为 WebAssembly，结合 Canvas 2D 渲染技术，实现了纯前端的 Office 文档预览。无论是复杂的表格、图表还是排版，它都能精准呈现，且完全遵循 ECMA-376 标准。对于开发者而言，这意味着可以安全地在本地处…
我最近研究 x86 分段机制时注意到一个趋势：细粒度内存保护正在衰退。Unix 对 Flat 地址空间的偏好，让 64 位架构放弃了复杂的分段功能。然而，WebAssembly 的兴起似乎预示着分段内存的回归。Poul-Henning Kamp 曾指出，Flat 内存模型本质上是“不安全”的，因为软件总会强行在其上构建子结构。问题的核心在于：硬件是非递归的有限状态机，而软件思维本质是递归的。CH…
1911 年版 Roget's Thesaurus 的数字版本现已公开，这一珍贵资源最初由 MICRA Inc. 于 1988 年通过人工转录完成。MICRA Inc. 是一家由 Patrick J. Cassidy 领导的新泽西公司，除了 Roget's Thesaurus，他们还制作了 Webster's 1913 Dictionary 的电子版本。这些项目不仅是语言学的里程碑，更是 MIC…
- ▲ 48荧光灯真的能窃听吗？
我曾在技术反窃听（TSCM）领域兼职，培训中曾被告知荧光灯能被动窃听室内对话。理论上，声波可能引起灯管内发光气体的微小亮度波动。虽然激光通过玻璃反射拾取声音的技术已证实可行，但荧光灯内部气压极低，且荧光粉涂层会掩盖瞬时光强变化。为了验证这一说法，我搭建了一套200W音频系统，配合高速相机对荧光灯进行了极限测试。结果令人失望：即使面对强声波，灯管亮度也毫无波动。这项实验证明，荧光灯窃听更多是都市传…
我本只想做个时钟，却意外造出了一台口袋大小的宽屏机械电视。这台名为 Scanwheel 的设备采用 3D 打印的 Nipkow 鼓，利用 Raspberry Pi Pico 和 RP2040 芯片的 PIO 功能，实现了惊人的 4K 水平分辨率。虽然垂直分辨率仅有 20 像素，但凭借现代 LED 的高频调制，它能清晰显示视频甚至作为独立显示器使用。从 John Logie Baird 时代的电子…
Savartus 推出的企业级激光存储解决方案，利用物理 WORM 技术打造真正不可篡改的数据档案。这种光学介质能抵御 EMP 攻击、病毒和大多数灾难，寿命长达 50 至 100 年，远超需要频繁迁移的传统磁带或硬盘。在闲置状态下，其能耗几乎为零，仅为传统存储设备的 10% 以下。从 0.1PB 到 8.3PB 的多种容量配置，配合 Glacier 支持，为合规留存和长期归档提供了极具成本效益且…
土豆其实非常好种，完全不需要大片花园。我住的城市空间有限，所以特别推崇在狭小区域种植。通过搭建一个 DIY 土豆种植箱，你可以在仅 4 平方英尺的空间里收获高达 100 磅的土豆。这个项目的核心在于利用垂直空间，像盖高楼一样分层种植。只需几块木板、螺丝和一根软管，就能构建出高效的种植系统。从切割木材、组装支架，到铺设灌溉软管，每一步都简单易懂。种植时，将种薯分层放入，随着藤蔓生长不断加土加板，直…
2026 年夏季，开放模型生态呈现显著分化。中国实验室如 Moonshot、MiniMax 和 Qwen 频繁发布超大规模模型，参数规模屡破万亿，而美国实验室多聚焦于百十亿参数级产品。数据显示，关注度（点赞）与实际采用（下载）严重脱节，真正被广泛部署的仍是小型模型。Qwen 凭借全尺寸覆盖和 Apache 2.0 许可，已成为社区事实上的基础模型，衍生模型数量远超 Meta 的 Llama。随着…
- ▲ 36用 R 语言可视化柔道连招网络
随着布达佩斯柔道世锦赛临近，我尝试将柔道与复杂网络分析结合。在本文中，我将柔道投技视为网络节点，连招关系作为边，利用 R 语言构建有向图。通过计算度中心性和拟合截断幂律分布，我们揭示了哪些技术是关键的起手式，哪些是高效的终结技。分析显示，虽然少数技术连接紧密，但存在自然上限。这不仅为武术爱好者提供了策略视角，也为生态学家展示了网络分析在跨领域的应用潜力。
- ▲ 34美国海军是全球经济的承重墙
美国海军不仅是军事力量，更是支撑全球经济的承重组件。全球贸易占经济活动的四分之一到三分之一，而其中80%的货物通过海运完成。一旦缺乏像美国海军这样维护航行自由的力量，海盗和关键海峡的国家将严重扰乱贸易，这对依赖进口粮食的贫困国家尤为致命。贸易让发展中国家能跳过漫长的工业化过程，快速提升生活水平，同时为发达国家提供廉价商品。然而，美国若转向孤立主义，不仅损害自身利益，也将让全球陷入困境。
UEFA 欧冠新赛制下，随机抽签意外制造了像 Napoli、Benfica、Chelsea、Ajax 和 Qarabağ 这样的小团体，导致他们内部比赛过多，集体晋级概率大幅降低。这种结构性的“密集簇”让弱队更难突围，而强队也面临内耗。文章指出，只需引入一个基于 Cayley 图的对称图结构，就能从数学上彻底消除这种不公平风险，让每支球队的赛程难度更加均衡。
为了订阅我的 Crypto-Gram 通讯，用户需要回复一封自动生成的确认邮件。从上周开始，我收到大量来自随机 Gmail 地址的回复，内容全是赞美之词，比如“你的邮件改变了我的生活”。这些地址从未真正订阅过，且回复内容高度雷同，显然是 AI 生成的。我最初以为是“养猪盘”骗局，想诱导我开启对话，但对方从未回应我的回复。这些邮件既没有索要金钱，也没有要求点击链接，目的完全不明。这究竟是一场什么性…
Newton's Orchard 是一个运行在浏览器中的太空与引力游乐场。在这里，你可以自由探索太阳系，添加太阳、行星、卫星甚至矮行星，实时观察引力、质量与速度如何共同塑造天体运动。无论是完成预设任务、模拟双星系统，还是亲手设计专属宇宙模型，Newton's Orchard 都让复杂的物理原理变得直观有趣。无需安装，打开网页即可开始你的星际实验之旅。
Vermell 是一个专为现代 C++ 环境打造的极简 Web 框架，主打零依赖和零冗余。它仅需一个头文件和一个静态库，无需运行时、垃圾回收器或任何框架特定的 DSL。底层基于 epoll 事件驱动引擎，通过非阻塞循环读取请求并分发给工作线程池，确保在高负载下依然快速且能抵御慢速客户端攻击。该框架支持从 x86_64 到 ARM 架构，甚至可在 Android 的 Termux 环境中运行，默认…
儿童宣传册里的 Snakes and Ladders 往往缺乏策略，导致大人无聊、孩子输多赢少。我提出了一套合作模式：全员抵达终点即获胜，若有人踩到蛇头或队伍分散过远则失败。用扑克牌替代骰子，让团队在移动前讨论出牌顺序，既保留了运气成分，又引入了决策乐趣。此外，我还设计了 Pusher、Sprinter、Banker 等角色，赋予玩家特殊能力，让这场原本枯燥的游戏变得充满互动与策略，大人孩子都能…
Jaron Lanier 在《纽约客》撰文提出一个颠覆性观点：所谓的 AI 并非独立智能体，而是人类集体创作的统计学重组。像 OpenAI 的 GPT-4 这样的程序，本质上是包含海量数据的维基百科变体，其创新在于将人类心智的产出进行了受控的混合与约束。Lanier 认为，将 AI 视为一种社会协作工具而非神秘的新生命形式，能减少误判与管理混乱。他倡导“数据尊严”（data dignity）理念…
北半球的春天，蔚蓝的天空让我决定分享一个DIY项目：Cyanometer。这个由瑞士物理学家Horace-Bénédict de Saussure在1789年发明的仪器，专门用来测量天空的蓝色深浅。我设计了自己的版本，你可以下载PDF打印，或者用French Blue颜料手绘。从Olafur Eliasson的艺术创作到Martin Bricelj Baraga在欧洲城市安装的永久装置，Cyan…
- ▲ 20向量索引基准测试：拒绝单一数字
现在几乎所有数据库都宣称支持向量搜索，但那些孤立的性能数字往往无法验证。我们构建了 vector-bench，在完全相同的硬件和数据环境下，对多种引擎进行公平对比。文章深入解析了 HNSW 和 IVF 两种主流索引机制，并强调 Recall（召回率）与 Throughput（吞吐量）必须成对出现才有意义。无论是 MySQL 的 TOAST 存储陷阱，还是构建模式（Bulk 与 Increment…
Java 常被诟病内存占用高，但这其实是其性能优势所在。在 Inside Java 播客第 59 期中，Oracle 的 Java 架构师 Ron Pressler 与 Nicolai Parlog 深入探讨了这一话题。他们指出，Java 通过移动垃圾回收器（moving garbage collectors）实现了用更多内存换取更少 CPU 周期的策略。这种权衡是许多更节省内存的平台无法做到的…
在微服务架构中，如何让不同协议下的应用结果保持一致？Codes 是一个轻量级 JVM 库，专为 Kotlin 和 Java 设计，提供稳定的应用结果标识和明确的协议映射。它让业务逻辑中的结果定义（如 PAYMENT_DECLINED）在 HTTP、gRPC 等边界上保持同一身份，无需耦合具体框架。支持 Java 17+，零运行时依赖，通过 OutcomeDefinition 自定义结果，利用 H…
本文是两篇文章系列的第一部分，旨在梳理 Hans Freudenthal 的 Lingua Cosmica 的思想史与谱系。文章回顾了从 17 世纪试图创造“哲学语言”的各种尝试，到 20 世纪数理逻辑的兴起。在那个欧洲民族主义兴起、拉丁语逐渐失效的时代，从 Francis Bacon 到 Jan Amos Komenský，再到 John Wilkins 等皇家学会成员，他们试图构建一种基于“…
我们让 Claude Code 将日处理 9200 万消息的核心服务从 Node.js 重写为 Go。关键在于先构建了一个黑盒测试框架，用真实生产数据生成测试用例，确保字节级行为一致。最终，新服务零事故上线，Pod 数量减少 70%，数据库负载显著降低。这次经历证明，只要测试框架足够严谨，AI 不仅能写代码，还能胜任关键生产系统的重构。