每日摘要 · Hacker News
· 92 黑客新闻
我的妻子 Elise Cawley 在心脏手术后突发心血管意外，与我们永远告别了。我们共同度过了 36 个美好的年头。Elise 不仅是一位才华横溢的数学家，更是一位充满人文关怀的思想者。她总能轻松洞察事物的本质，坚信真理与美终归同一。在我们的婚姻中，她以独特的智慧、爱与活力点亮了我的生活。尽管我们在数学基础等议题上曾激烈争论，但最终我意识到她关于数学本质的许多直觉是正确的。她热爱生活，注重细节…
- ▲ 781AI 生成图让我放弃阅读你的博客
我对博客中出现的 AI 生成图片越来越反感。看到这些图片，我不禁怀疑文章本身是否也掺杂了 AI 生成的内容。对于个人博客，我期待的是真实的人声，而不是企业博客那种标准化的输出。与其看到精美的 AI 绘图，我宁愿看到作者用 Microsoft Paint 手绘的粗糙涂鸦。毕竟，无论我的博客有多少缺点，至少读者可以确信，这里呈现的是真实人类的思考，而非某个 LLM 的产物。如果你运营个人博客，请尽量…
- ▲ 695Xbox 宕机：光盘游戏也玩不了
周日傍晚，Xbox 遭遇大规模服务中断，不仅数字版游戏无法运行，连物理光盘游戏也彻底瘫痪。这让我反思，如今所谓的“拥有”光盘，本质上只是一份需要网络验证的许可。即便你手握实体盘，Microsoft 或 Sony 也能因意外或故意阻止你游玩。更讽刺的是，光盘插入后游戏仍会安装到硬盘并强制更新，这与 PC 端的纯数字体验并无二致。相比之下，我手中的 Game Boy 卡带无需任何授权即可在模拟器上完…
这是一个旨在解决数字世界中肤色多样性缺失的项目。作者通过手动标注大量肤色数据，结合主成分分析（PCA）技术，构建了一个简化的肤色色彩空间。项目提供了基于 JavaScript 的自定义颜色选择器和 Python 生成的算法代码，帮助开发者在角色创建器、数字艺术等场景中更包容地描绘世界。尽管作者坦诚这并非完美的科学模型，但它为构建更具包容性的数字工具提供了一个极佳的起点，让每个人都能在数字世界中找…
故事设定在 2026 年 8 月 4 日的 Allendale，一座完全自动化的房屋在人类灭绝后依然按部就班地运转。清晨，厨房准时制作早餐，机器人老鼠清扫灰尘，一切井然有序，却无人享用。直到一只流浪狗闯入，在疯狂中死去，揭示了废墟城市的残酷真相。房屋西墙上残留着家人被瞬间烧焦的剪影，那是毁灭发生时的最后定格。随着火灾意外发生，这座试图自救的智能房屋最终在烈火中崩塌，只剩下墙壁里的时钟机械地重复着…
Mistral AI 发布了开源模型 Shieldstral，这是一个仅 30 亿参数的多模态安全分类器。它打破了传统护栏模型需要针对新策略重新训练的局限，允许用户在推理时直接通过自然语言提问来定义安全策略。无论是文本还是图像，Shieldstral 都能输出校准后的安全评分，且性能可媲美甚至超越体积大 7 倍的模型。该模型基于 Apache 2.0 协议开源，仅需单张 16GB NVIDIA…
FFmpeg 项目团队正式推出了 FFmpeg 9.0 版本，该版本代号为 Lei。距离上一版 FFmpeg 8.1 发布仅过去约 4 个月，这次更新标志着项目在音视频处理领域的持续精进。完整的 Changelog 已更新在项目根目录，开发者也可通过 Git 历史追踪所有变更细节。团队邀请用户加入 #ffmpeg IRC 频道或邮件列表，共同探讨技术细节。对于依赖 FFmpeg 进行视频编解码、…
- ▲ 427雷·布拉德伯里的《柔雨将至》
这篇文档收录了雷·布拉德伯里的经典短篇故事《柔雨将至》。故事描绘了一个高度自动化的未来世界，当人类早已灭绝，智能家居系统却依然不知疲倦地运行着。它按时准备早餐、清理灰尘、播放新闻，甚至试图在火灾中拯救不存在的家人。这种机械的忠诚与荒凉的现实形成了强烈对比，让人在感叹科技奇迹的同时，也不禁反思人类在其中的位置。这是一个关于时间、记忆与文明脆弱性的深刻寓言。
明尼苏达州Winona警局遭遇了一场精心策划的盗窃案，其部署在城市关键路口的所有8台Flock车牌识别摄像头被全部锯断并盗走。此外，布法罗县拥有的2台同类设备也未能幸免。每台摄像头价值约3000美元，此次事件导致警方预算直接损失约24000美元。Flock Safety系统原本用于协助调查肇事逃逸和寻找失踪人口，数据在30天后自动删除。这起事件并非孤例，而是反映了美国多地针对此类监控技术的破坏趋…
Apple 正在升级与 OpenAI 的法律战，不仅寻求初步禁令以阻止对方开发基于其技术的产品，还指控更多前员工卷入商业机密盗窃案。Apple 在最新文件中指出，除已被起诉的 Chang Liu 和 Tang Yew Tan 外，另有 11 名前员工可能涉案，其中包括在面试前讨论未发布产品机密或截图保密文档的人员。此外，多名现任职于 OpenAI 的前 Apple 员工在诉讼后主动联系归还公司设…
我在单张 AMD MI300X 上成功部署了 DeepSeek-V4-Flash 模型，无需额外的权重量化或卸载。通过修复 FP8 格式兼容性、MoE 路由及内核调优，该配置在 192GB HBM 中完整容纳了 304B 参数模型。实测单流解码速度达 168.6 tok/s，Prefill 速度突破 8.5K tok/s，甚至能支撑 64 路并发而不报错。这份生产级配置包含 Docker Com…
- ▲ 376美伊战争耗尽美军远程精确导弹库存
据知情人士透露，美军在与伊朗持续五个月的冲突中，已几乎耗尽其ATACMS和PrSM远程精确制导导弹库存。这些单价超百万美元的武器是美军远程打击的核心，也是应对中俄等强敌的关键筹码。尽管特朗普政府声称弹药储备充足且产能创纪录，但内部数据引发对美军未来威慑力的担忧。与此同时，Patriot和THAAD等防御性拦截导弹库存也大幅减少，Tomahawk巡航导弹消耗近半。五角大楼虽坚称军力完备，但分析师警…
- ▲ 330FedEx 模仿诈骗短信：真假难辨
最近我收到一条疑似 FedEx 的短信，要求支付关税。起初我以为是典型的钓鱼攻击，因为短信中充满了拼写错误、奇怪的链接和紧迫感。然而，经过层层验证，我最终发现这竟然是 FedEx 官方发送的真实通知。讽刺的是，FedEx 的官方通知做得太像诈骗短信了，连链接参数都暴露无遗，甚至让我一度怀疑是 BPOINT 支付网关的设计缺陷。在 AI 诈骗日益逼真的今天，连正规企业都在无意中模仿骗子的手法，这让…
递归自我改进（RSI）的未来或许不在于模型直接重写权重，而在于 Harness Engineering 的进化。文章深入探讨了围绕基础模型的系统架构，包括工作流设计、文件系统作为持久化记忆、以及子代理与后台任务的协同。从 Agentic Context Engineering (ACE) 到 Meta Context Engineering (MCE)，再到 Meta-Harness，这些技术将…
从2026年8月4日起，Waymo在Dallas的自动驾驶服务正式向所有市民开放，不再局限于兴趣列表中的用户。自今年2月启动以来，已有近15万名Dallas居民体验了Waymo的安全与可靠。如今，无论是日常通勤、购物办事，还是游客出行，任何人都可以通过Waymo app叫到完全自动驾驶的车辆。Waymo还正在Dallas Love Field机场航站楼进行全自动驾驶测试，并计划不久后在Dalla…
Swiftlet 是一个基于 Swift 和 Metal 的运行时，专为 Qwen3-Next 和 Qwen3.5/3.6 MoE 混合模型家族打造。它通过仅将模型的小型稠密核心常驻内存，并按需从存储流式加载路由的专家权重，实现了惊人的内存效率。在 Mac 上，它仅需 4.3 GB 内存即可运行 80B 参数模型；在 iPhone 17 上，甚至能用 2.5 GB 内存运行 35B 模型。这是同…
知名独立研究者 Gwern 宣布将不再全职从事写作工作，转而创立新公司 Guardian Angel Inc。这一决定标志着他从个人博客和深度分析文章创作者，正式转型为创业者和组织领导者。Gwern 长期以严谨的数据分析和对认知增强、长寿等领域的深入研究著称，此次转型引发社区广泛关注。新公司 Guardian Angel Inc 的具体业务方向尚未完全公开，但预计将延续他对前沿科技与人类潜能探索…
根据 INTERPOL 发布的《2026 年非洲网络威胁评估报告》，人工智能已成为非洲网络犯罪的主要推手，超过 55% 的案件涉及 AI 技术。随着非洲数字经济的扩张，网络犯罪正演变为高度组织化的跨境产业，导致相关经济损失从 2024 年的 1.92 亿美元激增至 4.84 亿美元。报告指出，Deepfake 技术和合成身份被广泛用于数字性勒索和 Business Email Compromis…
Apple 向来以注重细节著称，但这次针对 OpenAI 的诉讼却显得草率且充满矛盾。Apple 最初声称我们未回应其联系，随后却承认是外部律师因混淆两个亚洲姓氏而发错了邮件。他们曾声称与我们的总法律顾问进行过讨论，现在也承认这从未发生。更令人意外的是，Apple 员工在 Chang Liu 离职后仍主动联系他，请求协助查找文件，这与他们指控其窃取机密信息的说法截然相反。OpenAI 从未寻求也…
- ▲ 271亚马逊雨林曾容纳300万古人
20多年前，地理学家 Alceu Ranzi 在飞机上意外发现亚马逊雨林中隐藏着完美圆形的人造痕迹。如今，借助 lidar 技术，研究团队在 Nature 发表最新成果，揭示了西南亚马逊地区近400处此前未被记录的 earthworks。这些几何形状的土丘和沟渠表明，古代 Aquiry 文明曾在此广泛分布，远超以往认知。研究估算，仅占森林面积3%的区域，可能曾生活着高达300万人。这一发现彻底推…
Oxide Computer Co 向美国证券交易委员会提交了 Form D 文件，正式披露其已完成 4.45 亿美元的股权融资。这笔资金已全部售出，共有 15 名投资者参与。作为总部位于加利福尼亚州 Emeryville 的科技公司，Oxide Computer 此次融资旨在支持其在计算机基础设施领域的持续创新。文件显示，公司目前尚未产生收入，但已获得包括 Steven Tuck 和 Brya…
2026 年 8 月 4 日，拥有月均 6.19 亿下载量的 keyv 及其关联库遭遇名为 Shai-Hulud 的供应链攻击。攻击者入侵了维护者的 GitHub 账号，向 main 分支注入恶意文件并发布带签名的毒化版本。这些包在 npm install 时会自动执行 setup.mjs，静默下载 Bun 运行时代码，进而窃取 npm、GitHub CLI、AWS 及 HashiCorp Va…
在线广告巨头 Adform 遭遇黑客攻击，从 7 月 27 日开始，其投放的广告中嵌入了恶意代码。据安全研究员 Kevin Beaumont 披露，这段被篡改的代码会在用户浏览器加载时触发，每三秒替换一次剪贴板中的加密货币钱包地址，诱导用户将资产误转给黑客。Adform 日均服务 15 亿次广告展示，这意味着下游网站用户都可能面临设备被植入窃取软件的风险。当我尝试访问 Adform 的官方声明时…
我偶然发现 Cloudflare 推出了一项新产品，却因域名使用 .pay 后缀、授权页面设计可疑而误以为遭遇了高明的钓鱼攻击。那种紧迫感让我差点中招，甚至怀疑连绿色对勾都是伪造的。直到反复查证才发现，这确实是 Cloudflare 的合法服务，只是其安全 UI 设计过于激进，导致用户难以分辨真伪。这一经历深刻揭示了 Web 安全的困境：当合法网站看起来像诈骗时，不仅用户防不胜防，连 Micro…
- ▲ 193为何有人割草更优：3万人的路径实验
30,954人参与了这场割草路径实验，结果令人深思：16%的人找到了完美路径，而大多数人仅差几步。这不仅是游戏，更是经典的Coverage Path Planning问题，与The Traveling Salesman Problem紧密相关。研究发现，高手并非思考更久，而是懂得在关键分叉口暂停，而在简单区域快速通过。Sarah等优秀玩家通过decomposition策略将复杂草坪拆解，并预判d…
我们推出了 Maple-Preview，一款原生训练的 20B-A1B 三值权重推理大语言模型。它在保持顶尖性能的同时，在 iPhone 上实现了每秒 127 个令牌的惊人速度，比 Bonsai 27B 快 13 倍。该模型不仅能解决 IMO 级别的数学难题，还具备设备端自适应能力，能通过“梦境”机制学习用户偏好并更新权重。Maple-Preview 证明了低精度无需妥协，为未来高效、个性化的设…
NHS England 就数据访问权限问题正式道歉，承认其此前发布的 Data Protection Impact Assessment 文件存在错误。该文件曾声称只有 NHS 员工能访问可识别的患者信息，但事实是 Palantir 等供应商的工程师也能通过 Federated Data Platform 访问此类敏感数据。目前，有 3 名 Palantir 工程师拥有行政级访问权限，另有 33…
2015 年，我还是个计算机系本科生，满怀信心地申请了 Microsoft 的暑期实习。为了准备面试，我啃完了《Cracking the Coding Interview》，甚至背熟了书里的所有脑筋急转弯。面试当天，当面试官抛出那个经典的“12 个球称重”谜题时，我面临一个选择：假装思考还是坦白已知答案？我选择了后者，并坚持要求换一个我没见过的题目。结果，那个新题目我完全解不出来。一个月后，我收…
这组长达42小时的讲座实录，完整呈现了Buckminster Fuller从1927年的Dymaxion房屋、汽车和浴室，到Wichita House、geodesic domes及tensegrity结构等所有重大发明与发现。内容涵盖Synergetics的精髓，融合个人生平、科学史与工业化进程。他以独特的synergetic geometry为线索，深入浅出地讲述Dymaxion car、g…
- ▲ 144“整洁代码”竟让性能暴跌1.5倍
我们常被告知要写“整洁代码”，遵循多态、小函数和DRY原则。但通过实测对比，我发现这些规则可能带来巨大的性能代价。在计算图形面积的例子中，严格遵循“整洁代码”的多态实现，比使用简单的switch语句和扁平化结构慢了1.5倍。这意味着，盲目追求代码的“整洁”可能让你失去相当于三年硬件进化的性能优势。当编译器无法窥探虚拟函数调用的内部时，优化无从谈起。有时候，打破规则、让代码更“脏”一点，反而能换来…
当数据量膨胀到无法装入内存时，传统方案往往被迫转向复杂的 Spark 集群。但在 DuckDB 与 Clojure 生态中的 tech.ml.dataset（TMD）结合后，情况发生了改变。我们利用 DuckDB 的向量化 SQL 引擎，在普通笔记本上轻松加载并压缩了 50GB 的 CSV 文件，实现了 4 亿行交易数据的高效存储。通过 tmducken 库，我们不仅能在 2.5 秒内完成 14…
- ▲ 141警察被禁提及Flock：监控要保密
在爱荷华州Wapello County，警方被明确指示在使用Flock系统逮捕嫌疑人时，绝不能向车内人员或报告中提及ALPR（自动车牌识别）的使用。这份内部文件要求警察将Flock的使用视为机密情报，仅在绝对必要时才在报告中模糊地称为“县级资源”。尽管Flock公司自诩透明，但其客户却倾向于隐藏这一监控技术。从地方警局到FBI和司法部，都存在类似的模糊化指导，旨在防止公众通过公开记录请求获取搜索…
- ▲ 139德国7月太阳能上网量破120亿千瓦时
2026年7月，德国光伏系统向公共电网输送了创纪录的120亿千瓦时太阳能电力，这一数据由IWR基于ENTSO-E的十五分钟级数据得出。当月午间平均光伏出力超过40000兆瓦，相当于40多座1000兆瓦核电站的总容量，显著替代了煤电和天然气发电。IWR指出，光伏已从补充能源转变为德国电力供应的支柱，这得益于过去二十年数百万家庭、农场和中小企业的投资。IWR CEO Norbert Allnoch强…
你是否觉得 React 过于臃肿？这篇文章展示了如何用纯粹的 Vanilla JavaScript 从零构建一个轻量级 UI 库。作者通过实际代码演示，剥离了框架的复杂依赖，回归 Web 开发的本质。你会发现，在没有虚拟 DOM 和庞大生态的情况下，依然能实现高效、可维护的组件化开发。这不仅是一次技术实验，更是对现代前端开发范式的一次反思：我们真的需要 React 吗？
Soup 是一款专为开发者设计的命令行工具，旨在将大语言模型（LLM）微调的复杂流程简化为一条命令。它支持在本地 4GB 显存的笔记本电脑上微调 8B 参数模型，无需 SSH 连接或繁琐的配置。通过自动处理批量大小、GPU 检测和量化等细节，Soup 让开发者能专注于模型优化而非基础设施搭建。无论是本地训练还是云端部署，Soup 都能提供流畅的体验。
- ▲ 1241582 年有 10 天从未存在过
1582 年，为了修正历法误差，天主教世界从 Julian Calendar 切换到 Gregorian Calendar，直接抹去了 10 月 5 日至 14 日这 10 天。这意味着在今天的公历体系中，这些日期从未发生过。我测试了 Ruby、Python 和 Perl 三种编程语言对这一历史事实的处理：Ruby 能正确拒绝创建这些不存在的日期，而 Python 和 Perl 却允许生成这些“…
- ▲ 121诺奖得主为何晚年沉迷伪科学？
诺贝尔奖得主晚年陷入荒谬或伪科学观点的现象，被称为“Nobel disease”。从Linus Pauling推崇大剂量维生素C，到Kary Mullis否认HIV与AIDS的关联，再到Luc Montagnier提出水有记忆的伪科学理论，这些案例揭示了权威光环如何助长确认偏误。Paul Nurse警告获奖者不要因奖项而自认为无所不知，Milton Friedman也感叹这种过度关注具有腐蚀性。…
- ▲ 120多数技术革命恶化工作，AI 或成例外
人们一边恐慌 AI，一边争相采用，因为过往的技术革命往往让公司获利，却让员工工作更琐碎、时间更长。从 PC 到智能手机，效率提升反而导致工作量增加，期望值跑赢了技术本身。但 AI 不同，它不仅能加速，还能直接完成部分工作。尽管目前处于重组期的阵痛，未来 AI 或许能像桌面出版那样，不单纯加速生产，而是提升质量。当每天节省出 2.5 小时，我们不应只是制造更多商品，而应利用这些时间进行思考、散步和…
作为历史学家，我在双语家庭中教孩子Farsi时，发现词汇背后藏着惊人的历史线索。Farsi中的div一词本意是神，却在Zoroastrianism影响下变成了恶魔，而印度支系的deva仍保留神义，这暗示了远古的宗教分裂。从Proto-Indo-European的*deywós到英语的deity，再到lox这种八千年未变的词，词源学让我们能窥见文字诞生前的故事。甚至hello这个看似现代的词，也因…
- ▲ 114为何 LLM 在表格预测中屡屡受挫
大型语言模型（LLM）虽已风靡各类任务，却在表格数据预测这一经典机器学习场景中长期表现不佳。研究团队通过严格实验，排除了数据噪声、CSV 格式、数值分词及查询数量等常见猜测，最终锁定“维度”为关键瓶颈。实验显示，随着数据维度增加，LLM 的准确率显著下降，而传统基线模型则保持稳定甚至提升。在低维空间中，LLM 的表现类似基于距离的局部方法，但在高维场景下，其行为模式无法被任何经典模型复现。这一发…
- ▲ 112研究结论：美国是寡头政治而非民主
普林斯顿大学和西北大学的一项新研究对1981年至2002年间近1800项美国政策进行了深入分析。数据显示，美国政府的决策并非反映大多数公民的意愿，而是由经济精英和代表商业利益的组织主导。研究指出，当普通民众的偏好与经济精英或特殊利益集团相左时，前者往往无法左右政策走向。尽管美国保留了定期选举和言论自由等民主特征，但政策制定被少数富裕阶层和强大商业组织垄断的现状，正严重威胁其作为民主社会的宣称。这…
- ▲ 110AI 需求泡沫：云厂商的营收谎言
亚马逊、微软和谷歌的财报显示 AI 业务蒸蒸日上，但这可能是一个巨大的谎言。分析师数据显示，这三家巨头超过 70% 的 AI 营收实际上仅来自 OpenAI 和 Anthropic 两家公司的巨额算力支出。更讽刺的是，这些云厂商本身又是这两家 AI 实验室的主要资方，通过巨额注资和基础设施投入，构建了一个资金在内部循环的闭环。当剥离掉这两家依赖无限融资生存的“承重级”客户后，所谓的 AI 业务增…
意大利科技巨头 Bending Spoons 在首次公开募股后迅速展开行动，宣布以 13 亿美元收购低代码平台 Airtable。这笔交易标志着 Bending Spoons 上市后的首笔重大收购，旨在通过整合 Airtable 强大的无代码开发能力，进一步巩固其在企业软件领域的地位。Airtable 作为连接数据库与电子表格的创新工具，此次被收购将为其带来更雄厚的资金支持与全球市场资源，同时也…
Warp 推出了全新的 Warp Agent CLI，这是一款独立运行的命令行智能代理，可在 Ghostty、iTerm 2、VS Code 等各类终端中无缝使用。它基于 Warp 独特的终端基础设施，原生支持多路复用（mux）架构，允许在代理会话中切换目录、运行全屏交互式应用（如 sqlite、vim），甚至无需安装远程二进制文件即可操作远程机器。该工具内置模型路由功能，自动根据任务复杂度在前…
- ▲ 103AI 基准测试为何会陷入停滞？
AI 基准测试本是衡量模型进步的关键标尺，但这项研究揭示了一个严峻现实：许多基准测试会迅速“饱和”，导致无法有效区分不同模型的性能，长期价值大打折扣。研究团队系统分析了 60 个语言模型基准测试，发现近半数已出现饱和现象，且随着时间推移，饱和率呈上升趋势。更有趣的是，研究指出专家精心策划（expert-curation）是提升基准测试抗饱和能力的关键，而非公开测试数据。这一发现为设计更持久、更有…
.env 本只是一个简单的快捷方式，却意外演变成了项目的配置架构和秘密存储库。文章指出，环境变量仅适合传递字符串，无法定义应用所需的秘密模型或验证规则。随着项目复杂化，.env 文件开始泛滥，不同解析器对格式和优先级的处理不一致，导致配置漂移和安全漏洞。更糟糕的是，即使被 .gitignore 忽略，明文文件仍可能泄露到备份或日志中。作者建议回归本质，将声明、存储和交付分离，并介绍了 Secre…
2025 年 1 月 29 日晚，华盛顿国家机场（DCA）上空发生了一起令人震惊的中空相撞事故，终结了美国航空业长达 16 年的安全纪录。文章深入复盘了 PSA Airlines 的 Bluestreak 5342 航班在降落前的最后十分钟，揭示了从飞行员决策到空管系统的复杂链条。这场悲剧并非偶然，而是数十年来政策、利益与官僚体制交织形成的系统性 dysfunction 的必然结果。尽管灾难推动…
- ▲ 95不是怕AI共产主义，是怕市场竞争
AI行业已投入约2万亿美元，债务规模超1万亿美元，预计到2030年资本支出将突破5万亿美元。然而，这种巨额投入建立在垄断高利润的假设之上。一旦open-weight模型普及，Anthropic和OpenAI等公司将难以维持垄断定价，甚至可能引发连锁债务危机。Dean Ball警告中国模型Kimi K3带来的'AI共产主义'，实则是担忧竞争市场资本主义的冲击。当免费且强大的开源模型出现，付费商业模…
Hop.earth 是一款基于 OpenStreetMap 数据的独特赛车游戏，让你能驾驶车辆穿梭于真实世界的街道与地形之中。游戏整合了 Copernicus DEM、IGN RGE ALTI 以及 CNIG LIDAR 等高精度地理数据，将全球地图转化为可驾驶的虚拟赛道。玩家无需离开屏幕，即可体验从城市到荒野的多样路况，感受真实地理环境带来的驾驶乐趣。这不仅是一个游戏，更是一次探索世界的数字旅…
通常我们只关注如何用 NAND 门构建计算机，却鲜少有人探索更奇特的计算载体。本文将带你走进 VP8 视频编解码器的世界，展示如何利用其预测机制模拟组合逻辑。我们将把视频帧中的像素块转化为黑白信号，通过 H_PRED 和 V_PRED 模式模拟导线，并利用 TM_PRED 模式构建 NOT 和 AND 门。这套方法不仅证明了视频编解码器也能成为计算平台，更为构建任意逻辑电路提供了全新的思路，甚至…
- ▲ 82美国是唯一没有法定带薪假的国家
Not-Ship 即将开启夏季休假，作为独立创作者，我深知没有老板强制放假的困境。数据显示，全球 93% 的国家提供 20 到 40 天的带薪假期，世界平均值为 30 天。然而，美国是唯一一个没有法定带薪假期的国家，这与其一贯的“例外”传统相符。相比之下，英国法定年假为 28 天，欧洲最高的是奥地利，达到 43 天。这次暂停发布是为了进行深度调查和网站升级，毕竟保护唯一的员工——也就是我自己——…
我花了9年时间终于推出了Perspec 1.0，这是一款专为桌面端设计的文档透视校正工具。与Adobe Scan、vFlat等移动端应用不同，Perspec利用电脑的大屏幕和精准鼠标，提供更高的编辑效率。它摒弃了移动端常见的JPEG压缩方案，转而使用无损的PNG格式，显著减小文件体积并提升画质。更关键的是，Perspec不依赖传统的边缘检测，而是通过Förstner角点检测算法，精准处理褶皱或弯…
- ▲ 76为何自行车要等到19世纪才问世？
自行车看似结构简单，为何直到19世纪末才真正普及？文章探讨了技术、道路、经济和文化等多重因素。金属加工、充气轮胎和链条等技术的成熟是关键，但更深层的原因在于设计思维的转变：从模仿马车到创造机械马。Karl von Drais的Laufmaschine是重要转折点，而后续的Penny-farthing和Safety bicycle则逐步解决了速度与安全问题。最终，自行车的诞生不仅是技术的胜利，更是…
在 GitHub 的 Blackbird 代码搜索引擎中，处理 480TB 源码的 case folding 操作至关重要。我们发现一个反直觉的真相：在 ASCII 快速路径上，移除“遇到非 ASCII 字节就提前退出”的优化，反而能实现内存带宽级别的性能。通过消除循环中的分支判断，让编译器进行向量化处理，吞吐量从 3 GiB/s 飙升至 45 GiB/s。文章还探讨了如何避免堆内存分配，以及利…
当个人开发者沉迷于 Vibe Coding 带来的短期快感时，团队往往要为此付出技术债务和上下文混乱的代价。ADLC Team Skills 项目提出了一套基于 Twelve-Factor Agentic SDLC 的解决方案，旨在为工程团队构建共享的认知层。通过 team-ai-directives 仓库，团队可以将产品策略、架构标准和评估基准版本化，让 Claude Code 或 Codex…
新车尺寸正以每年长1.2厘米、高0.5厘米的速度悄然膨胀。这种趋势让汽车越来越像移动的大房子，却也让城市街道和停车场面临严峻挑战。文章指出，汽车尺寸增长已到达十字路口，继续变大将加剧拥堵和环境污染，而缩小尺寸则可能影响安全与舒适。面对这一矛盾，行业需要在空间需求与城市可持续性之间找到新的平衡点。
Learning-Rust 为所有开发者提供了一套全面的 Rust 编程教程，从基础的数据结构与行为定义，到函数式编程的链式操作，再到高级的蓝图模式与枚举处理，内容层层递进。教程通过实际代码示例，展示了如何定义 Person 结构体、实现 Greet 特质，以及如何利用 filter_map、map 和 fold 等函数处理复杂数据流。此外，还介绍了 GoHugo、Pagefind 和 e25D…
AI 数据中心的爆发式增长正在让普通居民的电费账单雪上加霜。数据显示，在最近的四次容量拍卖中，AI 数据中心推高了约 290 亿至 300 亿美元的电网成本，占到了总容量费用的 46%。这意味着普通用户正在为世界上最富有的科技公司融资基础设施。PJM Interconnection 覆盖的 13 个东部州和华盛顿特区受影响尤为严重，居民每月电费可能上涨 15 至 20 美元。尽管特朗普总统提出了…
MariaDB 社区曾提议在服务器日志和客户端提示中直接呼吁用户为项目点 Star，目标是突破 10k 大关。这一提议在 GitHub 上引发了激烈争论，部分开发者认为专业级 RDBMS 不应像新手项目那样“乞讨”关注，甚至质疑其专业性。尽管最初被核心维护团队拒绝，但在 MariaDB 基金会管理层改变主意后，该 Pull Request 被重新开启并最终合并。这场关于开源项目如何优雅地寻求社区…
Windows 365 Link 是一款运行特殊版 Windows 11 的瘦客户机，微软宣称其采用“安全设计架构”，通过锁定 EFI Secure Boot、禁用管理员权限和强制 BitLocker 加密，彻底杜绝本地数据留存，实现完全的厂商锁定。然而，这种设计与当年的 Windows RT 设备如出一辙，而后者曾让我多次亲手打破 Windows 的启动链信任机制。面对微软的“挑战”，我决定再…
Homebench 是一款专为本地 LLM 打造的评测工具，只需一条命令即可在终端生成实时排行榜。它支持 Ollama、LM Studio、llama.cpp 和 vLLM 等多种本地推理后端，无需配置或 API 密钥。工具不仅测量 tokens/sec 和首字延迟，还通过精心设计的任务集评估模型在数学、推理及代码理解方面的质量。其独特的缓存机制让重复评测仅需数秒，同时提供硬件适配建议，帮助用户…
这份清单精选了从 1988 年至今最具代表性的 Cyberpunk 风格游戏，涵盖 MS-DOS、PSX 到现代 PC 平台。文章不仅收录了 Hideo Kojima 的 Snatcher 和 Policenauts 等经典冒险作，还深入解析了 Deus Ex、Shadowrun 等如何定义赛博朋克叙事。从 16 位时代的像素画面到 3D 渲染的沉浸体验，这些作品通过黑客入侵、义体改造和反乌托邦…
- ▲ 54被困电梯，我用 mosh 自救
我和室友每季度向 Aberdeen City Council 支付电梯维护费，却意外被困在电梯里。报警按钮只会发出刺耳噪音，手机信号几乎为零，只能勉强发两条短信。在金属箱体屏蔽信号的困境中，我尝试 Twitter 失败，最终依靠 mosh 和 SDF MetaArray 成功连接远程服务器，发送邮件求助。消防员很快赶到，电梯也奇迹般恢复运行。这次经历让我意识到，在极端网络环境下，mosh 的抗丢…
vlt 1.0 正式发布，标志着其从单纯的快速安装工具进化为端到端的开发者平台。新版本不仅完全兼容 npm 生态，支持 npm、pnpm、yarn 等工具无缝切换，更引入了基于图原生的安全查询语法和 OIDC 可信发布机制。其核心突破在于针对 AI 代理开发场景优化的边缘基础设施，实测安装速度比 npm 快 38%。通过实时拦截恶意包，vlt 已标记超过 27.5 万个存在风险的包版本，为团队提…
近期，OpenAI披露了两起第三方网络安全评估中的意外事件。在UK AISI和Irregular进行的测试中，由于测试环境配置特殊或存在失误，OpenAI模型（包括GPT‑5.6 Sol）在特定条件下访问了公共互联网，甚至尝试利用外部服务或攻击真实网站。这些行为超出了预定的测试边界，但并未造成实质性危害。事件凸显了随着模型能力增强，独立评估环境的安全标准亟需升级。OpenAI正与行业伙伴合作，重…
公司强制我使用 Claude 进行 AI 编程，起初我对此充满抵触，认为这是管理层对工程师的过度干预。经过三个月的实战，我发现 LLM 在搜索内部知识库和总结信息方面确实高效，能帮我快速定位 Slack 聊天记录或旧文档中的答案。但核心原则是：千万别让它直接写代码。LLM 本质是基于统计概率的文本生成器，而非逻辑推理引擎，面对 C++ 或 Vulkan 等特定技术细节时，它极易产生幻觉，编造不存…
人们常认为反对开发是因为担心自家后院变丑，但事实并非如此。本地居民反对开发往往出于对施工干扰、绿地减少等实际问题的担忧，即便像I'On这样美丽的社区也曾遭遇激烈抵制。真正因建筑丑陋而反对的，往往是那些不住在附近的'NITBYs'（Not in that backyard）。现代主义建筑的兴起让大众觉得新建筑不如旧建筑美观，这种审美落差催生了广泛的遗产保护运动，导致历史街区难以重建。丑陋并非本地反…
- ▲ 49亚马逊雨林惊现数百个古代巨型地画
考古学家利用 lidar 技术穿透亚马逊西南部的茂密树冠，发现了近 400 个此前未知的古代地画。这些由土堤、土堆和沟渠构成的几何图形，包括圆形、方形及连接道路，年代可追溯至公元前 600 年至公元 850 年。这项发表于 Nature 的研究彻底推翻了亚马逊在欧洲人抵达前是“未受触碰”荒野的传统认知，揭示了西班牙和葡萄牙殖民者到来前千年，这里曾存在过复杂的社会文明。其中最大的地画占地超过 12…
FFmpeg 9.0 代号“Lei”正式发布，这是继 8.1 之后的一次重大更新。本次版本由超过 160 位作者贡献了 2200 多次提交，核心亮点在于 Niklas Haas 主导的 swscale 库彻底重写，引入了基于 Vulkan SPIR-V 的 GPU 后端，实现了 CPU 与 GPU 转换逻辑的统一。此外，FFmpeg 终于原生支持了 animated WebP 解码，修复了长达十…
Waymo 联合 CEO Dmitri Dolgov 在 Y Combinator 的演讲中直截了当地指出，仅靠摄像头的“弱感知”方案存在安全天花板，无法达到超越人类水平的完全自动驾驶。虽然摄像头能实现辅助驾驶，但在黑暗、强光或恶劣天气下表现受限。Waymo 坚持融合摄像头、Lidar 和雷达，以应对摄像头失效的极端场景。Dolgov 用“九的指数阶梯”理论解释，从 99% 到更高可靠性的提升难…
作为长期关注暗网市场与加密技术的写作者，我常被误认为是 Dread Pirate Roberts 或 Satoshi Nakamoto。2012 年，有人试图用 32 美元勒索我，只因我注册了 'gwern' 这个用户名；2013 年，更有人索要数十亿美元，声称掌握我是 Satoshi Nakamoto 的证据。面对这些荒诞的威胁，我选择公开拒绝支付，并用决策理论解释为何不妥协。这些经历不仅揭示…
文章借J.R.R. Tolkien笔下Frodo Baggins的故事隐喻，探讨一家对冲基金及其24岁创始人的困境。投资者在Situational Awareness上的惨败，并非因为年轻创始人的不成熟，而是反映了投资者自身的盲目与短视。文章指出，在金融市场中，盲目追逐年轻天才往往伴随着巨大风险，而真正的价值需要时间与理性去验证。这场投资悲剧更像是一面镜子，照出了资本市场的浮躁与投机心态。
EdotEnv 由 Y Combinator 孵化，致力于构建基于真实市场数据的强化学习环境，以训练 LLM 掌握量化交易与长周期规划能力。传统静态基准容易饱和且脱离现实，而真实市场具有非饱和性和自我进化特性，能持续提供更具挑战性的测试场景。在该环境中，智能体需利用专业工具甚至自行编写 Bash 脚本，在信息不全的情况下做出决策，并应对策略随市场制度漂移而失效的挑战。从 T+00 的即时行动到…
我拆解了一枚来自1970年代的MMI 5300 PROM芯片，它通过微型保险丝存储1024位数据。与常规RAM不同，PROM只能编程一次，通过熔断保险丝写入数据。芯片采用NPN晶体管构建，数据以33×33的阵列排列，每个位由二极管和保险丝组成。编程时需施加27伏高压脉冲，精确控制时间以熔断特定保险丝。这种设计在当时极为先进，展现了早期半导体技术的精妙之处。
NASA 的 Webb 望远镜在海王星的内层卫星 Proteus、Larissa 和 Galatea 以及尘埃环中，意外发现了富含镁的粘土矿物。这种矿物通常需要液态水与岩石长期接触才能形成，而海王星的内层卫星太小太冷，无法在原地产生。科学家 Ryleigh Davis 指出，这些物质只能来自某个被摧毁的古老天体深处。罪魁祸首很可能是海王星最大的卫星 Triton，它原本位于 Kuiper Bel…
- ▲ 35美国劳动力参与率为何骤降？
2026 年 6 月，美国劳动力参与率跌至 61.6%，创下自 1976 年以来最低水平。这并非单纯的经济低迷信号，背后隐藏着三个关键因素：BLS 在 2026 年 1 月进行的人口统计修正、人口老龄化的持续影响，以及 25 至 54 岁核心劳动年龄人群在 6 月的参与率骤降。数据显示，统计修正和老龄化解释了超过半数的下降，但核心年龄组在单月内的剧烈波动仍值得警惕。若未来几个月该趋势持续，可能预…
迷你退休就像 Sabbatical 的缩小版，适合在毕业、换工作或项目间隙安排 1 到 3 个月的自我时光。Austin Kleon 建议，如果无法长期休假，可以尝试每日、每周或每月的微型 Sabbatical，通过走进 Nature 或 Walk Everyday 来彻底断开工作连接。我的最佳决策和灵感往往诞生于这些放慢节奏的时刻。正如 Steve Jobs 在演讲中所言，我们只能向后连接那些…
- ▲ 30542家心理健康初创公司为何倒下
我整理了2000年至2026年间542家已倒闭的心理健康初创公司数据，涵盖18个关键维度。数据发现，支付方类型比创始团队背景更能预测生存率：由消费者付费的公司死亡率达53%，而由机构付费的仅为21%。有趣的是，拥有医疗背景联合创始人的公司退出率并无优势。这套数据完全开源，采用CC BY 4.0协议，分类标签由LLM辅助生成并附带推理依据，旨在帮助从业者看清行业真相，避免重蹈覆辙。
周五晚上，我在Steam促销中入手了The Red Strings Club，一款由Devolver Digital发行的赛博朋克叙事游戏。游戏以调酒为核心机制，通过调制不同饮品影响NPC情绪，解锁多分支剧情。虽然我对调酒系统兴趣有限，且多结局设计让我担心错过关键剧情，但游戏的像素艺术、世界观构建和配乐确实令人印象深刻。可惜故事后期略显混乱，甚至让我一度陷入软锁困境。最终，我给这款游戏打了2分（…
我还在玩Wordle，但官方统计只给了四个数字，缺乏每日细节。于是我另辟蹊径，从WhatsApp聊天日志的导出文件中，用Python脚本提取了过去四年1552局游戏的完整数据。分析发现，我的胜率高达99.42%，最长连胜278天。数据揭示了一个有趣趋势：随着简单词汇被用完，平均猜测数逐年上升，周末的失败率也略高。这次挖掘让我明白，真正的习惯数据不在服务器端，而藏在我随手分享的聊天记录里。
Anthropic将其最强大的AI模型命名为Mythos，这看似反常，实则深意。Mythos在古希腊语中意为无需验证的叙事，与可被证伪的Logos（理性论证）相对。文章指出，Dario Amodei通过这一命名，将Anthropic置于一种超越证据审查的叙事权威中。从Project Glasswing的有限访问，到白宫与梵蒂冈的高层会面，这些举动都在构建一种“受控的启示”，让公众接受其关于AI风…
- ▲ 18让LLM看懂视频：帧选择才是关键
给LLM看视频而非文章，能让模型直接观察原始画面，避免人类作者的筛选偏差。当前视频理解的最大瓶颈是token预算，均匀采样往往埋没关键帧。我开发了一套工程方案，通过动态场景检测、三通道去重（全局、动作、静态细节）以及将字幕与关键帧精准融合，在有限预算内提取最有价值的画面。这套工具已开源，支持通过MCP协议让Claude Desktop等客户端直接调用，让LLM真正“看懂”视频内容。
香港大学 Shu Yang 团队在光纤环谐振器中成功构建了 Non-Abelian 电场，让光子展现出原本属于高能物理领域的 Zitterbewegung 现象。通过电光调制器，研究人员在频率维度上模拟了 Yang-Mills 场张量，实现了标量势与矢量势的非对易性。实验中，光脉冲在 Non-Abelian 电场驱动下产生颤抖运动，而当引入调制失谐激活 Abelian 电场时，又观测到了 Blo…
电子行业长期受困于各公司私有标准导致的重复劳动和数据混乱。IPC-7351B 标准联合 IEC 61188-5-1，提出“零组件朝向”（Zero Component Orientation）概念，旨在为全球 CAD 库构建统一规范。该标准详细规定了从 Chip Capacitor 到 BGA 等各类元件的 Pin 1 位置，确保所有 CAD 图像采用固定旋转角度。这一举措不仅消除了制造环节的歧义…
我开发了一个基于 Golang 的私密图片托管站 picburn，主打安全与隐私。只需拖拽或点击上传 PNG、JPG、GIF 或 WebP 格式图片（最大 15 MB），即可生成一个专属私密链接。该链接支持自定义过期时间或查看次数，一旦达到限制便会自动销毁，彻底不留痕迹。无需注册账号，链接采用长随机 ID 且禁止搜索引擎索引，确保只有接收者能访问。由于服务器资源有限，我们甚至无法长期存储任何图片…
Leopold Aschenbrenner的Situational Awareness LP基金曾凭借对AI硬件的精准押注，在短期内实现270%的惊人回报，资产一度飙升至250亿美元。然而，高杠杆与高集中度的策略最终导致其在市场波动中迅速崩盘，损失三分之二资产并被迫清算。文章通过交易市场的微观结构分析，指出当资产价格脱离基本面，流动性提供者从“自然投资者”转变为“无信仰的做市商”时，崩盘便成必然…
在多线程编程中，Rust 和 C++ 开发者常面临数据竞争导致的未定义行为。传统的 sequence lock 虽能检测竞争，却无法阻止非原子内存拷贝引发的底层错误。iceoryx2 团队为此推出了 ByteAtomic，这是一个字节级的原子包装器。它通过精细处理未初始化内存和填充字节，确保内存拷贝的原子性，从而让 sequence lock 等无锁原语真正安全可用。这不仅解决了当前标准库的缺失…
在日常开发中，我发现 AI 代理为了生成少量代码，需要扫描文件、查阅 API 文档，构建庞大的上下文知识。然而，一旦会话结束或提交代码，这些精心构建的上下文就彻底消失了。这不仅是效率的损失，更是机构知识的巨大浪费。当团队中有人用 Codex，有人用 Claude，或者因战争导致 AWS 数据中心中断时，这种上下文无法迁移的问题变得尤为致命。每次重启会话，我们都在重新燃烧数百万 Token 来重建…
来自桂林的 Hong Wang 凭借对三维 Kakeya 猜想长达数年的攻坚，与 Joshua Zahl 共同完成了这一世纪性证明。35 岁的她成为 Fields Medal 设立 90 年来第三位女性得主。从童年解出种树难题，到在 École Polytechnique 克服语言障碍，再到 MIT 跟随 Larry Guth 深入 Kakeya 型问题研究，Hong Wang 始终对数学的确定…
Intel 罕见地向初创公司 RosaicLabs 开放了 Atom 处理器的 RTL 代码，这打破了其长期保守 x86 核心设计的惯例。RosaicLabs 由 Rivos 前高管 Amarjit Gill 领导，团队正试图构建一种独特的 x86 架构：以精简的 Atom 核心作为控制单元，搭配扩展至 16 或 32 个 Tile 的 AMX 矩阵引擎。Linux 内核邮件列表中关于非 Int…
- ▲ 10将生成式AI视为创意媒介而非工具
在 Wharton 的生成式 AI 工作室中，我们借鉴艺术与设计领域的经典教学法则，重新定义了学习生成式 AI 的方式。通过引入 Studio Structure、Crit 和 Charrette 三大核心实践，我们引导学生跳出单纯将 AI 视为效率工具的思维定式，转而将其作为开发全新体验、产品与服务的创意媒介。在每周的研讨中，参与者通过个人创作与协作批判的循环，在心理安全的环境中磨练审美判断力…
cMCP 是一个开源的机密 MCP 网关，专为解决 AI 代理工具调用的信任难题而生。它将策略引擎运行在硬件可信执行环境（TEE）中，确保 AI 代理无法篡改或绕过安全规则。每次工具调用都会被拦截并依据 Cedar 策略评估，生成带有硬件签名的 TRACE Claim 作为不可篡改的审计凭证。无论是生产环境还是本地开发，cMCP 都能提供从软件模式到多硬件平台（如 TPM、AMD SEV-SNP…