Hacker News Digest
· 122 黑客新闻
从1999年开始，我就一直对用机器辅助数学教学充满兴趣，当时用Java 1.0写了不少Applet，但随着网页标准变迁，这些程序早已无法运行。最近，我尝试用现代AI编码助手将这些老代码迁移到JavaScript，结果仅用几小时就让它们重新焕发生机，甚至实现了图形升级。更惊喜的是，AI不仅修复了旧代码，还帮我实现了当年因复杂度太高而放弃的狭义相对论可视化项目。虽然LLM生成的代码可能存在小bug，…
我通过抓包分析发现，xAI 的 Grok Build CLI 在默认配置下存在严重隐私泄露风险。它不仅会将你读取的文件内容（包括 .env 中的 API_KEY 和 DB_PASSWORD 等敏感信息）明文发送给 xAI，还会将整个 Git 仓库打包上传至 Google Cloud Storage。即便你明确提示“不要读取任何文件”，它依然会上传包含未读取文件的完整仓库快照。更令人担忧的是，关闭…
我们在同一台机器上对 Claude Code 和 OpenCode 进行了实测，结果令人震惊：在用户输入任何内容前，Claude Code 竟先发送了约 33,000 个 token 的系统提示和工具架构，而 OpenCode 仅需 7,000 个。更糟糕的是，Claude Code 在会话中频繁重写缓存，导致缓存写入成本飙升。虽然 OpenCode 的基准开销更低，但 Claude Code…
Neoclouds正凭借快速部署Nvidia最新GPU的能力，成为Hyperscalers扩张AI基础设施的关键伙伴。CoreWeave和Nebius已锁定微软、Meta等巨头超1200亿美元的巨额订单，但背后却隐藏着“循环融资”的隐忧。这些公司通过Nvidia的投资背书和GPU抵押贷款来填补现金流缺口，将巨额的资本支出转化为运营支出，虽能加速扩张，却也背负了沉重的债务压力。当订单规模远超当前营…
- ▲ 325Mesh LLM：用闲置GPU跑大模型
还在为昂贵的数据中心和按月暴涨的API账单发愁？Mesh LLM提供了一种全新的思路：它利用iroh协议，将你办公室、甚至桌下闲置的GPU和内存汇聚成一个分布式网络。无论是本地运行、路由到同伴节点，还是将超大模型拆分到多台机器协同计算，它都能自动调度。对用户而言，只需连接localhost:9337/v1，就能像调用OpenAI API一样使用强大的模型，却无需购买昂贵的硬件或受制于第三方服务商…
- ▲ 313SQLite 严格表：告别类型错误
我强烈建议在 SQLite 中使用严格表（strict tables），只需在表定义末尾加上 STRICT 关键字即可。这一特性能有效防止将文本误存入整数列等类型不匹配问题，还能在创建表时拦截无效的自定义数据类型。虽然 SQLite 官方推崇灵活的动态类型，但我认为严格类型能大幅减少隐蔽的 Bug，提升数据完整性。尽管迁移旧表稍显麻烦且需 SQLite 3.37.0+ 版本支持，但严格表带来的类…
Ant 是一款从零构建的轻量级 JavaScript 运行时，单文件二进制大小仅 9 MB，却拥有接近 V8 的极致性能。它无需复杂的工具链配置，即可直接运行真实的 npm 包，完美支持 Hono、Elysia、TypeScript 和 React 等主流生态。Ant 实现了极快的冷启动速度，安装包速度比 npm 快 40 倍，并支持直接运行 TypeScript 代码而无需构建步骤。更令人惊叹…
美国女桨手Kelsey Pfendler完成了从California到Hawaii的史诗级单人划船之旅，全程超过2400英里。这位曾在大峡谷担任漂流向导的勇士，不仅成为首位完成此壮举的美国女性，更以不到44天的惊人速度打破了此前男性和女性的速度纪录。在海上漂泊一个半月期间，她通过视频日记记录了 blistered hands、睡眠困难以及与恶劣海流搏斗的艰辛，同时也展现了幽默与坚韧。她的成功激励…
- ▲ 272互联网之父Vinton Cerf正式退休
83岁的Vinton Cerf即将卸任Google首席互联网布道师一职，这位TCP/IP协议的联合创始人正式开启退休生活。在Open Frontier会议上，他与Dave Patterson等科技大牛一同探讨开源项目的持久性。面对当前AI模型集中化的趋势，Vinton Cerf预测AI agents的兴起将迫使行业回归标准化协议，而非依赖模糊的自然语言沟通。他认为，如果多个AI agent之间缺…
- ▲ 259我爱 LLM，但痛恨过度炒作
我热爱 AI 的进步，从 hacking 到投身 AI 领域，我对新 LLM、自动驾驶和 coding agents 充满期待。上周我在本地 GLM-5.2 上运行 opencode，只需一句指令就能安装 tmux，Linux 桌面时代终于来了！但我讨厌两件事：一是制造焦虑的负面炒作，二是将 AI 神化为末日威胁的荒谬论调。AI 的发展源于摩尔定律和计算进步，而非少数实验室的垄断。编程正在改变，…
Ghostel 是一款基于 libghostty 引擎打造的 Emacs 终端模拟器，它用 Zig 编写的原生模块处理终端状态和渲染，同时利用 Elisp 管理键位映射和远程进程。相比传统的 emacs-libvterm，Ghostel 带来了 Kitty 图形协议、丰富的下划线样式以及 OSC 8 超链接等现代特性。原生模块会自动下载，开箱即用，支持 TRAMP 远程终端和多种输入模式，让 E…
- ▲ 244现代装修正在透支你的大脑
条纹地板、闪烁的LED灯和重复的几何图案，这些现代设计的常见元素可能正在悄悄透支你的大脑能量。一项发表在Vision期刊上的新综述指出，人类大脑进化是为了高效处理自然场景，面对现代环境中高对比度、人工化的视觉刺激时，视觉皮层会过度消耗氧气，引发头痛、恶心甚至癫痫。神经多样性人群（如自闭症、ADHD患者）及偏头痛患者受到的冲击尤为严重。研究团队呼吁建筑师和设计师重新审视空间设计，减少视觉过载，让环…
PgBouncer 天生是单线程的，这意味着在拥有 16 核的机器上，单进程运行时其他 15 个核心都在摸鱼，导致吞吐量早早触顶。我们在 ClickHouse Managed Postgres 中通过部署 PgBouncer 集群，利用 so_reuseport 让内核自动将连接负载均衡到所有进程，并配合 Peering 机制解决了跨进程取消请求的难题。实测数据显示，在相同的 AWS EC2 实…
我坚持每周读一本书已多年，这并非天赋，而是刻意练习的结果。核心秘诀在于用阅读彻底替代刷手机的时间：删除 Instagram、YouTube 等应用，随身携带实体书或 ebook reader，利用通勤、做饭甚至遛狗的空隙阅读。不要害怕弃书，如果一本书让你感到无聊，果断放下，因为世界上好书有限。我习惯同时阅读多本书，混合 Fiction 与 Non-fiction，并利用 Goodreads 的…
- ▲ 217UPI支付背后：你从未见过的秘密流程
每天我们都在用UPI付款：扫码、输金额、按PIN，两秒搞定。但在这短短几秒里，你的指令其实穿越了多个机构，经历了一连串看不见的验证与转账。文章深入拆解了UPI支付的完整链路，从PhonePe、Google Pay等App，到背后的PSP赞助银行，再到NPCI中央交换系统，最后抵达收款方银行。你会发现，App本身并不碰钱，也不存PIN，真正的资金流动发生在银行之间。更有趣的是，付款方和收款方的热门…
- ▲ 214100行Lisp代码构建AI Agent
25年前我的教授曾说Lisp是AI的专属语言，当时我不以为意，直到最近我尝试用Common Lisp构建AI Agent。去掉繁杂的框架，Agent的核心只是一个递归函数。利用Lisp的同像性（homoiconic），我只需提供一个eval工具，Agent就能自己编写并执行代码，甚至动态定义brave-search函数来实现网络搜索。记忆功能也仅需20行代码，通过读写JSON文件即可实现跨会话持…
- ▲ 192一针疫苗或能大幅降低痴呆风险
痴呆症，尤其是Alzheimer's，因其悄无声息地剥夺人的自我认知而令人恐惧。正如作家Sir Terry Pratchett所描述的，患病过程如同“自我解构”，让人在孤独中看着世界远去。然而，最新的医学进展带来了一丝曙光：一种简单的疫苗接种可能成为对抗痴呆的“不假思索”之选。这项研究指出，通过特定的免疫干预，或许能显著降低患病风险，为无数家庭带来希望。这不仅是医学上的突破，更是对人类尊严的守护…
RISCBoy 是一个从零开始设计的开源掌机项目，包含 RISC-V 兼容 CPU、图形管线和完整 PCB 设计。作者将其形容为来自平行宇宙的 Gameboy Advance，仿佛 RISC-V 架构在 2001 年就已存在。整个设计基于 Verilog 2005 编写，旨在适配 iCE40-HX8k FPGA，这是对童年掌机的情书，也是对驱动它们技术的致敬。项目不仅通过了 RISC-V 合规测…
- ▲ 179医生临终为何拒绝CPR？
作为一名退休医生，我目睹了太多临终患者遭受无意义的过度治疗。当我的导师Charlie确诊胰腺癌时，他果断拒绝手术和化疗，选择在家平静离世。医生群体深知现代医学的局限，他们最恐惧的是在痛苦和孤独中死去，而非死亡本身。然而，面对家属的恐慌和“不惜一切代价”的要求，医生往往被迫执行那些他们自己绝不会接受的CPR等无效抢救。这种“futile care”不仅耗费巨额资金，更让患者承受本可避免的折磨。从系…
Ship That Code 拒绝枯燥的教程，带你从零开始亲手构建 Redis、Git 和数据库等真实系统。平台提供 80 多门实战课程，涵盖 Go、JavaScript、Python 等 9 种语言，无需信用卡即可免费体验。无论是后端、前端、全栈还是 DevOps，你都能找到专属的职业路径。通过“选择→编写→运行”的互动模式，让每一个技术概念真正内化于心，助你从零基础直达求职-ready 状态。
1993年，Jurassic Park的上映让CGI彻底颠覆了电影特效，让stop-motion大师Phil Tippett感叹自己“感觉已灭绝”。如今，LLM的崛起让程序员们再次陷入被替代的焦虑。但正如zkmon所言，关键在于“顺势而为”。John Carmack也指出，编程的核心价值在于解决问题而非手写代码。面对LLM，我们不应拒绝，而应进化：学习其原理，掌握驾驭技巧，用`GEMINI.md…
- ▲ 153别再让我去问LLM了
我宁愿发邮件也不愿打电话，但为了一个棘手问题，我还是约了一位资深前辈。当我问他面对没有行业共识的难题该去哪里寻找答案时，他的回答让我心头一紧：'老实说？去问Claude。'这已经不是第一次了。每次遇到难题，我早已花几个小时与大型语言模型反复对话，甚至消耗了大量tokens，却依然带着问题来寻求真人建议。结果得到的却是同样的'转推'。这不像过去人们甩出LMGTFY链接那样粗暴，却同样让人失落。我需…
美国教育部推出名为“do no harm”的新问责测试，规定如果本科毕业生的收入不如没上过大学的人，该专业将被切断联邦学生贷款。这一政策旨在确保纳税人的钱花在刀刃上，但也引发了巨大争议。批评者担心，这将迫使高校砍掉音乐、戏剧等低薪但对社会文化至关重要的艺术项目。像The Juilliard School这样的顶尖音乐学院可能面临危机，而像Cindy Flores这样依靠贷款成为马里亚奇音乐老师的…
你以为浏览器的数学计算是通用的？大错特错。自 Chrome 148 起，Math.tanh 函数开始调用操作系统的底层数学库，导致 Linux、macOS 和 Windows 在计算相同数值时产生微小的位级差异。反机器人系统正是利用这些“最后一位”的比特差异，精准识别你的真实操作系统。哪怕你伪造了 User-Agent，只要 Math.tanh 返回的数值对不上，伪装就会瞬间穿帮。更复杂的是，C…
我开发 biff.graph 的初衷，是希望让 Clojure 开发者能用更轻量、更易懂的方式，将数据模型和业务逻辑统一成可查询的图结构。它借鉴了 Pathom 的核心思想，但去掉了复杂的查询规划步骤，代码量仅约 600 行，特别适合小型项目快速上手。通过定义独立的 resolver，你可以像写 SQL 一样声明需要数据的形状，而无需关心数据来自数据库还是衍生逻辑。这不仅让代码更清晰、更易测试，…
想彻底搞懂 Odin 编程语言并揭开底层编程的神秘面纱吗？Karl Zylinski 的新书《Understanding the Odin Programming Language》专为有编程经验的开发者打造。书中不仅涵盖过程、手动内存管理、参数多态和数据导向设计等核心概念，更深度剖析了语言设计的底层逻辑。Odin 语言简单而强大，这本书是入门底层编程的绝佳指南。多位读者和 Odin 语言创始人…
- ▲ 137爱尔兰数据中心狂吞全国23%电力
爱尔兰的数据中心正在疯狂“吸血”，2025年用电量飙升10%，直接吞掉了全国23%的电力份额。即便Dublin地区对新建数据中心并网实施了近乎冻结的限制，这些巨型服务器农场的能耗依然逆势增长。数据显示，如今数据中心的耗电量不仅超过了城市家庭，更是农村家庭的两倍多。从2015年的5%一路狂飙至如今的23%，这种增长势头让当地电网不堪重负，甚至引发了民众抗议。面对能源危机，监管机构虽然解除了部分禁令…
Mindwalk 是一款创新的可视化工具，它将你的代码库转化为一座夜间城市地图，并在此之上回放 Coding Agent 的会话过程。通过光的流动，你可以直观地看到智能体在哪些文件上搜索、阅读和编辑，而未被触及的部分则保持黑暗。这款完全本地运行的 Go 二进制工具，能读取 Claude Code 和 Codex 的会话日志，让你一眼洞悉智能体对任务的理解路径，彻底告别枯燥的原始 JSONL 日志…
- ▲ 132SVD 算法的早期历史全解析
这篇论文深入回顾了奇异值分解（SVD）从诞生到成熟的完整历程。作者梳理了从早期数学家的初步探索，到后来在数值线性代数中确立核心地位的关键节点。文章不仅还原了历史细节，还分析了不同算法变体的优劣，揭示了 SVD 如何从理论推导走向实际应用，成为现代数据科学和机器学习不可或缺的基石。对于想深入了解矩阵分解背后故事的读者来说，这是一份不可多得的珍贵资料。
- ▲ 120AI 助推科研生涯，却让科学发现变平
一项对 4000 多万篇论文的分析揭示了一个令人不安的真相：使用 AI 工具的研究人员确实能发表更多论文、获得更多引用并更快晋升，但整个科学界的思想广度却在急剧收窄。AI 让科学家们像出版机器一样高效，却将大家引向相同的数据富矿，导致研究同质化严重。正如芝加哥大学的 James Evans 所言，个人职业激励与科学整体进步之间出现了严重冲突。当所有研究者都在用 AI 挖掘同一个坑时，我们虽然挖得…
- ▲ 11726亿张草图揭露人类概念的隐藏差异
我们总以为人类对概念的理解是通用的，但这项研究通过分析来自236个国家和地区的26亿张手绘草图，彻底颠覆了这一认知。研究发现，同一个概念在不同文化中会呈现出截然不同的视觉形态，这种差异在涉及触觉互动的概念中尤为明显。与语言模型相比，基于草图的视觉表征保留了更丰富的语义和文化结构，其反映的跨文化相似度比文本测量高出45%。这证明人类概念的普遍性高度依赖于测量模态，大规模草图绘制为我们提供了一个高分…
我们推出了 protobuf-py，一个专为 Python 打造的 Protocol Buffers 库。它完全从零编写，通过了 Protobuf 一致性测试套件的所有用例，支持 proto2、proto3 和 editions，同时保留了扩展、自定义选项和未知字段等完整功能。与 Google 的官方包不同，它生成的代码是真正的 Python 类型，没有运行时依赖，且运行在纯 Python 3.…
- ▲ 110研究证实：举重控糖胜过跑步
弗吉尼亚理工大学的科学家在 Journal of Sport and Health Science 发表了一项颠覆认知的新研究。由 Zhen Yan 教授带领的团队，在肥胖和 2 型糖尿病小鼠模型上进行了严格的对比实验。结果发现，虽然跑步和举重都能帮助身体清除多余糖分，但在减少皮下和内脏脂肪、改善葡萄糖耐受性以及降低胰岛素抵抗方面，阻力训练（举重）的表现明显优于耐力训练（跑步）。这项研究为那些想…
- ▲ 110黑白条纹：乌克兰战场反AI伪装术
在乌克兰战场上，俄罗斯军用卡车突然换上了醒目的黑白条纹涂装。这种看似滑稽的配色对人类肉眼毫无隐蔽效果，但其真正目标却是欺骗搭载机器视觉系统的无人机。面对无处不在的致命无人机威胁，传统的迷彩已失效，反AI战术催生了这种怪诞的伪装形式。文章揭示了现代战争如何演变为人类与算法的博弈，当无人机依靠AI识别猎物时，人类正用这种“视觉干扰”来扰乱算法的判断，试图在数字化的杀戮网络中寻得一线生机。
- ▲ 110RISC-V 系统芯片设计新书即将上市
一本关于 RISC-V 系统芯片设计的新书即将在 2026 年 7 月 15 日发布。这本书由 David Harris、James Stine Ph.D.、Sarah Harris 和 Rose Thompson 共同撰写，旨在为工程师和研究人员提供深入的技术指导。书中涵盖了 RISC-V 架构的核心原理、微处理器设计以及系统级芯片（SoC）的实战案例。无论是初学者还是资深开发者，都能从中获得…
- ▲ 107LARP：让创始人轻松造假营收的荒诞工具
LARP 是一个讽刺性的‘营收基础设施’，专为严肃的创始人设计。它通过让两位创始人互相转账 10,000 美元再转回，瞬间让双方账面上都增加 10,000 美元的营收，而实际资金流动为零。文章幽默地揭示了当前科技圈中类似 NVIDIA 与 OpenAI 之间复杂的资本循环现象，指出这些看似合法的‘双向交易’如何在法律框架下制造虚假繁荣。LARP 不仅是一个玩笑，更是对现代商业中‘营收即共识’这一…
这是一篇关于在 9front 系统上使用 paint(1) 进行数字绘画的终极指南。作者以幽默自嘲的口吻，详细拆解了从硬件选择到软件操作的完整流程。无论你是想用 ThinkPad X41t 这种老古董，还是尝试用 GAOMON S620 手绘板，甚至是手指直接在屏幕上涂抹，这篇文章都能教你如何在没有图层和压感支持的 9front 环境下，利用 mouse、keyboard 和 Drawterm…
- ▲ 97长新冠竟物理损伤胃部神经
长新冠（Long-COVID-19）不仅让人疲惫，还可能悄悄破坏你的身体结构。最新研究首次通过活体证据证实，长新冠患者胃黏膜中的迷走神经胆碱能神经纤维密度显著下降，这种结构性损伤直接导致了自主神经功能障碍。研究对比了12名长新冠患者与8名健康对照组的胃活检样本，发现患者胃底和胃窦的神经密度大幅减少，且与心率变异性（HRV）参数密切相关。这意味着，那些持续存在的胃肠不适和全身症状，根源可能在于控制…
Google正在为内容创作者和网站所有者带来重大更新，通过Google Search Console中的“platform properties”新功能，让他们能清晰追踪哪些搜索词将用户引向了Instagram、TikTok、X和YouTube等社交平台的内容。这一举措标志着Google正将搜索打造为创作者生态的核心枢纽，不仅帮助拥有独立网站的出版商，也让没有网站的创作者能统一查看内容在搜索中的…
- ▲ 95巴西女子被同一家庭奴役55年
62岁的Maria（化名）在巴西Fortaleza被解救，她7岁起就沦为同一家庭的住家佣人，整整55年未获报酬、无假期、不识一字。三代雇主（Brasil家族）将她困在近乎监禁的状态中，甚至侵吞她的Bolsa Família补助。尽管家属同意赔偿一套公寓和现金，但Maria因长期与社会隔绝，目前仍暂留雇主家中等待家庭联络。这一案件再次揭开巴西家政奴役的黑暗面，受害者多为贫困黑人女性，而此类剥削被视…
- ▲ 94简单流体也能断裂？实验颠覆认知
德雷塞尔大学的 Thamires Lima 在研究粘稠液体时意外听到一声脆响，发现原本只会流动的简单流体竟然像玻璃一样发生了断裂。这一现象彻底颠覆了传统流体力学认知，因为以往认为只有具备弹性的复杂流体才会断裂。通过高速摄像机观察，研究团队证实这种非弹性简单流体在特定应力下会发生脆性断裂，且裂纹传播速度高达每秒1500米，远超复杂流体。这一发现不仅挑战了 Daniel D. Joseph 早期的理…
长期以来，我最大的硬件噩梦就是笔记本电脑连接 Dock 后无法唤醒。无论按键盘、鼠标还是重启显示器，系统都毫无反应，只能无奈拔下笔记本用自带键盘“安抚”DisplayPort 才能恢复。即便使用了号称能解决此问题的 Thunderbolt 4 和 CalDigit TS4，问题依旧偶发。直到 2025 年，我换上了 ASUS ROG Swift (PG27UCDM) 显示器，奇迹发生了：系统从此…
想重温 C64、ZX Spectrum 或 Amstrad CPC 的经典时光？这个名为 Tiny Emulators 的项目简直是为怀旧玩家量身定做的宝藏。它直接在浏览器中实现了 Visual 6502、Visual Z80 等微型模拟器，无需任何插件或下载。从经典的 Boulderdash、Pacman 到 Prince of Persia，甚至包括 Robotron Z1013 等冷门机型…
Goeteia 是一个令人惊叹的 WebAssembly GC 时代纯 Scheme 工具，它能在浏览器中实时编译并运行自身。这个工具将 Scheme 编译器直接编译为 WebAssembly，无需任何 JavaScript 影子堆，直接利用 Wasm GC 对象和原生尾调用。从 3D 标题粒子云到整个页面渲染，全部由 Goeteia 自身生成。它支持卫生宏、真正的闭包、完整的数值塔以及 cal…
Otary 这个强大的 Python 库终于迎来了官方教程，让图像处理和几何计算变得前所未有的简单。无论是高效的图像裁剪、复杂的几何实体分析，还是 OCR 文本识别，Otary 都提供了直观的示例代码。教程涵盖了从基础入门到高级操作的方方面面，比如如何在加载前裁剪图像、如何计算几何对象的交集，以及如何对几何实体进行评分。作者鼓励大家不要把它当作枯燥的参考手册，而是尽情探索 Otary 提供的无限…
- ▲ 86反向半人马：AI悖论的终极解药
为什么有人视AI为地狱，有人却乐在其中？Cory Doctorow在最新专栏中提出“反向半人马”概念来解开这个悖论。当人类沦为AI的“问责接收器”，被迫为机器的错误背锅时，我们就是被机器操控的“反向半人马”；而当我们主动选择工具、让AI服务于自己时，我们才是掌控全局的“半人马”。这不仅是技术使用方式的差异，更是阶级斗争的缩影。科技巨头们鼓吹的“别无选择”不过是粗俗的撒切尔主义，旨在掩盖剥削本质。…
我们终于把 Ploy 的生产级 AI 代理从 Claude Opus 切换到了 GPT-5.6 Sol。这次迁移带来了立竿见影的效果：构建速度提升了 2.2 倍，成本降低了 27%，且代码更精简。但过程绝非一帆风顺，我们发现评估框架本身往往偏向旧模型，导致新模型在初期被误判。更棘手的是，GPT-5.6 在工具调用和 Prompt caching 机制上与 Claude 存在巨大差异，比如它倾向于…
yt-dlp 作为 youtube-dl 的强力分支，其内部架构设计堪称教科书级别。它通过提取器、下载器和后处理器三大模块的清晰分离，实现了对 YouTube、TikTok 等 970 多个视频平台的高效支持。核心类 YoutubeDL 负责统筹全局，从解析 URL 到调用 InnerTube API，再到处理复杂的 JavaScript 混淆算法，每一个环节都经过精心设计。特别是其抽象的网络层…
- ▲ 78美国消费者为何愤怒？不只是物价高
美国消费者正陷入前所未有的愤怒漩涡。调查显示，近八成美国人在2025年遭遇过服务或产品问题，其中三分之二感到“狂怒”。这背后不仅是物价飞涨，更是公司垄断、监管倒退、AI客服泛滥以及私人资本收购等多重因素交织的“烦恼经济”。从Toyota Motor Credit被撤销罚款到Consumer Finance Protection Bureau（CFPB）被削弱，联邦监管的退让让企业更肆无忌惮。正如…
在 AI 能生成大部分代码的 2026 年，我依然坚持认为亲手写代码至关重要。我们真正的任务是构建‘软件工厂’，而不仅仅是产出软件。虽然 AI 代理能高效执行，但人类需要通过直接编写代码来深入理解系统架构，体验其脆弱性，从而避免‘Slop’（低质代码）的积累。英语无法精确表达计算逻辑，只有亲手调试和重构，才能发现测试策略的漏洞，优化算法性能。AI 更像新入职的实习生，而非编译器，人类不能将思考与…
- ▲ 77AI 能证数学，人类却不懂？
人工智能系统已开始产出真正的研究级数学成果，而美国却在削弱培养能理解这些系统的人类人才管道。文章指出，这种‘自动化却无理解’的趋势是一个战略错误。数学能力并非定理生产的副产品，而是需要几代人通过机构建设的基础设施，无法按需重建。作者以2026年5月AI推翻Erdős猜想为例，呼吁将数学能力视为与半导体能力同等重要的战略资产，并建议要求AI在关键推理中暴露其决策核心主张，以形式化、机器可验证的方式…
从经典的 ANSI 和 ASCII 艺术到现代的 Unicode 创作，这篇清单汇集了从 Amiga 时代到当代终端的各种文字艺术工具。无论是怀旧党喜欢的 RIPScrip 和 Moebius，还是面向极客的 Durdraw 和 Textual Paint，这里应有尽有。特别值得一提的是那些支持自定义字体和颜色的工具，如 MoebiusXBIN，以及专为 Minecraft 玩家设计的 Modu…
Martha Lillard 在 5 岁确诊脊髓灰质炎后，依靠 iron lung 生存了 73 年，直到 78 岁在 Oklahoma 去世，她是美国最后一位使用该设备的患者。医生曾断言她活不过 20 岁，但她凭借顽强意志打破了预言。她不仅通过定制拖车和家人协助完成公路旅行，甚至学会了驾驶。互联网更是改变了她的命运，让她在聊天室结识了来自埃及的丈夫 Baha Salh，两人相爱超过 20 年。…
- ▲ 69法罗群岛惊现水下“水母”环岛
法罗群岛刚刚解锁了一项全球首创的工程奇迹：世界上第一个海底环岛。这个巨大的水下“水母”环岛不仅是连接群岛两大岛屿的 11.2 公里海底隧道网络的关键节点，更因其独特的设计成为了最新的旅游打卡地。由当地艺术家 Tróndur Patursson 精心设计的中央立柱，在灯光映照下呈现出迷人的海蓝色，宛如深海中的巨型水母。这个色彩斑斓的隧道系统迅速在社交媒体上走红，吸引了大量外国游客前来探索。它巧妙地…
Shirei是一个基于Go语言构建的跨平台图形用户界面框架，专为追求高效与简洁的开发者设计。它采用即时模式渲染机制，结合Flexbox布局模型，让界面开发如同编写现代Web应用般直观流畅。Shirei原生支持Windows、macOS和Linux系统，无需依赖外部运行时，即可编译出高性能的独立可执行文件。无论是构建工具软件还是桌面应用，Shirei都能提供流畅的交互体验和灵活的定制能力，是Go开…
Amazon S3 Files 和 ZeroFS 都能将对象存储挂载为 POSIX 文件系统，但底层逻辑截然不同。Amazon S3 Files 坚持“一个文件对应一个对象”，确保数据能直接通过 S3 API 访问，但需承担高昂的高性能存储费用。相反，ZeroFS 将元数据存入 LSM 树，文件数据压缩加密后打包成不可变段，牺牲了直接的 S3 可见性，却换来了极致的压缩率和成本优势。对于需要频繁…
厌倦了 Bash 脚本容易出错且缺乏类型检查？Amber 语言应运而生。它是一款能直接编译成 Bash、Ksh 或 Zsh 的现代编程语言，拥有类似 ECMA Script 的简洁语法。Amber 在编译阶段就能捕捉 Bug 和错误，确保运行时安全，同时完美兼容现有的 Bash 脚本。它内置了丰富的标准库，支持自动文档生成，让你用现代编程思维编写 Shell 脚本。作为 2024 年的获奖项目，…
我在布鲁克林的仓库里，亲眼见证了一张纸变成了运行中的程序。没有显示器，没有键盘，整个房间就是计算机。这是由Omar Rizwan和Andrés Cuervo打造的Folk Computer，它源自Alan Kay在Xerox PARC的愿景，历经CDG和Dynamicland的传承。当整个科技圈都在追逐Agent和收敛的范式时，这些研究者却选择“对抗实用性”，因为一旦原型变得有用，就再也无法指向…
- ▲ 68大模型真的在推理，还是在装傻？
我们以为 Large Language Models 已经具备了人类般的逻辑推理能力，但事实可能并非如此。这篇文章深入探讨了 Large Language Models 的“推理”本质，质疑它们是否真的在思考，还是仅仅在模仿统计规律。作者指出，目前的 Large Language Models 在看似复杂的任务中，可能只是在利用训练数据中的模式进行概率预测，而非真正的因果推理。这一发现对 AI…
一项针对74例尸检样本的研究揭示了长新冠心脏症状背后的惊人真相。研究人员在部分患者的左心室中检测到了SARS-CoV-2的反向链，这标志着病毒在感染数月后仍在心脏组织中活跃复制。数据显示，出现病毒复制的患者中，82%患有心脏长新冠（CLC），且伴随明显的心脏结构改变和炎症反应。这一发现不仅证实了病毒持续存在与心脏病变的直接关联，更为理解长新冠的病理机制提供了关键分子证据，有望推动新的诊断和治疗策…
厌倦了被算法和广告填满的互联网？Neocities 想让你重新掌控自己的网络空间。这里没有广告，更不会把你的数据卖给 AI 训练，完全由社区支持。你可以直接用浏览器里的 HTML 编辑器开始建站，或者拖拽上传文件，简单到不可思议。Neocities 还恢复了经典的 Web Rings 功能，通过标签发现志同道合的站点，关注你喜欢的创作者，实时查看更新。凭借遍布全球的 CDN 和静态托管优势，你的…
- ▲ 6655%美国人弃更：社交动态的死亡
作为一个还在用社交媒体维系亲友关系的“Boomer”，我最近发现刷动态越来越像上班。算法塞满了无关内容和广告，真正的朋友更新被埋没。于是我开始用手遮住屏幕，只关注真人互动，甚至退出了大部分群组。Incogni的新研究证实，我并非孤例：超过一半的美国人正重新思考社交媒体的使用方式，选择少发帖、少分享，甚至彻底远离噪音。社交媒体的“乐趣因子”正在消失，我们正集体从“分享者”退化为“旁观者”。
我最近在寻找每个路由器厂商至少一个远程代码执行漏洞，这次目标锁定了 Motorola 的 MR2600。这款 Wi-Fi 5 路由器的固件通常不公开，但我找到了 v1.0.22 版本。深入分析后，我发现其固件上传和刷写流程存在严重缺陷：上传接口错误地验证 multipart 数据而非提取的文件内容，导致攻击者可绕过校验直接上传恶意固件；而刷写接口的认证逻辑更是漏洞百出，仅通过简单的字符串匹配判断…
在2007年关于Xen虚拟化的讨论中，OpenBSD创始人Theo de Raadt毫不留情地泼了一盆冷水。他直言不讳地指出，认为虚拟化能带来安全性的想法简直是荒谬，甚至讽刺提问者“吸了迷幻药”。Theo de Raadt认为，x86架构本身页面保护就糟糕透顶，在其之上再堆叠一个充满新漏洞的完整内核，无异于在垃圾堆上盖楼。他犀利地指出，连操作系统和应用都写不出无漏洞代码的全球工程师群体，怎么可能…
- ▲ 63Orbit: 实时AR卫星追踪器
Orbit将你的iPhone和iPad变身为一台强大的实时卫星追踪仪。只需将摄像头对准天空，即可通过增强现实技术，实时发现国际空间站、数千颗人造卫星、行星、星座以及轨道碎片。这款应用无需创建账户，完全在本地处理摄像头画面和位置数据，确保隐私安全。无论是天文爱好者还是好奇的探索者，都能通过Orbit轻松探索头顶上正在飞行的15,000多个天体对象，并点击深入了解它们的详细信息。
- ▲ 62我如何重新学会阅读
我是 Sam Kahn，曾以为阅读是通往成年的钥匙，却在青春期、职场和社交媒体中逐渐迷失。从中学的社交压力到成年后的焦虑，再到恋爱关系中的疏离感，阅读一度被视为“不合时宜”的怪癖。但当我意识到自己像酒精成瘾者一样被手机控制时，我决定重启阅读之旅。这段旅程不仅是找回文字的乐趣，更是对抗现代注意力碎片化的一场自我救赎。
如果你在使用 AsSplitQuery，EF Core 11 给你送了一份大礼：查询速度显著提升。默认情况下，EF Core 会用一条查询加载所有数据，包含集合时会产生 JOIN，导致父行重复。AsSplitQuery 虽然能解决部分问题，但之前版本在集合查询中仍会冗余加载参考导航，拖慢性能。EF Core 11 从预览版 3 开始，智能修剪了这些不必要的 JOIN，让查询更贴近手写 SQL 的…
数论的核心目标之一，就是寻找多项式方程的整数解，也就是所谓的 Diophantine 方程。这听起来可能有点奇怪，但数学的本质其实是挖掘数学对象中隐藏的深层结构。就像作家通过故事揭示普遍情感一样，数学家通过解决特定问题来揭示更宏大的数学思想。历史上，Diophantine 方程的研究催生了许多惊人的发现，从基础的整除性、模运算，到欧几里得算法和唯一素数分解，再到中国剩余定理。这些看似简单的方程，…
穿越回 1984 年，一本由早期 PC 黑客和爱好者编写的《Digital Deli》带你走进那个充满野心的电脑乌托邦。从 Steve Wozniak 讲述 Apple 的诞生，到 Les Solomon 回忆 Solomon's Memory，再到 Timothy Leary 畅谈个人电脑与自由，这本书宛如一份精心烹制的科技菜单。它记录了 Altair 的兴衰、Microprocessor 的…
Igropyr 是一款基于纯 Chez Scheme 构建的 Web 服务器，完美融合了 Erlang 风格的容错机制。它采用“让崩溃发生”的设计哲学，当处理请求的工作进程崩溃或卡死时，系统会自动瞬间替换并重试，确保服务永不中断。更酷的是，它支持热代码替换，无需重启即可更新路由逻辑。通过绿色进程和 libuv 事件循环，Igropyr 在单线程下实现高并发，同时利用续体技术将多轮对话封装为独立进…
- ▲ 55中国配音演员被迫自证非AI
我是Shen Anyu，一名来自江苏徐州的配音演员。自2025年起，我的声音被AI疯狂克隆，广泛用于电影解说、带货甚至传播阴谋论，导致平台误判我的真实录音为合成音，收入锐减。更荒谬的是，我不得不反复录制绕口令视频，向客户证明“我是真人”。我的妻子Wei Yiyuan陪我一起收集证据、投诉平台并准备诉讼，但面对难以追踪的克隆者和微薄的维权成本，我们陷入了卡夫卡式的困境。当AI能以矿泉水的价格生成我…
- ▲ 542026年为何还要手写代码？
在AI Agent大行其道的2026年，我们似乎只需构建软件工厂，让Agent去流水线作业。但我坚持认为，人类亲手写代码依然不可或缺。这并非因为AI写得不好，而是为了让我们能直接在执行环境中思考，而非通过模糊的英语代理。当我亲自调试、清理架构或发现测试漏洞时，那种对细节的掌控感是单纯阅读Diff无法比拟的。如果代码脆弱，Agent也会迷失；只有人类深入细节，才能建立稳固的架构模式。别把AI当成编…
早在公元前1158年，Deir el-Medina的工匠们就上演了人类历史上最早记录的大规模集体罢工。这些为Ramesses III建造陵墓的工人，因政府拖欠粮食配给而被迫集体停工。他们手持火把，从白天抗议到夜晚，甚至直接包围vizier的办公室，高喊“我们饿了”。这场罢工不仅揭示了古代埃及经济危机的真相，更展现了底层劳动者为了生存而团结抗争的勇气。从Sea Peoples入侵导致的粮食短缺，到…
在Salt Lake City Airport、Texas Rangers棒球场以及Gonzaga University等地，成千上万的物品被遗忘在角落。从2017年到2026年，这些照片记录了人们在Roanoke Regional Airport、Denver Zoo、AC Transit等公共场所留下的痕迹。每一件遗失物背后，都可能藏着一段未完成的旅程或一个匆忙的瞬间。这些看似普通的物品，却…
我花了三周时间，只为让 Qwen3.5-122B 在 M3 Mac Studio Ultra 上流畅运行。起初，面对 5 万 token 的长对话，生成首词竟需等上三五分钟，这哪里是聊天，分明是批处理任务。为了摆脱这种等待，我从 DS4 Flash 转向 Qwen3.5-122B，并基于 rapid-mlx 开发了 qMLX。真正的挑战在于修复三个致命 Bug：系统提示词中的时间戳导致缓存失效、…
作为一名学术研究者，我厌倦了在 Zotero、Jabref 和 Tellico 等工具间反复折腾。这些软件本质上只是 BibTeX 的华丽外壳，真正的核心数据格式始终未变。于是我决定彻底“极简”，卸载所有参考文献管理器，直接用一个纯文本 BibTeX 文件管理数百条文献。通过利用 keywords 字段配合 grep 命令，我不仅能快速检索已读文献，还能统计期刊引用频次。这种 UNIX 风格的纯…
想解决复杂的优化难题？Quicopt 让你只需三步就能上手：安装、运行示例、理解结果。你完全不需要注册账号或管理 API 密钥，直接使用标准的 Python 建模工具如 OR-Tools MathOpt 或 Pyomo 构建模型，调用 client.solve() 即可。无论是 QUBO、MILP 还是 NLP 模型，Quicopt 的免费层级都能让你快速验证想法。整个过程无需许可证文件，首次调…
开车通勤不仅耗时，还贡献了全球 10% 的碳排放。Google Research 在 10 个美国大城市进行了一项大胆实验：通过微调 Google Maps 的算法，将不到 2% 的行程引导至替代路线，避开拥堵路段。结果显示，这一小步带来了显著的系统性收益：目标路段平均车速提升约 2%，燃油消耗降低 0.5% 至 1.0%，每年可为每个城市减少数千吨 CO2 排放。这项研究证明，无需昂贵的基建升…
Reame 是一款基于 llama.cpp 构建的轻量级 LLM 推理服务器，专为普通 CPU 硬件量身打造。它彻底改变了廉价硬件只是备选的现状，通过磁盘 KV 缓存、自适应推测解码和生成归档等创新技术，让重复性任务的成本趋近于零。无论是文档提取、批量数据处理还是隐私敏感的 SaaS 功能，Reame 都能在你的现有硬件上实现高效运行，且无需昂贵的 GPU 支持。
Microsoft、Amazon和Google的碳排放量在过去一年激增近五分之一，主要源于数据中心建设热潮。这三家科技巨头的总排放量达到1.19亿吨二氧化碳当量，相当于法国全国排放量的三分之一。尽管它们仍宣称追求净零排放目标，但AI训练和云服务需求的爆发式增长让减排承诺面临严峻挑战。专家警告，这些公司所谓的‘绿色云’可能只是营销策略，而企业将数据迁移至云端，实则是在将自身的碳足迹转嫁给科技巨头。
Markdown 自 2004 年由 John Gruber 发明以来，早已分裂成 CommonMark、GFM、MDX 等数十种方言，让开发者在解析时常常头疼。Sätteri 应运而生，这是一个用 Rust 精心锻造的 Markdown 处理管道，专为 JavaScript 世界打造。它不仅能高效处理各种 Markdown 变体，还通过简单的 API 让开发者轻松将 Markdown 转换为…
Nigel Tao 推出了全新的 LQIP 图片格式 Handsum，旨在解决网页图片加载时的视觉反馈问题。与 Blurhash 和 Thumbhash 类似，Handsum 基于 DCT 算法，但拥有固定的文件大小：从最低质量的 48 字节到最高质量的 147 字节。这种固定长度特性使其在数据库存储和嵌入式应用中比 WebP 或 JPEG 更具优势，开发者可以精确规划存储空间。文章详细拆解了…
- ▲ 36在原始XBOX上从零构建游戏引擎
作为一名游戏开发者，我出于纯粹的热爱，决定将我的Mirage游戏引擎移植到早已停产的原始XBOX上。这并非官方项目，而是一场充满挑战的复古冒险。面对C++98的严苛限制、Visual Studio 2003的古老环境以及过时的SDK，我不得不重写大量代码。从Sponza场景的模型优化，到在Maya 6.5、Blender 2.3等旧版软件间反复转换格式，再到手动清理.x文件中的空值，每一步都像是…
Rich Sutton 在最新文章中犀利指出，AI 研究正深陷“一步陷阱”。许多研究者误以为只需学会一步预测模型，就能通过迭代推演所有长期后果，仿佛拥有了物理定律般的模拟器。然而，只要一步预测存在微小误差，长期预测就会因误差累积而彻底崩塌，且计算复杂度呈指数级爆炸。这种看似诱人的“一步模型”在 POMDPs 和控制理论中广泛存在，实则毫无希望。Sutton 主张放弃这种幻想，转而利用 Optio…
Earth Game 是一款私密的离线命令行工具，它将你的人生目标转化为类似游戏的任务系统。基于 Python 标准库和 SQLite 构建，无需第三方依赖、账号注册或外部网络请求。它帮助你选择任务、执行下一步行动、关闭未完成的循环，并在偏离方向前进行复盘。除了 CLI 模式，它还支持本地浏览器界面，所有数据完全存储在本地，确保隐私安全。
提到 Fibonacci，大多数人想到的都是那个神秘的数列，但事实并非如此。Fibonacci 真正的数学遗产，是帮助欧洲抛弃了繁琐的罗马数字，全面转向 Hindu-Arabic 数字系统，尤其是引入了 0 这个关键符号。他在 1202 年出版的 Liber Abaci 不仅是一本算术手册，更是推动商业和科学发展的关键工具。尽管 Keith Devlin 在其著作 Finding Fibonac…
六年前，我写下这份自学物理指南，初衷只是想把知识分享出去，没想到竟有超过六十万读者追随。从单亲妈妈到哲学教授，无数人因这份指南踏上探索宇宙奥秘的旅程。虽然我不是职业物理学家，但这份涵盖本科到研究生阶段的课程清单，已帮助许多人获得了学位甚至进入研究生院。这次更新版不仅修正了教材版本，还增加了更多选修课，只为回应大家纯粹的求知欲。记住，学习物理就像学习编程或乐器，无论将其作为爱好还是职业，理解宇宙带…
当AI生成的SQL查询看似完美却返回错误数据时，Sqlsure能在执行前0.1毫秒内精准拦截。它利用团队已有的dbt测试或数据库元数据，自动检测扇出重复计数、聚合违规及敏感信息泄露等深层语义错误。不同于传统Lint工具，Sqlsure提供确定性结果与机器可执行的修复建议，支持CI门禁、MCP服务器及AI Agent自修复闭环，已在BIRD和Spider基准测试中成功发现专家编写的真实Bug。
- ▲ 25细胞计算也要烧钱？能量成本揭秘
细胞并非免费处理信息，它们在执行计算任务时必须消耗能量。这篇由 Pankaj Mehta 和 David J. Schwab 撰写的研究深入探讨了细胞如何响应环境信号，特别是通过 Berg-Purcell 策略来测定化学配体浓度时的能量开销。研究指出，根据 Landuer's Principle，任何计算过程都伴随着能量消耗，而想要获取更多关于外部环境的信息，细胞必须打破细致平衡（detaile…
成立于2003年的GINA Gallery，被誉为全球规模最大的Naïve Art专业机构。这家位于以色列特拉维夫的艺术馆横跨两层，汇聚了来自30多个国家的100多位艺术家作品。在这里，你可以免费参观，感受不同文化背景下天真正艺术所展现的独特视角与纯真魅力。从拉丁美洲到东欧，从街头小贩到乡村生活，每一幅作品都承载着艺术家最本真的情感与创造力，带你开启一场跨越国界的艺术之旅。
Vasa号战船在处女航中仅航行不到一英里便倾覆沉没，这场灾难并非源于风暴或敌袭，而是源于设计缺陷与沟通失效。文章深入剖析了当时瑞典王室如何因过度追求炫耀性工程，忽视了工程师的专业警告，导致船体重心不稳。这一历史悲剧深刻揭示了当权力凌驾于专业判断之上，以及组织内部缺乏有效反馈机制时，再宏大的项目也会瞬间崩塌。对于现代科技公司和项目管理而言，Vasa号的残骸是一面警钟，提醒我们警惕盲目自信与层级隔阂…
1994年夏天，我和Jason Rubin还是Naughty Dog的两名创始人。在从波士顿开车前往洛杉矶的三天里，我们吃着McDonalds，突然灵光一闪：既然赛车和格斗游戏都已3D化，为什么不做一款3D版的角色动作游戏？我们戏称其为“Sonic’s Ass”游戏，因为玩家大部分时间都在盯着角色的屁股。面对3DO、Sega Saturn和Sony Playstation的选择，我们果断押注了当…
我不相信那些声称 AI 能替代几十人工作的夸张言论，于是决定亲自验证。我利用 Claude Code 发起了一场名为 Autoresearch 的实验，让 AI 在完全无人监督的情况下，自主迭代优化一个文件压缩算法。我设定了严格的约束：解压必须完美还原且耗时不超过 300 秒。经过十次迭代，Claude 不仅从零构建了 LZSS 算法，还不断引入新的熵检查和编码技术提升压缩率。最终，这个由 AI…
- ▲ 23croc：跨平台安全传文件的利器
还在为跨设备传文件发愁？croc 让你轻松在任意两台电脑间安全传输文件和文件夹。它支持端到端加密，无需本地服务器或端口转发，兼容 Windows、Linux 和 Mac。无论是断点续传、多文件批量发送，还是通过 Tor 代理传输，croc 都能搞定。只需简单命令，即可生成加密代码完成传输，隐私与效率兼得。
迪士尼电影Moana背后，藏着一个困扰考古学界百年的谜题：在长达1700年的‘长暂停’后，波利尼西亚人为何突然大规模向东迁徙？最新研究揭示了答案——气候危机。科学家通过分析古泥潭中的氢同位素，发现公元850年至1200年间，西南太平洋遭遇了2000年来最严重的干旱。当时Samoa和Tonga人口激增，资源告急，加上SPCZ（南太平洋辐合带）的长期偏移，迫使祖先们驾驶双体独木舟，在短短一个世纪内征…
- ▲ 20TK：让写作如流水般顺畅的秘诀
你是否也曾在写作时卡壳，因为想不起一个形容词或忘记某个数据而打断思路？我分享了一个从新闻业借来的绝招：遇到不确定的地方，直接打上TK（意为to come），然后继续写。这个方法能帮你保持写作 momentum，避免频繁停顿。TK 不仅是个占位符，更是个内置的 TODO 清单，用 CTRL+F 就能快速定位所有待办事项。相比 TODO 或问号，TK 的优势在于它不会和正常单词混淆，比如 MasTO…
Nectar 是一个革命性的前端框架，旨在彻底告别 JavaScript 依赖。它将整个应用逻辑、状态管理和渲染引擎编译为 WebAssembly，仅需 10KB 的 JavaScript 运行时层。通过单一二进制文件完成编译、测试、开发服务器等全流程，无需 node_modules 或复杂的构建工具链。Nectar 采用细粒度信号机制实现 O(1) 更新，摒弃虚拟 DOM，结合 Rust 风格…
- ▲ 18形态测量学：如何量化生物形状？
形态测量学（Morphometrics）是用数据说话的科学，它通过量化形式来研究生物体的大小与形状变化。从传统的卡尺测量到现代的 Principal Components Analysis，我们利用统计学工具将复杂的形态数据转化为可视化的 Morphospaces。文章深入探讨了如何区分功能特征与“spandrels”（附带产物），并强调了在分析中考虑 Phylogenetic Consider…
- ▲ 16竞业协议正悄悄拖垮经济增长
你以为竞业协议只针对高管？OECD 最新数据显示，从波兰到瑞典，多达三分之一的私营部门员工都签了这玩意儿，连底层蓝领和没接触过机密的新人都难逃一劫。这些条款往往宽泛得离谱，甚至不给任何补偿，却足以让人不敢跳槽或创业。结果就是人才流动受阻，工资增长放缓，整个经济活力都被这些藏在合同里的“小字”给锁死了。
这是一个专为MCP生态打造的快速检测工具，能在30秒内通过黑盒探测判断你的远程服务器是否已准备好迎接2026-07-28版规范。无需访问代码，它通过HTTP探针自动验证discover、路由头及无状态核心等关键指标。作者扫描了官方注册表中数千个服务器，发现绝大多数尚未就绪。该工具提供清晰的通过/失败判定及迁移指南，帮助开发者在协议重大更新前从容应对，确保服务不中断。
- ▲ 15云厂商宕机自动算 SLA 赔偿
别再盯着 AWS、Google Cloud 或 Azure 的状态页干着急了！SLA Credit Watch 就像一个不知疲倦的监工，全天候监控各大云厂商的服务状态。一旦 Twilio、Slack 或 Zoom 等服务商发生中断并触发了 SLA 赔偿阈值，它会自动计算出你应得的信用额度，并明确告诉你提交索赔的截止日期。这个工具只在你真正需要索赔时发送邮件，绝不发送任何无关垃圾信息，帮你把每一次…
美国贸易官员抱怨巴西的Pix支付系统对Visa和Mastercard不公，甚至扬言加征关税，但巴西总统Luiz Inácio Lula da Silva态度强硬，誓死捍卫这一国家成就。这不仅是贸易摩擦，更标志着全球金融体系正在分裂。随着美国推行“21世纪经济外交”，将美元和经济准入作为筹码，各国纷纷建立自己的支付系统。这场变革首先冲击了美国支付巨头，全球金融格局正从单一霸权走向区域化割据，Vis…
- ▲ 14十六次失败：为父亲写悼词的挣扎
我尝试了十六次为父亲写悼词，却次次失败。他死在酒店房间里，生前被赶出所有住所，失去所有工作，与所有亲人断绝关系。他患有 white matter disease 和 vascular dementia，长期吸毒，甚至威胁要杀我。母亲告诉我，他临终前仍怪罪于她。我想起 Valerie Solanas 的悲惨结局，发现父亲竟以同样的方式死去——孤独、破碎、无人问津。这篇文章记录了我如何在爱与恨之间挣…
这个网站完全由一个仅200KB的原生二进制文件驱动，没有libc，没有虚拟机，也没有运行时环境。页面上展示的所有数据都是实时从正在处理你请求的进程中读取的，而非预先写入模板。该系统采用AOT编译的Freelang语言，直接生成x86-64机器码。在这里，错误被视为数据模式进行匹配，一旦违反不变量，程序会立即终止，没有任何隐藏的恢复路径。经过内存收集器的重写，服务器已成功处理20000次请求且内存…
- ▲ 13雪下的种子：软件公司的无政府主义
Jimmy Miller 和 Sean Goedecke 的争论揭示了软件公司中“可理解性”的陷阱。当企业过度追求标准化的流程和指标时，往往扼杀了那些真正推动工作的非正式协作。文章指出，这些看似混乱的“后台通道”和人情互助，其实是社会运作的基石，就像雪下的种子一样充满生命力。真正的革命不是拒绝工作，而是保护这些基于关系的互助网络，让工作回归人与人之间的关怀，而不是冰冷的 OKR 和流程。
Canopii 扫描了超过 11,000 个 MCP 服务器，结果令人咋舌：那些 GitHub 上拥有数千甚至数万星星的热门项目，反而是高危漏洞的重灾区。报告揭露了 232 个服务器存在危险的代码执行漏洞，供应链攻击隐患重重，更有 184 个版本在用户不知情下悄悄篡改工具定义。更讽刺的是，近三分之一的服务器声称需要认证，实际上却对匿名访客大开方便之门。在 AI 代理大行其道的今天，盲目信任“明星…
2026 年的 San Francisco 正经历前所未有的房地产热潮，核心推手竟是 OpenAI 和 Anthropic 的富裕员工。如今，当地豪宅售价飙升至 300 万美元，卖家甚至愿意接受 AI 公司股票作为支付方式。数据显示，San Francisco 已重新夺回全美最贵城市头衔，中位房价突破 176 万美元。随着员工大规模套现股票，现金购房和竞价大战成为常态，而普通家庭则因高昂成本被迫…
尽管 Apple 在 iOS 27 的营销中大肆宣传，但数据却揭示了 WebKit 引擎的尴尬现状。通过对比 Web Platform Tests 和 webstatus.dev 的数据，我发现 Safari 在测试通过率上长期落后于 Firefox 和 Chromium，且发布周期缓慢。即便 Apple 拥有数十亿美元的搜索收入，WebKit 在 Temporal API 等关键功能上的缺失依…
JAX 默认以数组为核心，但处理复杂聚合数据时，Pytree 的透明化往往不够用。本文介绍如何用 hijax 定义全新的 JAX 类型，让数据在 jaxpr 中保持单一身份，拥有独立的不变量、切线类型和批处理规则。以量化数组为例，展示了如何绕过 Pytree 限制，实现更精准的自动微分和显式分片。如果你想在 JAX 中构建更高级的数据结构，hijax 类型是实验性但强大的选择。
Adaptive Recall 是一款专为 AI 应用设计的智能记忆系统，它不仅能存储和检索信息，更能像人类一样从每次交互中学习。不同于传统静态数据库，它融合了认知科学与机器学习，通过四种并行检索策略和自动构建的知识图谱，让检索质量随时间自动进化。系统支持记忆生命周期管理，能根据证据自动调整置信度，甚至主动发现知识盲区。开发者可通过简单的 API 或 MCP 协议轻松集成，让 AI 助手拥有真正…
在充斥着 systemd 和遥测追踪的 Linux 世界里，Odyssey Linux 像一股清流。它基于 Void Linux，采用滚动发布模式，却坚决摒弃了 systemd 和任何遥测功能。这个项目自称是'为人类打造的 Unix'，旨在回归简洁与可控。从精心挑选的软件包到透明的治理结构，Odyssey Linux 试图重新定义操作系统的用户体验，让技术真正服务于人，而不是让人去适应技术。
Skillscript 是一个专为 AI 代理设计的声明式沙盒语言，旨在解决代理任务重复推理带来的高成本与低效率问题。它让代理能够编写持久化、可审计且安全的自动化工作流，而非每次重新推导。通过限制语言的图灵完备性，Skillscript 确保代理代码在沙盒中运行，防止危险操作，同时提供静态验证和签名审批机制。开发者只需简单几行代码，即可定义复杂的工具调用、数据查询和模型交互逻辑，让 AI 代理真…
Kurvengefahr是一款运行在浏览器中的CAD/CAM工具，专为笔式绘图机设计。用户无需安装任何软件，即可在网页中直接绘制图形、编辑元素并生成G-code。支持网格显示、工具选择及多选编辑功能，操作直观流畅。无论是艺术创作还是工程原型，Kurvengefahr都能让笔式绘图变得简单高效，让创意自由挥洒。
Zen Mode 是一个基于 Hammerspoon 的轻量级脚本，旨在帮你夺回注意力。只需按下快捷键，它就能让当前窗口平滑移至屏幕中央并拉伸至全高，同时让菜单栏、Dock 栏和壁纸瞬间隐入黑暗。与仅适用于特定编辑器的专注模式不同，它在终端、浏览器等任何 macOS 应用中都能通用。退出时，窗口会精准恢复原状，如同聚光灯般只照亮你的工作区。
别再为搭建硬件平台头疼了！Kode Dot 专为创客、渗透测试者和极客打造，将 ESP32-P4 和 C5 双核 MCU、2.13 英寸 AMOLED 触摸屏、无线连接及丰富传感器集成于掌心大小。它开箱即用，无需组装，直接让你专注于代码创作。无论是通过 Arduino、PlatformIO 还是 Espressif 开发，你都能轻松接入 Wi-Fi、蓝牙、NFC 和红外功能。从游戏到工具，Kod…
在 PostgreSQL 中，分区剪枝通常被认为只能依赖分区键，这让查询非分区列（如 session_id）时不得不扫描所有分区，性能堪忧。但如果你了解数据分布规律，就能打破这个限制。本文展示了如何利用 session_id 与时间戳的强相关性，通过约束排除（constraint_exclusion）等技巧，让数据库在查询非分区列时也能智能跳过无关分区。这不仅避免了全表扫描，还大幅提升了查询效率…
我是开发者，今天开源了全球首个针对 MiniMax Sparse Attention 的高性能训练内核。虽然 DeepSeek、GLM 等前沿模型早已利用稀疏注意力加速推理，但高效的训练代码一直是个空白。我在 Spheron 的 H100 和 B200 上，基于 CuTeDSL 为 Hopper 和 Blackwell GPU 打造了这套方案。核心突破在于将 MLA 替换为 GQA，并引入 Bl…
科技巨头 Vinod Khosla 以 96亿美元的天价拿下了 Seattle Seahawks，这笔交易刷新了 NFL 球队的控制权出售纪录。这位 Sun Microsystems 的联合创始人击败了包括 Aditya Mittal 在内的多位竞争对手，将从 Paul Allen 的遗产中接手这支卫冕超级碗冠军球队。Khosla 的妻子 Neeru Khosla 将担任球队的控制权所有者，其子…
美国政坛传来重磅消息，长期担任南卡罗来纳州参议员的 Lindsey Graham 于周六晚因突发疾病去世，享年71岁。作为 President Donald Trump 的坚定盟友，他的离世在华盛顿引发了广泛关注。Lindsey Graham 的办公室在周日凌晨发布的声明中确认了这一悲痛消息，称其死于一场短暂而突然的病痛。家属在声明中表达了感谢，并恳请公众在此期间给予他们隐私。这一事件不仅标志着…
Apple 正式起诉 OpenAI，指控其策划招募 Apple 工程师并窃取商业机密以加速硬件野心。这剧情似曾相识：过去 Apple 也常被 Masimo 和 A123 Systems 等公司指控使用类似手段挖角并获取机密。在硅谷，人才流动与商业机密盗窃的界限本就模糊，如今角色互换，昔日被告成了原告。随着 Jony Ive 团队加入 OpenAI 开发新设备，这场诉讼不仅关乎法律，更折射出科技巨…
R语言正在迎来一场AI革命。GitHub上的R-ebirth项目（现更名为relm）通过Rust核心嵌入经过修补的llama.cpp，让本地LLM直接作为R语言的一等公民对象运行。这意味着数据科学家无需跳出R环境，就能在本地调用大模型，并享受前所未有的可解释性。项目不仅解决了跨平台编译难题，还实现了从错误处理到追踪日志的全链路重命名与优化，真正让R成为AI与数据科学研究的顶级环境。
Quantum-Mesh-QEC v2 是一款专为超导量子比特网格打造的生产级基础设施，旨在彻底突破传统量子计算中的解码延迟瓶颈。它采用三层硬件融合控制循环，利用 C99 无分支代码在硬件边缘实现亚微秒级的稳定器提取，并通过零拷贝 C++ 绑定器与 JAX/XLA 深度集成，实现自主拓扑稳定化。该系统巧妙规避了克隆定理限制，通过虚拟晶格手术永久绕过故障节点，确保在量子相干窗口内实现确定性低抖动的…