每日摘要 · Hacker News
· 63 黑客新闻
- ▲ 710Nitter 存活实例反超关停前
尽管面临多次关停压力，Nitter 的可用实例数量反而超过了关停行动之前。最新列表显示，包括 shitter.thepixora.com 在内的多个公开实例正在正常运行，部分甚至通过 Tor 网络提供服务。同时，社区也在积极分享如何获取 session tokens 以及利用 Gluetun 规避 DMCA 投诉的进阶指南。这证明了去中心化替代方案在应对平台审查时的强大韧性与社区协作能力。
2026年9月5日，德国公司Isar Aerospace在挪威Andøya Space Center成功发射Spectrum火箭，这是历史上首次有火箭从欧洲本土土壤发射并进入轨道。此前，Spectrum在2025年3月的首飞中因技术故障失败，但经过全面调查与改进，此次“Onward and Upward”任务携带了五颗立方星和一项科学实验。Isar Aerospace计划将Spectrum打造为…
- ▲ 564读者大起义：LLM 写作正在失效
作为长期读者，我深感沮丧：太多人发布明显由 LLM 撰写的文章。调查显示，78% 的开发者一旦发现 LLM 痕迹会立即停止阅读，71% 还会永久避开该作者。读者追求的不是完美语法，而是真实感。使用 LLM 代笔违背了作者与读者的社会契约，正如垃圾邮件曾威胁电子邮件生态一样，LLM 写作正面临信任危机。Pangram 4 等检测工具已能精准识别 AI 内容，Oxide 已强制要求公开写作必须通过检…
- ▲ 50460 岁感悟：生活中真正的奢侈品
我热爱 Labor Day 周末，它标志着我童年记忆中 summer 的结束和 fall 的开始。如今我已 60 岁，即将迈入 61 岁，开始更多地思考自己真正在意的事物。昨天 Amy 发给我一份清单，列出了生活中真正的奢侈品：时间、健康、宁静的内心、缓慢的早晨、旅行的能力、毫无负罪感的休息、优质的睡眠、平静甚至“无聊”的日子、有意义的对话、家常饭菜、你爱的人以及爱你的人。这份清单简单却深刻，提…
我在 LinkedIn 做 SRE 时就曾尝试构建自愈系统，如今 AI 已能独立处理告警、定位根因甚至自动修复。这虽令人兴奋，却埋下隐患：当 AI 包办常规故障，工程师将失去磨练直觉的机会。正如 Lisanne Bainbridge 提出的自动化悖论，自动化越高效，人类应对罕见复杂故障的能力反而越弱。航空业通过模拟器反复训练飞行员应对极端状况，软件行业也需如此。在 Rootly，我们正与 Upt…
- ▲ 377LLM 正像认知病毒一样扩散
这篇论文提出一个大胆观点：大型语言模型（LLMs）的普及过程更像是一种认知病毒的传播。研究团队通过建模分析，展示了LLM使用如何从独立用户演变为深度依赖，并在社会传播、集体强化和恢复机制的相互作用下，可能引发认知能力的突然下降。一旦越过临界点，微小的采用率增长就能触发大规模依赖，导致认知自主性的丧失。不过，研究也指出，通过降低传播速度和提升可逆性，人类仍有机会实现‘认知免疫’，避免陷入技术锁定。
- ▲ 374荷兰将黄金从美国运回伦敦
荷兰央行 De Nederlandsche Bank 因担忧地缘政治动荡，将数十吨黄金储备从美国和加拿大转移至英国伦敦。这一举措旨在提升危机应对能力，确保在极端情况下黄金储备能更快速地被调用。专家分析认为，这反映了欧洲对特朗普政府政策的不信任，特别是其针对传统盟友的强硬态度。De Nederlandsche Bank 行长 Olaf Sleijpen 表示，虽然希望永远不需要动用这些储备，但加强…
Wisconsin退伍军人Napoleon Jones在合法录制交通执法后，竟遭Waukesha County Sheriff's Office报复。联邦诉讼揭露，警方在Jones提起投诉后，动用Flock系统对其车辆进行了超过100次搜索。尽管Jones并未涉嫌犯罪，且事发地并无Flock摄像头，警方仍被指滥用技术进行监控。这一事件不仅暴露了Flock系统在缺乏监督下的滥用风险，更引发了公众对…
- ▲ 37160 美元组装 PS5 芯片游戏主机
这并非真正的 60 美元整机，但 AMD BC-250 主板在 eBay 上确实能以这个价格入手。这块板子本质上是未通过 PS5 质检的 APU 芯片，原本用于加密货币挖矿。它拥有 6 核 Zen 2 CPU 和 24 个计算单元的 RDNA 2 GPU，共享 16GB GDDR6 内存。虽然需要动手修改散热、刷写定制 BIOS 并运行 Manjaro Linux 等系统，但经过折腾后，它竟然能…
Pushin.eu 是一个坚持将代码完全托管在欧洲的 Git 平台，拒绝任何美国法律管辖和 CLOUD Act 传票。这里不训练 AI 模型，也不允许合作伙伴使用你的代码，彻底杜绝了用开发者数据喂养大模型的风险。平台专注于服务人类开发者而非机器人，主动拦截低质量的自动提交（slop），保护维护者免受骚扰。所有数据存储在法国 Scaleway 的裸金属服务器上，确保数据主权。虽然目前邀请制且部分功…
- ▲ 333联合国承认：1.5度温控目标将失守
联合国环境规划署发布最新报告，正式承认全球变暖即将突破1.5摄氏度的安全阈值。这意味着人类已无法阻止部分气候灾难的发生，未来的战略重心将从“预防”转向“适应”与“回退”。报告指出，虽然气温将在未来几年内超过警戒线，但通过停止化石燃料使用并开发碳移除技术，人类仍有望在本世纪末将温度拉回安全区间。然而，在达到峰值并回落的这段“超调”期内，世界将面临更频繁的极端天气、海平面上升及物种灭绝等严峻挑战。
- ▲ 3203M 如何隐瞒“永久化学品”灾难
如今我们已知，绝大多数人体内都含有“永久化学品”（PFAS）。早在几十年前，3M 公司就已经清楚这些化学物质渗入公众血液的事实，却选择将其深藏不露。记者 Sharon Lerner 耗时十年调查，试图揭开企业知情却沉默的真相。前 3M 科学家 Kris Hansen 的现身，终于拼出了关键拼图：她在 90 年代发现，连未接触过工厂的普通人群血液中也都检测出了 PFOS。这一发现本可阻止灾难，但公…
- ▲ 306用 OCaml 开启编程学习之旅
这本由 Sylvain Conchon 和 Jean-Christophe Filliâtre 编写的 OCaml 编程指南，是法语原版书籍的英文译本，由 Urmila Nair 翻译完成。项目得到了 The OCaml Software Foundation 的资金支持，并以 CC BY SA 4.0 协议开源。读者可以免费下载 PDF 或 EPUB 格式的电子书，同时获取配套代码资源。书中内…
Wikimedia Foundation 的美国员工在工会选举中取得压倒性胜利，决定加入 Communications Workers of America (CWA) Local 9415。这一结果标志着 Wiki Workers United 全球运动的重要里程碑，旨在通过集体谈判争取员工话语权、透明度和公平待遇。尽管管理层最初拒绝承认，员工仍坚持通过 National Labor Rela…
AI 编程代理的开销大头并非推理，而是读取文件和生成样板代码等 I/O 操作。Spotify 工程师利用 Portal 中的 AiKA Modes 构建了一套智能路由机制，将这类低价值任务分流给廉价的 Gemini 2.5 Flash 模型，仅保留 Claude 处理核心逻辑。通过 shunt 插件拦截大文件读取和重复代码生成，这一方案在 Java 单体仓库测试中实现了惊人的 90% 代币节省。…
作为正在深入 Rust 的开发者，我试图通过对比 C++ 来理解 Rust 的多态机制，却很快意识到这种类比是个陷阱。Rust 并非只是换了语法的 C++，其核心哲学截然不同。本文通过代码实验，深入剖析了 Rust 的静态分发与动态分发（dyn Trait）在内存层面的运作细节。你将看到 Rust 如何处理零大小类型（ZST），以及为何 &dyn Trait 是一个包含数据指针和 vtable…
- ▲ 194欧洲央行为何将黄金移出北美？
荷兰央行近期确认将86吨黄金从美国和加拿大转移至伦敦，旨在应对日益加剧的地缘政治动荡。这一举动并非孤例，法国和德国此前也已采取类似措施，将储备金运回本土或调整存储地。专家分析指出，虽然战争和贸易紧张局势是诱因之一，但通胀、利率以及资产管理的灵活性同样是关键考量。伦敦作为全球主要交易中心，其安全性与流动性使其成为黄金存储的热门选择。随着全球央行对黄金需求的激增，这种将“家底”握得更紧的策略，正成为…
- ▲ 176让.gitignore 默认忽略一切
我们都有过这样的经历：在项目中提交代码时，不小心把.DS_Store、node_modules 或 IDE 配置文件甚至环境变量也一起提交了。事后不得不尴尬地清理历史记录，把不该出现的东西从 Git 仓库中移除。为什么不换个思路？与其默认允许所有文件再手动忽略，不如默认忽略一切，只显式允许需要的文件。比如在一个简单的 Go 项目中，只需在.gitignore 中设置忽略所有文件，再单独放行.gi…
- ▲ 175南非钻石矿因人造钻石而关闭
南非的钻石矿正面临前所未有的关闭潮。销售疲软加上人造钻石（lab-grown stones）的强势崛起，让传统矿业举步维艰。对于许多依赖采矿为生的南非人而言，这不仅是行业的衰退，更意味着生计的断绝，而当地却鲜有替代方案。这一趋势揭示了全球奢侈品市场正在发生的深刻变革，天然钻石的垄断地位正被技术驱动的新兴力量所动摇。
Artificial Analysis Intelligence Index v4.2正式发布，通过引入AA-Briefcase和GDP.pdf等更具现实挑战的测试集，大幅提升了评估的复杂性。新版指数将40%的权重分配给私有测试集，有效防止模型针对评测进行优化。榜单上，Anthropic的Claude Fable 5.1位居榜首，OpenAI的GPT-6 Astra紧随其后，并在输出Token效…
Terpstra Keyboard 是一款颠覆传统键盘设计的创新乐器，拥有 280 个可变色连续控制器。自 1997 年第一代问世以来，它便以独特的交互方式吸引音乐家和科技爱好者。不同于普通键盘的离散按键，Terpstra Keyboard 允许用户通过滑动和按压实现音高、音量的连续控制，配合动态变色反馈，带来前所未有的演奏体验。无论是现场表演还是录音创作，它都能激发无限创意。现在，你甚至可以直…
- ▲ 139烟草巨头如何催生超加工食品
1963 年，美国烟草巨头 R.J. Reynolds 收购 Hawaiian Punch，标志着烟草行业正式跨界进入食品领域。随后，R.J. Reynolds 和 Philip Morris 大肆扩张，拿下了 Del Monte、Nabisco、Kraft 和 7UP 等知名品牌。这些公司利用在烟草行业磨练出的营销策略，专门针对儿童等弱势群体，大规模生产高适口性、化学 engineered 的…
两年前我们用 Lumafield Neptune 扫描仪对 Intel Core i9-13900K 进行了 CT 扫描，这次轮到 Intel Core i9-14900KS 了。这次扫描不仅展示了 CPU 内部硅晶圆的核心结构，还清晰呈现了 PCB 背面的电容布局和内部 vias 细节。通过层切动画，我们能直观看到 E-cores 和 P-cores 的分布，以及中央的 cache 和 bus…
- ▲ 114五角大楼突然撤回睾酮筛查政策
在国防部长 Pete Hegseth 于 7 月宣布美军将实施强制睾酮筛查后，五角大楼于 9 月 2 日发布了相关临床指导文件。然而，该文件仅上线一天便在次日神秘消失，五角大楼方面仅称需“更新”内容，却未给出任何具体解释。医学界对此举早有质疑，Endocrine Society 和 American Urological Association 均不支持常规筛查。专家警告，随意使用睾酮治疗不仅无…
2026 年 Ig Nobel 奖颁奖典礼从波士顿移至瑞士 Zurich，获奖研究涵盖多个领域：Matilda Brindle 等人重新定义了蚂蚁、鸟类和人类的“亲吻”行为；Paul Piff 团队发现上层阶级更倾向于拿取儿童糖果等不道德行为；Sanchari Banerjee 等人发现 viviparous cockroaches 的乳汁蛋白能量是牛奶的三倍；Tokuji Unno 研究了如何…
Isar Aerospace 的 Spectrum 运载火箭在 Andøya Spaceport 执行了名为 'Onward and Upward' 的关键任务。这是该火箭的第二次飞行，也是其资格认证飞行，首次携带有效载荷尝试入轨。此次发射标志着 Isar Aerospace 在吸取首次试飞经验后的重大进步，展现了其不断追求技术突破的决心。直播由 NASASpaceflight 团队合作制作，吸…
- ▲ 104代码没有下限：为何“沉船”比喻是错的
我在 Amazon 工作期间，曾深陷一个庞大而混乱的遗留系统。人们常把糟糕的代码库比作“沉船”，暗示它终会触底或沉没。但现实是，业务可能在代码彻底崩溃前就因成本过高而倒闭，而代码本身却能在抽象领域无限恶化。技术债务没有破产清算机制，也没有真正的重置按钮。只要没人主动舀水，这艘船就会永远下沉，且没有尽头。
1984年，Mimic Systems在Commodore 64杂志上投放了一系列令人费解的广告，主角竟是一个哑剧演员，而非产品原型。直到两年后，名为Spartan的外设才终于面世，旨在让Commodore 64运行Apple ][+软件。然而，这款设备不仅发布时技术已过时，还因设计缺陷和糟糕的兼容性饱受用户诟病，甚至被戏称为“把Commodore 64变成了外设”。尽管当年评价惨淡，如今Spa…
Balrogg 是一款专为 Ogg Vorbis 和 Opus 音频文件设计的无损重压缩工具，能将文件体积缩小 8% 到 15%。它通过智能优化编码参数，在保持音质的前提下显著提升存储效率。无论是单文件还是批量处理，Balrogg 都能高效运行，并支持从 Windows 95 到现代 Linux 系统的跨平台部署。对于音频爱好者和开发者来说，这是一个既实用又高效的工具。
Go 1.24 将内置 Map 的底层实现全面升级为基于 Swiss Tables 的设计，彻底改变了 Key-Value 对的存储与检索方式。文章深入解析了 Map 在运行时的真实结构，从最基础的 Group 单元到复杂的 Table 管理，揭示了 Go 如何利用 SIMD 指令和 Control Bytes 实现高效的哈希查找。通过对比新旧实现，我们能看到 Go 如何通过随机 Seed 优化…
上周我在使用 Git Worktree 时，发现它和 Git Submodules 的冲突导致无法移除工作树。这让我重新审视 Submodules 作为包管理器的可行性。虽然它拥有精确的 Commit SHA 锁定和类似 Manifest 的 .gitmodules 文件，但在依赖解析、存储隔离和更新机制上远不如现代包管理器完善。从 Rust 项目弃用 Submodules 的经历，到多次远程代…
这是一款致敬经典的双翼飞机飞行游戏，玩家需操控飞机穿越充满气球的赛道，通过精准操作完成特技飞行并击破目标。游戏支持键盘与触屏操作，提供复古CRT扫描线滤镜、真实引擎音效及大气风动力学模拟。无论是调整俯仰角、控制油门，还是利用道具加速与射击，都能让你沉浸在充满挑战的飞行体验中。
Coreutils 工具报错五十年，终于迎来了改变。uutils coreutils 0.11.0 版本引入了类似 rustc 编译器的诊断功能，不再只给出一行模糊的错误提示，而是用箭头精准指向参数中的具体错误字符。无论是 tr 的字符集范围、sort 的字段规格，还是 chmod 的权限模式，现在都能清晰定位问题所在。这一改进仅在终端交互时生效，脚本和管道中仍保持原有格式，确保了与 GNU c…
红隼（red-footed falcon）本以群居闻名，却在欧洲繁殖地数量锐减。匈牙利鸟类学家 Péter Palatitz 通过安置巢箱助其复苏，并利用卫星追踪器揭开了它们迁徙的惊人秘密：每年数百万只红隼会聚集在安哥拉中部一个仅1.5平方英里的区域，被称为 Falcopolis。这里不仅是它们越冬前的集结地，更是它们依靠白蚁盛宴补充能量的关键站。面对偷猎和栖息地丧失的威胁，当地社区与 Orbi…
我是妻子，也是母亲。看着刚离婚的朋友在寻找新伴侣时，我突然意识到：我也想要一个妻子。我想要她支持我重返校园，让我实现经济独立；我想要她照顾孩子、打理家务、烹饪美食，甚至在我生病时悉心照料。我渴望她处理社交琐事，满足我的情感与生理需求，却从不抱怨。更荒谬的是，我甚至希望拥有随时替换她的自由。这篇1971年的文章通过这种极端的角色互换，犀利地揭示了传统婚姻中女性被隐形剥削的真相，让人在荒诞中感到深深…
AI 代码代理的上下文窗口关闭后，宝贵的架构决策和领域知识往往随之消失。OKF Agent Memory 基于 Google OKF v0.2 标准，提供了一个完全 Git 原生的持久化记忆层。它通过纯 Go 语言构建，无需外部数据库，利用内存中的 BM25 搜索将检索延迟压缩至 300 微秒以下，同时通过渐进式披露机制减少 80% 的 Token 浪费。所有记忆以 Markdown 文件形式存…
2016年，New Jersey Transit和Long Island Railroad接连发生列车冲出轨道的事故，NTSB调查指出司机因睡眠呼吸暂停症睡着是主因，但也暴露了终端防护系统的缺失。在Practical Engineering中，我通过模型演示了不同止挡装置的物理原理：从简单的静态bumping post到利用摩擦的滑动装置，再到能平滑吸收能量的dashpot snubber。面对…
Terence Tao 在最新论文中证明，对于一种经过平均处理的三维 Navier-Stokes 方程，存在有限时间爆破的解。这项研究形式化了全局正则性问题中的“超临界性障碍”，表明仅依靠能量恒等式和非线性部分的上界函数空间估计，无法证明 Navier-Stokes 方程的全局正则性。通过构造保留能量恒等式但允许解在有限时间内发散的平均算子，该成果为理解 Navier-Stokes 方程的奇点形…
在代码审查中，最棘手的问题往往藏在修改行之外。我们的评估显示，GPT-6 Astra在跨文件审查中表现突出，比GPT-5.6 Sol多发现20%的潜在漏洞，比Opus 5高出33%。这种在复杂上下文中连接分散信息的能力，正是其核心优势。当然，更强的推理能力意味着更高的成本：Astra的API价格约为Sol的2.5倍。我们甚至用Astra独立构建并平衡了一款名为NIGHTSHIFT的动作RPG，验…
Anthropic 公开了 Claude 消费级应用的系统提示词，其中 Fable 5.1 版本新增了严格条款，明确禁止复现歌曲歌词、诗歌及书籍片段。这一变化紧随 Sony Music Publishing 和 Warner Chappell 起诉 Anthropic 使用歌词训练 AI 的新闻之后。此外，新提示词还禁止生成受版权保护的角色和标志，即使通过代码绘图也不行。在应对粗鲁用户时，Cla…
在 Cisco 工作了 25 年后，我接到了裁员电话。那一刻，日历上满满当当的日程瞬间失去了意义，我陷入了深深的羞耻感中。理性上，我知道离开这家我早已厌倦的公司是好事，但情感上，那种被当作“可消耗品”的抛弃感触动了童年关于“无价值”的创伤。愤怒无法解决问题，普通的倾诉也无济于事。于是，我前往荷兰参加了一次蘑菇静修。在幻觉中，当自我意识退场，那些困扰我的怨恨变得微不足道，答案简单得令人惊讶：爱自己…
凸多面体无法变形，但Steffen's Polyhedron打破了这一认知。由Klaus Steffen设计的这个几何体仅由14个三角形面组成，却能在保持每个面形状不变的情况下自由扭曲。Greg Egan详细拆解了其构造逻辑：通过组合两个具有特定边长关系的柔性金字塔，并巧妙固定关键距离，最终形成了一个拥有自由度的非自交多面体。尽管2024年Gallet等人发现了仅含8个顶点的更优解，但Steff…
- ▲ 61对数据中心的道德恐慌是愚蠢的
随着人工智能的爆发式增长，全球对数据中心能耗和环境影响的担忧日益加剧，甚至演变成一种道德恐慌。然而，这种恐慌往往忽略了技术进步带来的效率提升和能源结构的优化。文章指出，盲目抵制数据中心建设不仅无助于解决气候问题，反而可能阻碍AI等关键技术的发展。通过对比历史案例和当前数据，作者认为，与其陷入无谓的道德指责，不如聚焦于技术创新和能源转型，让数据中心在可持续发展中发挥积极作用。
- ▲ 61纽约与洛杉矶学区叫停AI
在 ChatGPT 发布引发教育界震荡三年后，美国两大最大学区纽约市教育局和洛杉矶联合学区（LAUSD）在 2026 学年伊始再次收紧政策。纽约市禁止 K-8 年级学生使用面向学生的 AI，仅允许高中生有限使用经批准的工具；LAUSD 则对所有约 37.8 万名学生实施为期一年的生成式 AI 禁令。这一转变源于家长、教师和学生对 AI 潜在风险的强烈担忧，尤其是青少年心理健康问题。尽管此前曾短暂…
- ▲ 58新加坡 MRT 信息显示屏的类型
在访问 sgtrains.com 时，页面触发了安全验证机制，提示正在进行防恶意机器人检查。虽然无法直接获取新加坡 MRT 信息显示屏的具体技术细节，但这一现象反映了当前网站安全策略的普遍性。对于关注公共交通技术或网站安全机制的读者来说，了解这些验证流程背后的逻辑同样具有参考价值。
- ▲ 57Kale：让电子表格告别引用陷阱
电子表格中的公式引用往往暗藏危机。当用户调整表格结构时，系统自动更新的引用范围常与预期不符，导致难以察觉的错误。研究团队通过用户实验证实，传统引用机制存在显著风险。为此，他们推出了Kale原型系统，通过限制可表达的引用类型，从根源上杜绝此类错误。测试表明，用户能利用Kale高效完成在传统系统中极易出错的任务。这项研究不仅揭示了现有工具的缺陷，也为构建更安全的数据处理环境提供了新思路。
- ▲ 56程序员关于LAN的常见误区
你以为LAN就是简单的局域网？其实里面藏着不少陷阱。从NAT的复杂性到MAC地址的不可靠，再到DHCP和IP地址的误解，很多程序员对LAN的认知都存在偏差。这篇文章列举了多个常见的错误假设，比如“LAN一定很快”“同一子网就能通信”“Wi-Fi和Ethernet设备完全平等”等，并指出这些观点在现实中往往并不成立。通过深入剖析这些误区，帮助开发者更准确地理解网络架构，避免在设计和调试中踩坑。
- ▲ 52让每个 App 都能一键连接彼此
我一直羡慕 Zapier 拥有庞大的连接器库，梦想着 Val Town 这样的 vibe coding 平台能一键连接所有应用。这本质上是一个经典的 n² 问题，而 OAuth 协议似乎接近答案，却仍卡在手动注册客户端的繁琐流程上。好在 Anthropic 和 OpenAI 在 MCP 规范中引入了动态客户端注册（DCR）和客户端 ID 元数据文档（CIMD），让应用能自动完成授权，无需人工干预…
在 2025 年巴塞罗那 Electronic Cash Conference 上，TixTown 创始人兼 eCash 开发者 Tobias Ruck 带来了一场名为《用 Latin 写软件的 6 个理由》的幽默演讲。这场别开生面的分享并非真的要大家回归古代语言编程，而是以 tongue-in-cheek 的方式，探讨编程语言选择背后的文化、历史与技术哲学。Tobias Ruck 通过调侃与思…
Isar Aerospace 的 Spectrum 火箭第二次飞行任务 Onward and Upward 经历了多次推迟。从加压阀故障到燃料温度异常，再到海上船只闯入禁航区，团队在 Andøya Space 发射场不断排查问题。尽管遭遇多次发射中止，CEO Daniel Metzler 强调失败是火箭行业的常态，每一次尝试都积累了宝贵经验。此次任务旨在验证 Spectrum 火箭的关键系统，并…
作者回忆童年时与邻居 Bob 和 Van 的交往。Bob 在父亲去世后帮助母亲处理家务，Van 则默默为作者修剪草坪、清扫积雪。这些善意从未因政治观点而改变，因为作者甚至从未了解过他们的政治立场。如今，社会似乎要求我们公开评判邻居的政治观点，否则就会被谴责。作者反思，或许我们过去并不清楚每个人对每件事的看法时，生活反而更简单纯粹。社区不再因政治立场而分裂，咖啡店只是咖啡店，邻居只是邻居。
- ▲ 44RAND报告：太空战缺人重建卫星
RAND最新报告指出，美国在与中国或俄罗斯爆发冲突时，将面临严重的太空资产重建困境。核心问题并非技术缺失，而是极度缺乏工程师、技术员和装配工。报告将重建窗口期设定为12至24个月，但现有劳动力缺口巨大：太空相关工程岗位仅占全美工程职位的3%，而装配工缺口更是高达19:1。此外，高技能人才培养周期长达15年，且安全审查耗时漫长，导致紧急动员几乎不可行。报告建议通过奖学金、实习计划及修改合同条款来提…
Sky Map 2000 是一个功能强大的在线星图与天文馆工具，能根据你所在的地理位置、日期和时间，实时计算并展示天空中的天体位置。它支持赤道坐标系和地平坐标系，提供光谱颜色、星等等多种可视化模式，让你直观看到恒星温度与亮度。通过交互式图层，你可以轻松切换银河系、深空天体、行星、流星雨等视图，甚至规划今晚的最佳观测目标。无论是天文爱好者还是教育用途，Sky Map 2000 都能提供精准、直观且…
Moadim是一款专为AI智能体设计的开源循环引擎，支持Claude、Codex、Hermes、NanoClaw和Pi等主流智能体。它允许开发者定义包含提示词、时间表和智能体的循环任务，在隔离的工作台中自动执行，无需依赖主机cron守护进程。通过tmux会话实现每次运行的完全隔离，内置看门狗机制防止任务卡死。Moadim提供REST API、MCP工具和Web UI，完全本地运行，支持macOS…
- ▲ 34AI 如何让英国政府陷入瘫痪
英国国家机器本就步履蹒跚，铁路停摆、道路坑洼，福利账单却不断攀升。新首相 Andy Burnham 虽誓言让 Whitehall 重新运转，但现实可能更严峻。随着公民利用 AI 模型和智能体批量提交申诉、索赔和反对意见，原本为邮政和电话时代设计的官僚体系正面临前所未有的冲击。这场由技术驱动的投诉洪流，或将彻底压垮英国政府，也为其他富裕民主国家敲响了警钟：若不及时应对，国家机器恐将因 AI 而停摆。
ExactTeX 是一个为 LaTeX 引入渐进式类型系统的超集。它允许用户在保留原有 .tex 文件兼容性的同时，通过添加少量注解来获得引用检查、安全重命名和错误提示。与传统 LaTeX 不同，ExactTeX 能在生成 PDF 之前就发现引用错误，并用用户自定义的命名来报告问题。该项目由 Rust 编写，零依赖，支持 WebAssembly 在浏览器中运行，并提供了 LSP 支持。通过渐进式…
2026年9月，MikroTik悄然发布了RouterOS 7.23.4等版本的安全更新，却未透露具体漏洞细节。我通过逆向工程对比新旧版本，发现了三个关键漏洞。其中最致命的是SSH用户名'-2'的利用路径：攻击者可通过该特殊用户名触发文件描述符解析逻辑，将只读会话升级为拥有完整策略权限的管理员会话，进而执行任意命令。此外，还存在低指数RSA签名伪造导致的mtget溢出漏洞。虽然MikroTik在…
- ▲ 20宣布事故竟成团队最爱的变通手段
在技术团队中，一个有趣的现象正在蔓延：当遇到棘手问题时，大家不再急于修复，而是习惯性地宣布事故。这种做法意外地成为了最便捷的变通手段，因为它能迅速调动资源、获得关注并暂时规避责任。文章探讨了这种文化背后的深层逻辑，指出当宣布事故成为首选策略时，真正的系统稳定性反而可能被忽视。这种现象不仅反映了工程文化的异化，也揭示了组织在应对压力时的非理性选择。
在化学实验的漫长生涯中，有些物质是绝对禁区。Straight Dimethyl Zinc 就是这样一个令人闻风丧胆的存在。它遇空气即自燃，甚至能穿透皮肤引发严重灼伤，其危险性远超普通化学试剂。作为一名科研工作者，我深知安全底线的重要性，因此明确将它列入“永不合作”清单。这篇文章不仅是对一种危险物质的警示，更是对科研伦理与自我保护的深刻反思。面对未知风险，保持敬畏才是科学探索的基石。
- ▲ 13统计机器翻译中的下推自动机
这篇2014年的研究探讨了Pushdown automata在统计机器翻译中的应用。作者试图通过引入下推自动机模型，解决传统统计方法在处理长距离依赖和复杂句法结构时的局限性。文章详细分析了该理论模型如何提升翻译质量，特别是在处理嵌套结构和递归语法时展现出的潜力。尽管面临计算复杂度的挑战，这一尝试为理解机器翻译的底层机制提供了新的视角，展示了形式语言理论在现代自然语言处理任务中的独特价值。
就在澳大利亚 Telstra 因 GPS 时间服务器故障导致全国手机服务中断 12 小时后，我决定动手改造一台 1995 年的 TrueTime XL-AK 设备。我利用 Raspberry Pi 5 和 Jimmy Paputto 的 L1 GNSS HAT 将其升级为 Stratum 1 NTP 时间服务器。通过配置 Chrony、优化风扇转速、隔离 CPU 核心处理 PPS 中断以及使用…
Gimlet Labs 宣布完成 3 亿美元 B 轮融资，由 Andreessen Horowitz 领投。面对 AI 推理需求激增与电力瓶颈，我们不再沿用训练架构，而是从底层重构，打造了全球首个专为推理优化的多芯片异构云。通过智能拆解模型，将不同计算阶段调度至 GPU、近内存计算等最适配的硬件上，我们在同等功耗下实现了 5-10 倍的速度提升。随着模型参数与上下文窗口爆发式增长，这种兼顾高吞吐…
1977年，David Owen关闭了Information Research Department（IRD），试图终结这个长期处于灰色地带的机构。IRD成立于1948年，旨在通过散布信息或虚假信息打击英国敌人，其手段包括在报纸上植入故事甚至虚构整个组织。Rory Cormac的新书Fakers揭示了IRD的荒诞历史：他们曾误以为虚构的Loyal African Brothers谴责了CIA，还…