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