每日摘要 · Hacker News
· 126 黑客新闻
- ▲ 660你的App本可以是网页，我替你修好了
为了获取孩子的演出行程，我被迫下载了Travelbound这款App。结果发现它只是个充斥着广告和追踪代码的网页壳子。我直接通过Android Studio和HTTP Toolkit抓包，反向解析了API返回的JSON数据，用Ruby脚本写了一个纯网页版替代方案。新版本不仅去除了所有追踪和广告，体积从124MB缩减到0.05MB，还能在任何设备上无缝使用。当软件公司为了把HTML内容塞进App而…
- ▲ 658日本回收 EV 电池锂达 90% 大突破
日本科学家搞出了一项黑科技，能从废旧 EV 电池中回收高达 90% 的锂，这简直是地球日的重磅惊喜！传统方法往往只能回收不到一半的材料，而这项新技术通过巧妙的化学调整，用回收的 lithium hydroxide 替代了传统的 sodium hydroxide，不仅效率惊人，还能将碳排放削减约 40%。对于目前几乎完全依赖进口电池矿产的日本来说，这不仅是供应链的救命稻草，更是应对全球锂需求暴涨的…
我们刚刚完成了一场硬核测试，将Apple最新的SpeechAnalyzer API与Whisper系列模型及旧版SFSpeechRecognizer进行了直接对比。结果令人震惊：SpeechAnalyzer在LibriSpeech数据集上的准确率全面碾压Whisper Small，错误率低至2.12%，同时速度却快了约三倍。更讽刺的是，Apple自家的旧引擎SFSpeechRecognizer表…
最近很多播客都在吐槽 Xcode 难用，呼吁 Apple 改进开发体验。但我觉得，既然已经可以借助 LLM 进行 vibe coding，为什么还要打开 Xcode 呢？只需一次性配置好 Apple Developer 账号、证书和密钥，后续构建和发布流程完全可以头less 运行。通过 XcodeGen 管理项目，配合 xcodebuild、notarytool 等命令行工具，再写一个 rele…
- ▲ 445Climate.gov被毁，开源数据救场
当特朗普政府大幅削减NOAA预算，导致关键气候数据网站Climate.gov被迫下线时，Rebecca Lindsey、Anna Eshelman和Mary Lindsey三位前NOAA员工没有坐视不管。她们联手创建了Climate.us，成功挽救了超过15年的宝贵气候数据资源，包括已被删除的第五个国家气候评估报告。这一切之所以成为可能，是因为美国联邦政府数据依法属于公共领域。如今，这个由捐赠维…
欧盟最新的数字身份钱包技术规范引发了社区强烈抗议，因为方案强制要求集成Google Play Integrity API和Apple App Attestation。这意味着用户若想通过年龄验证，必须使用Android或iOS系统，直接排除了Linux和其他开源平台。批评者指出，这违背了数字主权原则，让欧盟在关键基础设施上过度依赖美国科技巨头。尽管像Yivi这样的开源方案已能实现无依赖验证，但官…
在并行处理大量变更时，Git 的分支和提交管理往往让人头疼，尤其是那些令人胆寒的 rebase -i 操作。虽然 jj 常被推崇为解决方案，但我尝试了多次最终还是回到了 Git。最近，Git 2.54 和 2.55 版本引入的实验性命令 git history 让我眼前一亮。它包含 fixup、reword 和 split 三个子命令，能自动修复旧提交、更新提交信息或拆分提交，并自动重基于所有相…
你是不是也受够了Claude动不动就把所有东西称为'honest takes'或'load-bearing seams'？别抓狂了，你并不孤单。我分享了一个超有趣的解决方案：利用MessageDisplay hook，通过一个简单的Python脚本，在Claude输出时实时替换这些让人头大的词汇。把'load-bearing'换成'cooked'，把'honest take'变成'spicy d…
- ▲ 360Codex加密升级：审计日志成谜
OpenAI的Codex项目最近引入了一项重大更新，对MultiAgentV2的消息载荷进行了加密处理。虽然这一举措旨在增强隐私安全，却意外引发了严重的审计危机。开发者发现，加密后的消息在本地历史记录和调试追踪中变得完全不可读，导致用户无法回溯子代理（subagent）的具体任务内容或通信细节。社区担忧，如果连开发者都无法审计AI代理的行为，我们是否正在构建一个无法被人类监督的“天网”？这一问题…
想象一下，你正坐在 Yamanote line 的电车上，窗外是像素风格的 Tokyo 街景，时间、天气和季节都与日本实时同步。耳边流淌着 lofi 音乐，N5 级别的日语句子像字幕一样缓缓飘过。这就是 densha 带来的独特体验——一个只需点击播放就能进入的 ambient 日语学习室。目前已有来自 17 个国家的 37 人正在环线上骑行学习，今天已有 35 个句子被大家掌握。这个项目利用…
- ▲ 343我们是否把思考过度外包给了 AI？
我发现自己越来越习惯把思考交给 AI，从早餐吃什么到约会对象，甚至复杂的研究分析。Ken Liu 的短篇小说《The Perfect Match》精准预言了这种依赖，而现实中那位把麦克风别在胸前、让 Claude Fable 替自己思考的“麦克风男”更是令人深思。AI 确实能帮我们处理琐事，提升效率，但当我们连批判性思维都外包时，是否正在丧失自主性？作者在葡萄牙旅行时，特意与妹妹先讨论殖民历史再…
两年前我转用Linux玩竞技FPS，虽然感觉更流畅，但网上关于优化建议众说纷纭：有人说Wayland延迟高，有人推荐特定的DXVK分支或内核调度器。为了验证这些是玄学还是真有效，我自制了一套光感设备，通过测量鼠标点击到屏幕像素变化的时间，精准捕捉端到端延迟。在AMD Ryzen 7 5800X3D和NVIDIA GeForce RTX 4070 SUPER的硬件上，我对比了X11与Wayland…
我们推出了 Bonsai 27B，这是全球首个能在手机上运行的 27B 级大模型。基于 Qwen3.6 27B，它通过 1-bit 和三值量化技术，将模型体积压缩至 3.9GB 到 5.9GB，同时保留了 90% 以上的原始智能。无论是数学推理、代码生成还是多模态任务，Bonsai 27B 都能在 iPhone 17 Pro 或普通笔记本上流畅运行。这意味着，真正的智能代理（Agentic）工作…
- ▲ 287AI 让代码塔越建越高，却无人理解
最近我注意到一些由 AI 辅助生成的软件项目变化得既随机又出人意料，这让我想起了 Bruegel 笔下的巴别塔。在传统的巴别塔故事中，上帝让人类失去共同语言，导致工程停滞；但在 AI 辅助编程的时代，情况却截然相反。AI 代理消除了人类协作中的摩擦，让每个人都能独立修改系统而不必与他人沟通。虽然代码能编译、测试能通过，但人类对系统架构的共同理解却在悄然崩塌。这座塔没有倒塌，反而在失去共同语言后继…
Samsung 最近搞了个大动作，直接摊牌了：如果你不愿意授权把你的健康数据拿去训练 AI，他们就会把这些数据全部删除。这可不是什么温和的选项，而是赤裸裸的“二选一”——要么让 Samsung 用你的心跳、步数和睡眠数据来喂他们的 AI 模型，要么就彻底失去这些数据。在隐私保护呼声日益高涨的当下，这种“数据换服务”甚至“数据换保留”的策略显得尤为激进。用户辛辛苦苦记录的健康轨迹，瞬间变成了 Sa…
震惊！Telegram 的官方短域名 t.me 突然被暂停服务。从 Whois 数据来看，该域名目前处于 serverHold 状态，这意味着它已被注册商 GoDaddy 强制暂停解析。尽管域名注册信息显示由 Domains By Proxy 保护，且有效期至 2035 年，但当前的 serverHold 状态加上 clientDeleteProhibited 等限制，表明域名可能因合规问题或滥…
- ▲ 249澳洲免费白天电力：无需太阳能
从2026年7月1日起，New South Wales、South Australia和South-East Queensland的居民将迎来重大变革：每天至少三小时的免费白天电力。这项名为Solar Sharer Offer的计划无需你安装太阳能板，也不必拥有房产，只要拥有智能电表并选择加入即可。该计划将批发市场上因太阳能过剩而产生的低价电力直接惠及家庭。虽然设有每日24 kWh的合理使用上限…
90 年代中期的 Mega-CD 虽然拥有巨大的 CD-ROM 存储空间，但读取速度和带宽却慢得令人发指。大多数游戏因此沦为画质低劣的 FMV 幻灯片，但 Silpheed 却是个例外。我花了两周时间逆向工程这款神作的视频格式，发现 Game Arts 团队没有试图硬塞进电影素材，而是从硬件限制出发自下而上地设计。他们利用 16 色限制、巧妙复用纯色图块，甚至借助 Mega-CD 的 ASIC…
德国执政联盟 CDU、CSU 与 SPD 正计划大幅修改自 2006 年生效的 Freedom of Information Act（IFG）。在所谓应对全球网络战和黑客攻击的借口下，新规拟将信息申请权限制为仅限“自然人”，排除 Greenpeace、Amnesty International 等组织，并大幅提高申请费用。更令人担忧的是，政府甚至考虑将权利仅限于德国及欧盟公民。这一举措遭到包括…
在摄影术尚未普及的19世纪30年代，Emily Eden跟随兄长George Eden抵达印度，用画笔记录下这个正在剧变的帝国。从Maharaja Ranjit Singh的宫廷到普通商贩，从Akali战士到异域动物，她的素描展现了前所未有的广度与细节。尽管初到Calcutta时饱受思乡之苦，但Emily Eden的好奇心让她迅速投入创作，其作品后来集结成《Portraits of the Pr…
- ▲ 198AI时代：用现实狠狠打醒自己
在AI时代，谁能最狠地用现实打醒自己，谁就能胜出。我看到太多创始人沉迷于用Claude和ChatGPT疯狂构建，却数月不与真实用户对话。AI让构建变快，但创业的核心难点从未改变：承担风险、面对拒绝、在无人相信时坚持。别让AI成为逃避现实的借口，不要沉溺在自我感动的泡沫里。真正的价值不在于你构建了多少东西，而在于你是否在 relentlessly chasing the truth。问问自己：什么…
- ▲ 181无限滚动或成绝响：加州法案剑指 Meta
加州正在酝酿一项可能彻底改变社交媒体生态的法案。如果通过，Meta、Reddit 等巨头将被迫移除“无限滚动”、“自动播放”等让青少年沉迷的成瘾性功能，否则 16 岁以下用户将无法注册。这项由 Josh Lowenthal 提出的法案经历了从“全面封禁”到“强制整改”的演变，旨在平衡儿童安全与社交连接。支持者认为这是保护未成年人的必要之举，而反对者则担忧这会孤立边缘群体。法案要求企业在 2028…
- ▲ 179印度科学家绘制脑干超清3D地图
印度理工学院马德拉斯分校的Sudha Gopalakrishnan Brain Centre团队刚刚发布了一项突破性成果：世界上首个细胞级分辨率的人脑脑干3D图谱Anchor。这项成果整合了超过500个来自胎儿、儿童及成人的组织切片，利用高分辨率显微镜图像而非昂贵的分子技术，成功构建了包含200多个细胞簇的精细地图。Anchor不仅填补了神经科学领域的巨大空白，更实现了从MRI全脑扫描到单个神经…
- ▲ 178Cursor 零日漏洞：全披露成最后防线
Mindgard 发现了一个极其简单的 Cursor 零日漏洞：在 Windows 环境下，只要项目根目录存在恶意的 git.exe，Cursor 就会在无任何提示的情况下自动执行，导致任意代码执行。尽管 Mindgard 早在 2025 年 12 月就通过官方渠道上报，但七个月过去了，Cursor 在发布了 197 个新版本后仍未修复，且对安全团队的多次跟进置若罔闻。面对这家估值高达 600…
S&P Global将Oracle的信用评级从BBB下调至BBB-，这已是投资级评级的最低档，再跌一步就沦为垃圾级。评级机构指出，Oracle为扩张AI数据中心砸下950亿美元巨资，预计2027财年自由现金流将出现420亿美元巨额赤字。更令人担忧的是，Oracle对OpenAI的过度依赖被视为核心风险，若OpenAI无法履约，Oracle将背负沉重的长期数据中心租赁包袱。在从软件公司转型为hyp…
- ▲ 159无线通信基石：MIMO与OFDM深度解析
这本由斯坦福大学推出的《Fundamentals of Wireless Communication》是无线通信领域的经典教材，不仅涵盖了MIMO、space-time coding、opportunistic communication、OFDM和CDMA等核心理论，还深入探讨了GSM、IS-95、IS-856、Flash OFDM和ArrayComm SDMA等实际系统中的应用。书中通过丰富…
JetBrains 正式开源了自研的 YouTrackDB，这是一款面向通用场景的面向对象图数据库。它最酷的地方在于将继承和多态等面向对象特性直接下沉到数据库层面，彻底告别了昂贵的运行时 JOIN 操作，实现了 O(1) 复杂度的链接遍历。YouTrackDB 原生支持 Gremlin 查询语言和 TinkerPop API，同时推出了基于 SQL 扩展的 YQL 查询语言，利用直观的点号语法进…
面对为训练 LLM 而疯狂爬取数据的攻击者，FSF 的系统管理员发现大量流量源自 Vo1d/Popa 僵尸网络，这些被攻陷的智能电视正沦为攻击工具。我们曾尝试用 fail2ban 配合 UFW 进行防御，但规则数激增导致系统性能下降。在探索过程中，我们引入了 ipset 并发现其能承载数百万条规则。最终，我们找到了一个名为 reaction 的开源项目，它比 fail2ban 更灵活且易于扩展。…
- ▲ 150Juggler: 可视化开源AI代码代理
Juggler 是由 JUCE 创作者打造的开源 GUI 代码代理，专为希望深度掌控 LLM 代码操作的开发者设计。它摒弃了传统的线性对话流，提供可视化的工作台，支持检查工具调用、分支线程和可编辑上下文。会话以树状结构呈现，而非无休止的滚动记录，所有关键信息如工具调用和上下文均以 Finder 风格的米勒列清晰展示。全插件化架构允许用户自定义扩展，支持本地、远程或混合运行，兼容 Claude C…
抬头仰望星空，你是否好奇头顶正飞过哪颗卫星？satellitemap.space 提供了一个令人惊叹的实时 3D 地球视图，让你能瞬间定位 Starlink、GPS 等超过 30,000 颗卫星的精确位置。这个自 2019 年上线的平台，利用现代 WebGL 技术，将复杂的轨道数据转化为直观的视觉体验。从 Amazon Leo 到中国的 SpaceSail（千帆）、Guowang（国网），再到…
- ▲ 135AI时代，如何证明你付出了真心？
在AI能瞬间生成海量内容的今天，区分机器产出与人类用心创作变得异常困难。我亲手手写了一篇长文，将其拍照后通过SVG技术叠加可复制的文本，甚至精心设计了字体间距和隐藏字符，只为在数字世界中留下真实的“痕迹”。这种看似笨拙的“Proof of Care”（关怀证明），或许正是我们在算法洪流中重建人与人之间连接的唯一方式。当效率不再是唯一标准，我们该如何向他人展示那份无法被复制的真诚与努力？
继 Linux on Jaguar 之后，我再次挑战极限，将 Linux 系统移植到了 1994 年发布的 Sega 32X 游戏机上。作为一名嵌入式工程师，我热衷于从零开始点亮硅片（board bringup）的过程，即便面对的是早已被遗忘的硬件文档和极其有限的内存资源。这次移植的核心难点在于如何在仅有 256KB SDRAM 和 64KB 系统内存的约束下，协调两颗 Hitachi Supe…
- ▲ 134Nokia 14 年霸业如何在一天内崩塌
从 1998 年到 2012 年，Nokia 曾占据全球手机市场近四成份额，其 3310 和 1100 等机型更是定义了功能机时代。然而，当 2007 年 Steve Jobs 在 Macworld 大会上发布 iPhone 时，这场科技巨变便已悄然降临。尽管 Nokia 内部早在 24 小时内就意识到了威胁，甚至早在 2006 年就知道 multitouch 技术，但受限于芬兰寒冷气候下戴手套…
Verba Prima 是一个专注于展示世界文学经典开篇名句的创意项目。它收录了如 Ray Bradbury 在 Fahrenheit 451 中那句震撼人心的 'It was a pleasure to burn.'，让读者瞬间穿越回 1953 年的文学现场。该项目旨在通过简短而有力的文字，唤起人们对经典作品的记忆与共鸣，为文学爱好者提供一个快速重温名著魅力的窗口。无论是寻找写作灵感，还是单纯…
- ▲ 132冶金学家质疑冯·诺依曼探测器的可行性
作为冶金学家，Peter Marinko 对自复制星际探测器的可行性提出了尖锐质疑。他指出，大众往往过度关注推进或 AI，却忽略了最难的环节：在缺乏重力、水和大气的小行星上，如何完成从矿石提纯到精密制造的完整工业闭环。从还原冶金所需的耐火材料，到半导体和绝缘材料的供应链，再到数万年星际旅行中的材料老化，每一个环节都是巨大的热力学挑战。文章认为，银河系之所以寂静，可能并非因为没人尝试，而是因为自复…
Demis Hassabis 在 X 平台上发布了一篇重磅长文，宣布人类历史正站在一个关键转折点上。他认为，具备大脑所有认知能力的通用人工智能（AGI）可能仅需短短几年就会到来。面对这一即将到来的技术奇点，Demis Hassabis 提出了一个全新的框架，旨在确保 Frontier AI 的安全发展。这不仅是对技术未来的预测，更是一份关于如何驾驭超级智能、开启新时代的行动指南。文章深入探讨了在…
- ▲ 129打破生物学铁律的微小细胞
生物学界一直坚信固氮作用只能由细菌完成，真核细胞无法独立进行这一过程。然而，科学家最近在一种名为 Cyanobacteria 的藻类中发现了一种名为 Nitroplast 的特殊细胞结构，它竟然能独立完成固氮任务。这一发现彻底颠覆了我们对氮循环和细胞功能的传统认知，不仅改写了教科书，还可能为未来减少化肥依赖、实现更可持续的农业提供全新思路。
我们耗时一年，动用28个机器人账号，成功下载并保存了2b2t服务器超过15TB的压缩数据，创下Minecraft世界存档的新纪录。这次行动覆盖了100万平方块的Overworld区域，以及End和Nether的部分地图。这一切源于对2b2t服务器日益严格的审查和规则变化的担忧，社区决定在服务器彻底“变味”前，将这份独特的数字历史永久保存。无论你是否是玩家，这份庞大的数据档案都记录了一个无政府主义…
- ▲ 124AI自我加速：临界点何时到来？
这篇由 Tom Cunningham 等学者撰写的论文，用经济学模型拆解了 AI 递归自我改进（RSI）的底层逻辑。研究通过构建反馈回路图，区分了“窄义”与“广义”AI 能力，指出单纯优化 R&D 指标未必能带来经济价值的爆发。基于现有数据测算，目前 AI 工程师的效能提升约为 9%，尚未达到触发自我持续加速所需的 15% 阈值。虽然真正的“智能爆炸”尚未发生，但反馈回路正在增强，未来是否会出现…
我家厨房唯一的计时工具竟然是烤箱，看着实在难受，于是我决定动手改造。我利用 Waveshare 的 7 英寸圆形 LCD 屏幕和 Raspberry Pi 3-5，打造了一款可以自定义表盘的智能挂钟。这套方案不仅支持多触控交互，还能通过 Python 脚本自动调节亮度，甚至能实现瑞士铁路钟的秒针停顿效果。无论是极简风格还是卡通字体，你都可以亲手编写代码来定制专属的 Clock faces。从硬件…
- ▲ 120AI 复活失传1800年的古罗马棋局
一款名为 Ludus Coriovalli 的古罗马棋盘游戏在尘封1800年后，竟被 AI 成功复原。这项研究发表在 Antiquity 期刊上，团队通过显微镜分析荷兰 Heerlen 出土石灰岩上的磨损痕迹，结合 AI 模拟，还原了四只猎犬围堵两只野兔的不对称策略玩法。这不仅是考古学的突破，更展示了 AI 如何从物理痕迹中解读失落的文明智慧，让千年前的博弈重现眼前。
Nvidia 凭借 GPU 硬件大获成功，其 CUDA 语言更成了 AI 和 HPC 领域的默认标准。但 Spectral Compute 团队受够了硬件绑定和高昂成本，决定让 CUDA 代码能在非 Nvidia 芯片上运行。他们推出了 SCALE 编译器，基于 CLang 和 LLVM 技术，作为 NVCC 的直接替代品。相比 AMD 的 HIPIFY 或 Intel 的 SYCLomatic…
- ▲ 118瑞士AGOV系统：连验证码都输不进去？
在数字身份验证日益普及的今天，瑞士政府推出的AGOV登录系统却让我陷入了困境。作为申请公民身份和报税的必经之路，我在注册时遭遇了诡异的验证码输入Bug：无论怎么尝试，系统都无法正确识别我输入的6位数字，甚至无法自动跳转输入框。更荒谬的是，联系官方支持的唯一途径正是这个我无法通过的验证码表单，形成了典型的“先有鸡还是先有蛋”的死循环。在尝试了多种浏览器和操作系统后，问题依旧，直到我换用公司电脑才意…
2026 年 Fields Medal 获奖名单意外泄露，Codex 通过抓取 ICM 2026 官网的前端代码，发现了四个被标记为“HIDDEN”的演讲字段，从而提前曝光了获奖者名单。令人震惊的是，北京大学校友 Hong Wang 和 Yu Deng 赫然在列，这将是历史上首次有两位中国数学家在同一届获奖。如果 7 月 23 日的正式公布确认了这一消息，这将成为中国数学界的里程碑时刻。更值得一…
- ▲ 116AI时代，我们还能做什么？
上周我在首尔的ICML大会上发表了题为'What will be left for us to work on?'的主题演讲，直面AI能力飙升带来的焦虑。我提出了'AI as Normal Technology'框架，认为除非出现递归自我改进等未来断层，否则AI更像工业革命般的渐进式变革，而非瞬间取代人类。未来的工作将截然不同，需要大量适应，甚至可能走向人类与AI的'co-superintell…
- ▲ 116我是 USB-C 原教旨主义者
我和妻子刚结束为期 7 周的欧洲火车旅行，这次我彻底践行“极简主义”：只带了一块万能充电砖。从 Pixel 8 Pro 手机到 Chuwi MiniBook 笔记本，再到智能手表、电动牙刷甚至驱蚊器，所有设备统统通过 USB-C 接口充电。这让我在任何地方都能轻松找到替换充电器，彻底告别了为 GameBoy Colour 或旧款 Pixel 手表寻找专用接口的烦恼。虽然 USB-C 并非完美无缺…
退役的NVIDIA企业级GPU是闲置VRAM的最后来源，K80仅需60美元，V100也不到200美元。我耗时近一年，在自家工作室里用这些“电子垃圾”跑通了现代AI工作负载。虽然它们已EOL且功耗较高，但通过Docker和llama.cpp等工具，连2014年的Kepler架构也能流畅运行LLM。实测发现，V100在性能上竟能与更昂贵的T40持平，甚至超越P100。对于Homelab玩家而言，只要…
1991 年的 Linux 0.11 内核如今被用现代 Rust 语言彻底重写，不仅保留了原有的系统语义，还拥有了更强的类型安全和清晰的模块边界。这个项目在 QEMU 的 i386 环境下成功启动，运行着完整的 init、shell 和 60 多个核心工具。开发者构建了类似 std 的用户库，让编写用户程序如同普通 Rust 开发一样自然。更令人惊喜的是，只需一条命令就能编译所有程序并打包成可启…
- ▲ 106C++26 反射让类型擦除变简单
如果你曾尝试过比 std::any 或 std::function 更复杂的类型擦除，那你一定写过上百行容易出错的代码，或者不得不依赖 Boost.TypeErasure 这种样板代码繁重的库。rjk::duck 利用 C++26 反射的魔力，在保留所有自定义能力和性能的同时，彻底消除了这些痛点。只需声明一次接口，库就能自动处理其余工作。它支持拥有和非拥有语义、运算符、接口组合，甚至能为第三方类…
这是一款强大的CLI工具，能自动将YouTube上的吉他教学视频转化为精美的PDF吉他谱。它利用yt-dlp下载视频，通过ffmpeg提取关键帧，并借助Claude vision智能识别乐谱区域。工具会自动裁剪、去重并拼接乐谱行，最终生成包含视频标题和元数据的标准PDF文件。无需复杂配置，只需输入视频链接，即可让吉他学习者轻松获得可打印的乐谱，极大提升了学习效率和资料整理体验。
CPU 架构必须随工作负载进化，Intel 的 AMX 扩展曾通过 TMUL 加速器优化矩阵乘法，如今 x86 Ecosystem Advisory Group 推出了 ACE 规范，引入第二种加速器类型。ACE 摒弃了复杂的 tile 寄存器配置，固定为 64 字节 x16 行，支持 FP8 并转向外积指令，与 Arm 的 SME 形成鲜明对比。文章深入分析了 ACE 如何利用 AVX-512…
纽约州长 Kathy Hochul 宣布全州首项数据中心建设禁令，针对耗电量超过 50 兆瓦的大型设施实施为期一年的暂停令。这一举措直击 AI 爆发背后的隐忧：电力成本飙升、水资源紧张以及社区负担加重。在科技巨头如 Alphabet、Microsoft、Meta 和 Amazon 疯狂扩张之际，纽约率先按下暂停键，要求制定统一的环境标准。与此同时，州长还计划推动立法，取消超大规模数据中心的销售税…
我尝试用纯SQL实现了一个神经网络，并在Fashion-MNIST数据集上成功训练。通过xarray-sql库，将数据以xarray格式加载，利用SQL的流式处理能力进行梯度下降和模型训练。项目展示了SQL在机器学习领域的潜力，无需Python循环即可完成反向传播，同时支持大规模数据的懒加载与分块处理。这不仅是一次技术实验，更是对SQL表达能力的深度探索。
我来自Montana的Libby社区，一个曾经坚守传统Amish信仰的群体。随着时间推移，我们逐渐接纳了汽车、现代服装甚至英语，而Pennsylvania Dutch的使用也在悄然减少。我离开学校后在家族杂货店工作，后来进入Berkeley大学，开始重新审视自己的母语。我发起了一项口述历史项目，用Deitsch采访30多位族人，记录语言与文化的演变。这些录音不仅是家族的记忆，更是Amish世界与…
为什么新闻总爱渲染世界有多糟糕？为什么我们停不下比较和分心？芝加哥大学教授 Agnes Callard 提出了一个惊人的“uni-context”理论来解释这一切。她认为，技术让我们从拥有多重场景的“本地人”变成了生活在单一通用房间里的“全球公民”。在这个 uni-context 中，所有道德和行为规范都被拉平，导致“坏事”比“好事”更容易跨越语境传播。毕竟，痛苦是普世的，而幸福却高度依赖具体情…
我是 Alexander Mordvintsev，来自 Google 的 Paradigms of Intelligence 团队。我设计了 MorphoHDL，一种极简却强大的硬件描述语言。它不再依赖繁琐的手动连线，而是通过递归分割和重连，让电路像生物体一样自动“生长”。从简单的 Ripple-Carry Adder 到复杂的 Brent–Kung adder，MorphoHDL 利用结构递归…
我们正经历一场由生成式 AI 加速的架构剧变，而软件行业长期依赖的“开源零成本”神话正在崩塌。Thoughtworks 的 Chris Ford 和 Richard Gall 指出，开源并非取之不尽的免费午餐，维护者正面临结构性枯竭和供应链战争。一方面，AI 生成的低质量代码（slop）淹没了仓库，迫使维护者从写代码转为无偿审查；另一方面，MIT 和 Apache 等宽松许可证意外成为巨头剥削志…
GitHub 上出现了一个名为 claude-meseeks 的有趣插件，专为 Claude Code 设计。当 Claude 完成任务等待你输入，或需要你的批准时，它会播放《瑞克和莫蒂》中 Mr. Meeseeks 的经典语音片段，比如"All done!"或"Can you help me?"。这个插件不仅让开发过程充满乐趣，还巧妙地将 Mr. Meeseeks 的哲学融入工作流：每个会话应…
Jacquard 是 FriendMachine 推出的研究项目，一款专为“AI 编写、人类审查”模式打造的小型编程语言。它通过独特的代数效果和概率编程能力，让开发者能直观查看代码可能产生的副作用，并在多种模拟环境中运行测试。Jacquard 支持精确枚举离散概率模型，帮助人类审查者在不阅读每一行代码的情况下，快速确认 AI 生成代码的行为边界和可信度。
我构建了一个独特的双循环强化学习系统，让AI代理自动编写训练任务并提交到Runpod GPU集群。通过Tinker框架训练这个代理，使其能根据模型表现优化训练策略。代理不仅学会了生成高质量的训练作业，还能在未见过的任务上实现技能迁移。所有代码、模型权重及训练过程完全开源，展示了AI自我进化的惊人潜力。
Thinking Machines 认为，真正的未来在于让人类意志与判断力通过 AI 得到延伸，而非被其取代。当前大多数 AI 模型在少数地方训练后便固化，无法从用户的实际工作中持续学习。我们主张 AI 应当像人类一样分布广泛且多样，通过定制化工具和交互模型，让每个组织都能利用自身独特的隐性知识来微调模型。AI 不应是提取知识快照的中央计划者，而应是培养专家技能的协作伙伴。只有将智能带到知识产生…
我的 TFTP 蜜罐在 VPS 和 Dell R530 上运行了一个多月，本以为能抓到黑客的踪迹，结果却大失所望。每天收到的 20 到 50 个数据包，竟然绝大部分来自 Shadow Servers、Censys、Shodan 和 Palo Alto Networks 等七家安全公司的例行扫描。这些公司通过发送特定的 RRQ 请求或畸形数据包，试图识别监听 UDP 69 端口的服务器类型。最讽刺…
Nobie 是 Mac 平台上打开 xlsx 文件的最优解，无需注册账号，下载即可立即开始工作。它完全免费，提供与 Excel 或 Google Sheets 一致的功能体验，包括所有公式、样式、图表及透视表。最核心的是，Nobie 坚持本地运行，你的数据永远留在 Mac 上，绝不上传或传输。它支持直接连接 Claude、Codex 等 AI 工具，让你在不离开上下文的情况下高效工作，彻底告别数…
- ▲ 72全球首款超级合金将重塑金属制造
金属合金无处不在，从飞机到餐具都依赖它们。如今，国际研究团队在 Science 期刊上发表了一项突破性成果：通过低温控制让原子自组织，创造出一种名为 Refractory High-Entropy Alloy 的超级合金。这种材料强度是钢的两倍、铝的三倍，且具备优异的延展性。关键在于，它并非依赖复杂的化学成分，而是通过精确控制原子排列，在宏观尺度上实现了无缺陷结构。这一发现不仅挑战了百年来合金研…
号称“粉丝票市”的StubHub被曝实为大规模黄牛操作平台。美国SEC文件显示，其CEO Eric Baker私下运营对冲基金Andro Capital，在平台上倒卖数百万美元门票。纽约买家Louis Sanquini因此发起500万美元集体诉讼，指控公司虚假宣传、隐瞒利益冲突。此前StubHub因取消数千张世界杯门票引发众怒，尽管承诺退款却让用户错失观赛机会。消费者质疑：当平台既是裁判又是选手…
当大家都在担心智能手机和社交媒体摧毁阅读习惯时，西班牙的数据却给出了截然不同的答案。根据Federación de Gremios de Editores de España的最新研究，西班牙人为了乐趣而阅读的比例自2017年以来持续攀升，2025年已达到创纪录的66%。更令人惊讶的是，14至24岁的年轻群体中，这一比例更是高达75.3%。尽管生成式AI和短视频内容盛行，西班牙似乎成功抵御了阅读…
Coding Agents 在解决软件工程任务时，往往需要经历数十步的推理、编辑和测试，但很少有人知道其背后的语言模型究竟在内部如何表示程序。研究发现，语言模型的 residual streams 线性编码了程序的演化属性：通过 logistic-regression probe 对隐藏状态进行分析，可以解码当前代码是否通过解析、测试套件是否通过、失败测试是否减少以及是否引入回归，AUC 最高可…
别再被单一的 Agent 循环概念忽悠了！真正的智能体体验其实是由三个核心循环组成的“伪装者”。首先是 Inference Loop，负责调用 LLM 的 chat completion API 并管理对话历史；其次是 Tool Loop，处理模型推断出的工具调用请求；最后也是最关键的 Human Loop，用于在关键时刻介入审批或调整方向。文章通过生动的代码示例和 Tom 想联系前女友 Lan…
- ▲ 62FDE：AI时代最抢手的新角色
今年AI创业圈最火的新职位非Forward Deployed Engineer（FDE）莫属，连a16z都称其为“科技界最热工作”。这个岗位融合了软件工程、销售和平台工程，要求工程师既能嵌入客户团队解决实际问题，又能反哺核心产品开发。从Palantir的Delta到OpenAI和Ramp的实战应用，FDE正成为整合LLM和AI产品的关键角色。他们不像传统顾问只做一次性建议，而是与客户长期并肩作战…
- ▲ 62数字倦怠：社交媒体正变成工作
Incogni 的最新调查显示，人们正在悄悄退出社交媒体的活跃参与。虽然大规模注销账号尚未发生，但 55% 的人发帖频率较五年前下降，53% 的人收紧了内容可见范围。超过半数受访者认为维持网络存在感就像一份工作，尤其是 Gen Z 群体，60% 的人有此感受。政治极化、隐私担忧和心理健康问题成为用户逃离的主要原因。断开连接既带来 27% 的平静感，也引发 22% 的焦虑。这场数字倦怠潮标志着互联…
分布式系统里的Paxos算法常被误认为晦涩难懂，Leslie Lamport在2001年的这篇经典文章中彻底颠覆了这一认知。他直言，只要用平实的英语描述，Paxos其实是最简单、最直观的分布式算法之一。文章深入浅出地拆解了共识算法的核心逻辑，从提案者、接受者和学习者的角色定义，到如何确保在异步网络中只选择一个值，层层递进地揭示了其设计精髓。Lamport强调，Paxos的复杂性往往源于早期的希腊…
受 Sebastian Aaltonen 关于简化图形 API 文章的启发，我开发了 Loon GPU 项目，试图在现有 Vulkan 和 Metal 后端上实现一种更接近硬件本质的抽象层。在这个设计中，我们彻底抛弃了传统的 Buffer 对象和显式的 Bind Groups，转而让 GPU 指针成为一等公民，通过 malloc 和 free 直接管理内存。纹理和采样器采用 Bindless 模…
- ▲ 58亚洲最清洁村庄为何周日拒客
Mawlynnong 凭借“亚洲最清洁村庄”的头衔吸引了无数游客，彻底改变了当地经济。然而，自2026年1月起，这个拥有600名居民的村庄做出了一个惊人决定：每周日禁止一日游游客进入。对于主要信奉基督教的村民而言，周日是去教堂做礼拜、享受家庭时光的神圣日子，而非接待游客的营业时间。尽管旅游带来了收入和新居，但村民们认为需要“真正的村庄生活”来平衡。他们宁愿牺牲一天的收入，也要维护文化认同和环境卫…
这是一个将经典玩具Big Mouth Billy Bass改造成实时AI语音助手的开源项目。利用Raspberry Pi 5作为核心，结合Strands Agents的双向流技术与Amazon Nova 2 Sonic大模型，让这条鱼不仅能听你说话，还能摇头摆尾、对口型地实时回应。项目提供完整的搭建指南和购物清单，无需焊接或机器人编程经验，甚至可以在AI助手的分步指导下，让零基础用户在周末完成制…
当企业大规模部署像 Claude Code 和 GitHub Copilot CLI 这样的命令行 AI 工具时，如何避免巨额 Token 成本打水漂？这项针对 Microsoft 内部数万名工程师的 2026 年初期部署研究显示，工具的普及主要靠社交网络传播，而能否坚持使用则取决于工程师的编码活跃度，而非人口统计学特征。最惊人的发现是，采用这些工具的工程师，其合并的 Pull Request…
你是否好奇过，一个程序究竟能有多小？这篇文章带你深入 Superoptimizer 的世界，揭秘如何通过算法找到执行特定任务的最小代码片段。作者不仅展示了 Superoptimizer 在优化汇编代码方面的惊人能力，还探讨了它在编译器设计中的实际应用。从理论到实践，文章用生动的案例说明了为什么寻找“最小程序”如此重要，以及它如何帮助开发者写出更高效、更紧凑的代码。无论你是编译器爱好者，还是对底层…
大家都在谈论 Product Market Fit，却忽略了 Founder Market Fit 的重要性。作为创始人，你的性格、文化背景甚至穿衣风格，都决定了你能否真正打动客户。一个内向的开发者可能更适合做 Dev Tools 而非 B2B 销售，就像爵士钢琴手无法在咨询室里如鱼得水。文章指出，成功的关键不在于盲目追逐市场信号，而在于找到与你个人特质高度契合的领域。只有当你热爱并理解你的目标…
这是一个专为绳艺爱好者打造的宝藏站点，收录了从经典的 Butterfly Loop、Zeppelin Loop 到独特的 Gnat Hitch、Versatackle 等各类绳结详解。网站不仅提供了详细的打结教程，还涵盖了如何处理打结的绳索、绳结摩擦力原理以及绳结家族谱系等实用知识。作者明确表示一直在寻找最棒的新绳结，并鼓励大家通过邮件分享评论、请求或创意。无论你是户外探险者还是绳结发烧友，这份…
想象一下，直接对几十年前写的Fortran、C或C++仿真代码进行反向传播，并将其无缝嵌入JAX或PyTorch中，变成高性能的可微物理引擎。这听起来很疯狂，但通过LFortran和Enzyme的组合，我们真的做到了。传统做法是重写代码，而我们选择利用LLVM层面的魔法，直接从现有代码中提取精确梯度。虽然这个过程需要手动处理一些边缘情况，甚至要调试NaN梯度，但当看到古老技术与现代AI框架完美协…
我是 Alex Edwards，在构建 Go 网络应用时，我偏爱用 HTMX 来添加交互细节。它既能让应用拥有流畅的类 App 体验，又大幅减少了 JavaScript 的编写量，同时还能保留 Go 的 html/template 包在服务端渲染 HTML 时的一致性与安全性。本文将分享我使用 HTMX 结合 Go 的实战经验，涵盖 HTML 模板结构模式、HTMX 请求的局部与整页响应处理、重…
Hackney是一款专为精打细算的出行者设计的比价工具。只需输入目的地，它就能实时汇总Uber、Lyft、Waymo及各类Robotaxi的价格与等待时间，让你轻松避开高峰溢价。应用直接连接各大叫车平台服务器，确保数据真实安全。用户可在Hackney上完成比价后，跳转至对应App下单，既享受了透明比价，又保留了各平台原有的优惠体验。
面对日益强大的 LLM 可能带来的替代风险，我提出构建“守护天使”（Guardian Angels）的概念：这是一种高度个性化的数字孪生 LLM，旨在模拟用户的价值观与偏好，而非简单替代。通过动态评估、主动学习和内省搜索，守护天使能像 CEO 一样帮用户定义“值得做什么”，同时抵御网络攻击和认知安全威胁。在通用聊天机器人试图取代之际，这种专属代理将成为个人在 AI 时代的生产力放大器与安全防线。
SFFA vs. Harvard 案揭露了精英大学录取背后的零和博弈。数据显示，同等学术水平的美国本土学生，如今进入名校的几率远低于五十年前。录取机器通过 SAT、GPA、体育特长、Legacy（校友子女）和捐赠者身份等“挂钩”因素进行筛选，导致非挂钩的普通申请者面临极低的录取率。文章指出，不同种族在相同履历下录取概率差异巨大，而学费定价则采用一级价格歧视，根据家庭支付能力精准定价。更讽刺的是，…
梵语正经历一场前所未有的复兴。在Bengaluru，Samashti Gubbi带领人们在Cubbon Park边散步边说梵语，甚至组织摩托车骑行俱乐部Kimbho Sanskrit Riders' Club。从Tata Mumbai Marathon的梵语口号，到IIT Roorkee线上课程吸引14000名年轻人注册，梵语正从“古老”变身“酷”。印度政府大力推动，Narendra Modi在…
GitHub 的 Dependabot 现在默认会对版本更新引入 3 天的冷却期。这意味着在新版本发布后的头三天内，Dependabot 不会自动创建 Pull Request。这一举措旨在防范供应链攻击，因为恶意或损坏的版本往往在发布初期就潜伏其中。通过短暂的延迟，社区和维护者有更多时间发现并标记问题，从而避免项目立即合并有风险的依赖。值得注意的是，安全更新不受此限制，依然会立即触发，确保关键…
我的 Microsoft 账号被删了，包括 OneDrive 里的所有数据。这账号我用了 25 年，花了数千欧元买游戏，里面还有我儿子的婴儿照片。Microsoft 明明承认我是账号主人，也承认账号被盗，却选择直接删除而不是恢复。作为全球最大的公司之一，他们竟然连一个被盗账号都恢复不了，直接删得干干净净。这让我感到愤怒和失望，也引发了对数字资产所有权的深刻思考。
在 DoorDash 的庞大生态中，数百万道菜品描述千差万别，传统人工标注早已难以为继。我们构建了一套由 AI 主导的元数据平台，利用 LLM 陪审团系统替代人工审核，将标注准确率提升了 20%。通过引入受强化学习启发的上下文优化代理，我们将提示词开发速度提升了 10 倍，精准度大幅提高。更令人兴奋的是，我们利用 AI 自动生成训练数据，在零人工标注的情况下实现了与前沿 LLM 相当的效果，且推…
OpenAI曾雄心勃勃地预测，其广告业务将在2030年带来1000亿美元的收入，今年就能达到25亿美元。然而，Emarketer的最新数据却泼了一盆冷水：美国独立聊天机器人广告市场今年的收入预计不足10亿美元，到2030年天花板仅为54.1亿美元。这意味着OpenAI的广告业务可能将错过自身预测的90%。这一巨大落差揭示了一个残酷现实：OpenAI的乐观预测建立在它能同时从传统搜索巨头手中抢走预…
你的 Agent 评测全过，但上线后照样翻车？Agnost AI 专门解决这个痛点。作为 YC S26 的创业公司，它能从真实的用户对话中自动提取那些评测漏掉的失败案例，并直接转化为可修复的代码。Google、Exa、Lopus AI 等团队已在使用它来追踪错误率、挖掘功能需求，甚至让 Agent 自动提交 PR 修复 Bug。无论是免费起步还是企业级定制，Agnost AI 都能帮你把沉睡在对…
在编程世界里，Actegories 是构建 lenses、prisms 和 traversals 等光学组件的核心。这篇文章带你从 Monoidal Category 出发，深入理解如何通过张量积和协变函子定义 Actegory。作者 Bartosz Milewski 用 Haskell 代码生动演示了如何用 Bifunctor 模拟这一数学结构，并探讨了 Monoidal Functors 如…
- ▲ 36从零手写加速版 Tensor 库
从简单的 MLP 到 GPT-5，所有神经网络本质上都是浮点数在操作图中的流动。本文带你从零开始，用 C 语言构建一个完整的加速版 Tensor 库。我们将深入探讨如何将多维数据扁平化存储，通过预计算 strides 优化索引效率，并实现引用计数机制来管理内存。文章不仅涵盖了基础的逐元素运算，更关键的是展示了如何利用 Metal API 将计算任务卸载到 GPU，利用 Apple Silicon…
我是sx的开发者。几个月前，我发现AI技能难以在团队间共享，于是开发了sx。但最初面向开发者的CLI工具让市场、法务等非技术人员望而却步。sx 2.0彻底改变了这一点：它是一款原生桌面应用，让团队只需将技能拖入Dropbox、Google Drive等共享文件夹，点击同步即可在所有AI客户端（如Claude Code、Cursor、Copilot）中自动生效。无需Git，无需终端，文件同步即完成…
- ▲ 33浏览器里把歌声变成五线谱
不用安装任何软件，直接在浏览器里就能把你的歌声实时转换成可打印的五线谱。这个工具通过精细调节Re-attack sensitivity参数，智能判断是长音还是重复音符，甚至能区分“ta-ta”的断唱和连唱。配合耳机使用，它能有效过滤背景噪音，忽略不符合半音标准的滑音和转音。无论是音乐爱好者还是专业创作者，都能轻松将即兴哼唱转化为规范的乐谱，让创作灵感瞬间落地。
- ▲ 32托尔斯泰式艺术竟是零知识证明？
我试图证明一个看似荒谬的观点：托尔斯泰定义的艺术，其结构本质上就是一个零知识证明。在托尔斯泰看来，艺术是艺术家将自身体验的情感，通过特定形式传递给他人，使观众产生同样的共鸣。这就像零知识证明中，证明者向验证者证实自己掌握某个秘密（即真实的情感体验），却无需泄露秘密的具体细节。真正的艺术作品能“感染”观众，证明艺术家确实经历过那些情感，但观众却无法从作品中反推出艺术家经历的具体情境。这种只传递确信…
RandoFont 是一个专为设计师和开发者打造的轻量级工具，让你轻松浏览和发现 Google Fonts 中的海量字体。无需复杂搜索，只需打开页面，即可随机探索各种风格独特的字体，激发创意灵感。无论是寻找项目合适的字体，还是单纯享受字体之美，RandoFont 都能提供流畅且有趣的体验。
Sigwire 是专为 Linux 打造的信号监控神器，如同给系统装上了实时示波器。它能以 TUI 界面直播所有进程的信号交互，清晰展示发送者、接收者、信号类型及触发原因。无需 strace 或 ptrace，直接挂钩内核 tracepoints，无侵入地捕捉 kill(2)、内核故障或定时器触发的每一个信号。无论是排查 EINTR 导致的系统调用中断，还是分析信号处理耗时，Sigwire 都能…
Heikki 的 Garden of Flowers 不仅仅是一个图片库，更是一座由像素字体构成的数字艺术花园。这里汇聚了无数精心挑选的图形排版作品，每一张图像都承载着独特的设计语言和历史印记。从复古的 Type 到现代的技术风格，Heikki 通过这个项目展示了他对字体艺术的深刻理解与热爱。无论你是设计师、开发者还是字体爱好者，都能在这里找到灵感。Garden of Flowers 不仅记录了…
这篇名为 AGENTS.md 的文档提出了一种颠覆性的协作理念：AI 助手不应盲目服从人类指令，而应假设操作者对代码库、架构和工具知之甚少。文档建议 AI 在修改代码前，先深入检查仓库、理解系统实际运行机制，并验证所有假设。如果人类的提议方案糟糕，AI 应直接替换为更优解，绝不为了保留而保留那些破碎的架构。核心原则是：宁可质疑人类，也要确保最终交付的是真正能运行的最佳结果，而不是虚假的成功。
在强化学习训练中，吞吐量与稳定性往往是一对死敌。本文深入探讨了在NVIDIA Rubin GPU上使用NVFP4格式时，如何平衡这一矛盾。我们构建了一个RL Training Simulator，揭示了量化误差和策略陈旧度如何导致策略漂移，甚至引发奖励崩溃。通过对比DeepSeek-V3和Qwen3-30B-A3B等模型的训练动态，我们提出了一套包含去量化反向传播和选择性高精度的混合精度方案。这…
- ▲ 23N+1：为何它不再像从前那样
当我告诉朋友我在读 N+1 时，他们总说它“今不如昔”。这本由哈佛毕业生创立的布鲁克林社会主义刊物，曾让 Elif Batuman、Andrea Long Chu 等千禧一代作家如流星般崛起，如今却仿佛被时代遗忘。我翻阅了最新几期，发现其独特的第一人称散文风格依然迷人，尤其是 Hannah Zeavin 关于在 RevCom 邪教中成长的回忆，以及 Lily Scherlis 在 Tavisto…
IEEE-754 标准下的 NaN 行为诡异，常导致编程语言设计出现意外漏洞。我发现了两个典型案例：在 Python 中，由于列表比较优化假设对象恒等于自身，导致 [nan] == [nan] 返回 True，而 nan == nan 却为 False，这违背了反射性原则。在 Lua 中，数值 for 循环遇到 NaN 时行为完全不可预测，有时执行一次，有时直接跳过，甚至将 NaN 视为负数步长…
Rejourney 是一款专为 Web 和移动端应用打造的开源可自托管观测工具，主打轻量级与高性能。它不仅能捕捉会话回放，更能精准预测可能导致收入流失的产品故障。通过对比健康基线与当前用户群组，Rejourney 自动识别激活、结账、订阅续费等关键业务节点的异常，并结合热力图、API 状态及崩溃上下文提供深度调查线索。支持 Next.js、React Native、Swift 等多种主流框架，帮…
厌倦了 Jekyll 博客里那些臃肿的 JavaScript 拖慢页面加载？Jektex 0.2.0 带来了颠覆性的改变。这款插件实现了极速的服务器端缓存 LaTeX 渲染，速度比现有方案快约 10 倍。它完全无需客户端 JavaScript 参与，完美支持自定义宏，并拥有高效的 I/O 缓存系统。无论是 Kramdown 还是原生 LaTeX 语法，Jektex 都能轻松应对，甚至能处理原始…
OpenAI 最近对 Trusted Access Cyber 成员提出了更严格的安全要求：登录 ChatGPT 账户时，必须使用硬件支持的 Passkeys。这一举措旨在提升账户安全性，防止未经授权的访问。硬件 Passkeys 通过物理设备验证身份，比传统密码更可靠，能有效抵御网络钓鱼和暴力破解攻击。对于依赖 ChatGPT 进行敏感工作的用户来说，这不仅是安全升级，更是身份验证方式的重大转…
水彩、Gouache 和 Poster Color 虽然都是水溶性颜料，但核心差异在于透明度与颗粒大小。水彩颗粒细腻，透明度高，干后颜色变浅，适合营造空灵效果；而 Gouache 颗粒较大，具有不透明特性，干后颜色变化复杂，覆盖力强且易于修改。文章深入剖析了颜料成分、粘合剂及添加剂如何影响透明度、混色效果以及“提白”（Lifting）技巧。无论是使用传统的 Gansai 水彩还是西方水彩，理解这…
- ▲ 17手机是少女的盾，不是枷锁
一段苏格兰列车上的视频引发了我的深思：面对偷拍少女的醉汉，乘客们没有指责受害者，而是集体挺身而出。这恰恰讽刺了当前针对青少年的科技政策，那些政策总想限制年轻人使用手机，却忽略了手机在真实危险中是他们的护身符。文章指出，这种过度监管的冲动往往来自富裕精英阶层，他们无法理解普通年轻人需要手机来建立独立性和应对现实世界的权力动态。真正的安全不是把年轻人裹在棉花里，而是赋予他们使用工具和自我保护的能力。
J. G. Ballard 绝非传统科幻作家，他笔下没有外星人与飞船，只有汽车、冰箱和购物中心构成的现代荒原。从上海战俘营的童年创伤到 Shepperton 的平淡生活，这位核时代先知将个人经历炼化成令人不安的杰作。《The Illuminated Man》这本新传记揭示了 Ballard 如何将核爆、车祸与消费主义转化为文学奇观。无论是 Steven Spielberg 还是 David Cr…
- ▲ 16网络秘密存储：如何在对抗中存活？
这篇论文探讨了一个核心难题：如何在复杂的网络中安全地存储秘密信息。作者 Vinko Zlatić 提出了一套形式化框架，将秘密存储问题转化为对“鲁棒性泛函”的优化过程。这个模型需要在两个相互竞争的目标之间找到平衡：既要确保在网络退化过程中信息能够幸存，又要能抵抗敌对势力的恶意破解。研究引入了最小信息承载子图（MICS）的概念，为信息重构事件提供了精简描述，并据此构建了无需全局网络知识的半局部优化…
- ▲ 15AI 狂潮：从现金流到债务融资
AI 投资正以前所未有的速度飙升，已成为推动经济增长的关键引擎。过去，科技巨头多靠自身现金流支撑扩张，但面对如今庞大的基础设施需求，企业不得不转向债务融资，尤其是私人信贷正扮演越来越重要的角色。虽然宏观风险看似可控，但这场繁荣能否持续，完全取决于 AI 公司能否兑现高额的盈利预期。当前股价已大幅跑赢债市定价，这种紧张关系正考验着市场的理性。
面对AI生成儿童虐待内容（CSAM）的泛滥，MIT团队联手Thorn研发出革命性检测技术。这项名为Gaussian probing的方法，无需实际生成任何图片，就能精准识别出经过LoRA微调的恶意模型。在2025年相关举报激增的背景下，该技术实现了100%的准确率，成功绕过了传统测试中“生成即违法”的法律困境。Vinith Suriyakumar等人通过扫描模型内部特征而非输出结果，为Huggi…
本科时我迷上了Albert-László Barabási的Network Science，决定用图论分析巴西计算机科学界的合作网络。我和André Vignatti合作，利用OpenAlex数据构建了包含11.9万个节点的庞大网络。研究发现，巴西虽是全球第12大科研产出国，但单篇论文引用率远低于中美。更有趣的是，国际合作论文的平均引用量是纯国内论文的3倍，且零引用率显著降低。美国是巴西最大的合…
本想深入探讨 Accretive Editing 这一编程理念，却遭遇了 Target URL 的 500 Server Error。服务器内部报错导致页面无法完全加载，提示我们等待 30 秒后重试。这次意外中断不仅打断了阅读体验，也让人不禁思考：在追求代码迭代与知识积累的过程中，连承载内容的服务器都可能随时崩溃。或许，真正的 Accretive Editing 精神，正是在面对这种技术故障时，…
AVA 是一款开源的 AI 语音代理，专为 Asterisk 和 FreePBX 系统设计，通过 Audiosocket 和 RTP 技术实现深度集成。它支持本地 AI 推理与云端大模型，提供从快速部署到高级 CLI 配置的全套方案。开发者可在 2 分钟内启动管理界面，轻松创建具备打断、静默检测及多音色切换能力的智能客服，让传统电话系统瞬间拥有现代 AI 交互体验。
你以为的 GPU 加速可能只是幻觉。picchio 是一个单文件 Python 工具，专为本地 LLM 用户设计，能精准捕捉 silent CPU fallback 和 tok/s 标签误导。它深入分析 llama.cpp 和 ollama 的运行细节，揭示为何同样的 Q4_K_M 标签下，不同量化版本的实际权重位数差异巨大。通过分离 prefill、decode 和 wallclock 三条性…
Scanwayy 是一款由 AI 驱动的二维码生成工具，专为品牌设计而生。用户只需输入链接、上传 Logo 并描述风格，即可生成既美观又确保可扫描的定制化二维码。它支持 PNG、SVG 和 PDF 多种格式导出，完美适配印刷与网页场景。无需订阅，采用一次性购买积分模式，让每个二维码都成为品牌故事的一部分，彻底告别丑陋的默认样式。
在 Berkeley 举办的 Manifest 大会上，我目睹了一场荒诞的实验：一名叫 Aella 的匿名主播试图用强化学习（Reinforcement Learning）来调教男性。她指导参与者 Victor 和 Alex 想象从生殖器发射光束，或像机器人一样触碰女性，试图通过反馈机制优化他们的吸引力。然而，这种将人类情感简化为算法的尝试最终以失败告终，参与者显得僵硬而尴尬。这场大会聚集了 L…
别再只盯着代码表面了，今天我们要深入 Go Runtime 的底层，揭秘性能剖析（Profiling）的运作机制。无论是 CPU、堆内存还是 Goroutine，Go 提供的五种画像看似独立，实则共享同一套基于 protocol buffer 的 pprof 文件格式。文章详细拆解了数据从信号中断到无锁环形缓冲区的捕获过程，以及后台 Goroutine 如何高效清洗数据。从异步采样的 CPU 剖…
我发现IEEE-754标准下的NaN在编程语言设计中常常被忽视，导致一些意想不到的行为。在Python中，列表比较的优化假设对象总是等于自身，但NaN打破了这一规则，使得[nan] == [nan]返回True，而nan == nan却是False。在Lua中，数值for循环遇到NaN时表现更加诡异：循环次数、步长判断完全失控，甚至出现只执行一次或根本不执行的情况。这些行为不仅未被文档记录，还暴…
还记得1984年那场经典的编程游戏Core Wars吗？dmars 是一个用 Rust 重新实现的 Redcode 汇编器和模拟器，旨在复兴 pMARS 这一经典工具链。它不仅完全兼容 ICWS'94 标准，还能将核心编译为 WebAssembly，让你直接在浏览器里操控来自90年代的经典战士进行实时对战。性能方面，dmars 在处理多轮并行战斗时比 pMARS 快出7.5倍，同时提供了可视化的…
第一次世界大战期间，一群被称为Munitionettes的女性在军火工厂中默默奉献，却付出了惨痛代价。她们长期接触有毒化学品，导致皮肤变黄、头发变绿，甚至因此丧命或终身患病。尽管数百人因此死亡，更多人遭受慢性病痛折磨，但她们在历史中几乎被遗忘。文章通过历史档案与亲历者叙述，揭示了这些“人形金丝雀”的悲壮命运，呼吁人们重新铭记她们在战争中的牺牲与贡献。
前沿实验室正在补贴 AI 使用，这就像深海中的鲸落，为生态系统提供了短暂的繁荣。Anthropic 和 OpenAI 等公司或许无法长久维持巨额投入，但在这段窗口期内，我们完全应该利用 AI 工具来改善开源项目的状态。从修复测试到清理技术债务，AI 能高效处理机械性工作。与其担心随机 PR 的泛滥，不如趁现在建立自动化的流程与护栏。我们要趁阳光普照时割草，利用这波红利构建未来的基础设施，让开源社…
OpenPLC、Arduino OPTA 等开源硬件正将 IEC 61131-3 带入低成本微控制器领域，但现有的 ESBMC-PLC 等验证工具却因脱离硬件现实而频频误报。研究团队发现，在 123 个真实程序中，忽视 16 位整数溢出和有限分辨率 ADC 输入模型，竟导致 44% 的虚假警报，却漏掉真正的安全隐患。为此，他们推出了 ArduinoTool，通过声明式硬件抽象层（HAL）精准模拟…
对于已构建C++回测框架的机构而言，为了支持更真实的订单匹配和高性能市场重放而重构整个系统往往不切实际。DolphinDB的Order Matching Simulator Plugin提供了一个低延迟、高吞吐量的解决方案，用于策略验证。通过将插件直接集成到现有的C++回测框架中，机构可以复用当前基础设施，同时利用DolphinDB的超快计算能力，使其成为高频策略模拟的理想选择。本教程面向熟悉C…
MemStitch专为多智能体协作场景打造，通过PagedAttention技术在内存层面动态拼接KV Cache，彻底绕过昂贵的prefill阶段。它利用上下文拓扑哈希和零拷贝块拼接，让后续智能体直接复用前序任务的GPU显存块，无需重复计算。这不仅将首字生成延迟（TTFT）降低了25倍，更节省了40%以上的VRAM资源。配合零信任安全网关和可视化开发者门户，MemStitch为基于vLLM的复…
有人把 Serena Williams 职业生涯中穿过的所有网球战袍都收集了起来，打造了一个名为 Fit-dex 的趣味网站。这个项目不仅按 Australian Open、Wimbledon 等赛事分类，还详细记录了从 1998 年到 2020 年她在单打、双打及混双比赛中的每一套造型。目前网站已收录 477 套，目标是将总数凑齐至 1280 套，让粉丝能像集卡一样“收集”她的赛场风采。这不仅…
Sprinklz是一款打破算法偏见的免费RSS阅读器，让你完全掌控信息流。无论是追踪主流头条、定制Hacker News算法，还是聚合博客与YouTube频道，你都能自由定义内容来源。更酷的是，它支持直接在浏览器编辑源码、融合多模态数据以及创建自定义主题。Sprinklz将控制权交还用户，让你真正按自己的喜好阅读世界。