Hacker News Digest
· 80 黑客新闻
OpenWrt One 终于来了，这款基于 MediaTek Filogic 820 SoC 的开源硬件路由器，直接标配 WiFi 6、2.5G 网口和 1GB 内存，彻底告别折腾。出厂即预装最新 OpenWrt 固件和 LuCI 图形界面，插上电就能用，无需任何额外配置。更硬核的是，它支持 POE 供电，甚至内置了 M.2 SSD 接口和 USB-C 串口。即便系统彻底变砖，用户也能通过 NA…
- ▲ 725CoMaps：隐私至上的离线地图
还在担心导航软件偷偷收集你的位置数据？CoMaps 这款开源离线地图应用彻底打破了这一焦虑。它无需移动数据，仅靠 GPS 就能在徒步、骑行或驾车时提供精准的路线规划。最酷的是，它完全不收集任何用户信息，也不追踪你的行踪，甚至通过了 Exodus 的隐私审计。作为 Organic Maps 和 Maps.Me 的分支项目，CoMaps 由社区驱动，用户可以直接在 OpenStreetMap 上添加…
我是Asha，今天必须宣布Xbox历史上最重大的重组。我们将裁减约3200个岗位，其中1600个职位即刻生效，同时Compulsion Games、Double Fine Productions等四家工作室将脱离Xbox成为独立实体。我们的业务目前并不健康，利润率远低于同行，而行业正面临前所未有的硬件危机。为了重置Xbox，我们将精简内容组合，让独立创作者拥有更多自主权；简化平台架构，将管理层级…
想为 OpenStreetMap 做贡献却不知从何下手？StreetComplete 这款 Android 应用让你轻松上手。它会自动在你周边寻找缺失的地图数据，并将其转化为一个个简单的“任务”。你只需实地走访，回答几个简单问题，就能直接以你的名义更新地图，完全无需使用复杂的编辑器。无论是补充道路信息还是标注设施细节，StreetComplete 让每个人都能成为地图的共建者，让 OpenStr…
- ▲ 633GLM 5.2 来袭，AI 利润即将崩塌
DeepSeek 的 R1 模型曾让市场误以为训练成本是 AI 的终点，但真正的成本大头其实在推理环节。最近我深度体验了 Z.ai 的 GLM 5.2，发现它在非交互式任务中几乎能媲美 Opus 和 GPT 5.5，尽管在视觉支持和网络搜索上仍有短板。最让人担心的是，迁移到 GLM 5.2 这类开源权重模型简直易如反掌，只需更改 API 端点即可，完全打破了大厂的技术壁垒。目前 GLM 5.2…
- ▲ 594reMarkable变身汤姆·里德尔日记
开发者MaximeRivest将reMarkable Paper Pro平板改造成了《哈利·波特》中的汤姆·里德尔日记。在这个名为Riddle的项目中，你用笔在纸上书写，墨水会被日记“喝掉”，随后AI会以流畅的手写体在页面上逐字回复，全程无屏幕发光，只有真实的墨水流动。该项目利用Rust编写，通过视觉LLM识别你的手写内容，并支持OpenAI等API或本地pi模型作为“灵魂”。无论是通过AppL…
欧洲议会在一场突如其来的紧急投票中，以微弱优势通过了重启 Chat Control 1.0 的动议。尽管此前该法规因争议巨大而失效，但在欧盟委员会和成员国的压力下，议会主席 Roberta Metsola 强行将议题提上日程。反对者指责这是违反程序的“政治闹剧”，并担忧 AI 扫描的高误报率将侵犯公民隐私。然而，由于夏季休会前的特殊投票规则，支持方仅需简单多数即可通过，这使得 Chat Cont…
id Software作为第一人称射击游戏领域的传奇，其研发的idTech引擎曾驱动无数经典游戏。然而，随着Microsoft在Xbox部门展开史上最大规模重组，idTech开发团队几乎全员被裁。Xbox新任CEO Asha Sharma在内部邮件中透露，此次裁员涉及约3200个岗位，其中1600个职位今日即刻取消，另有四家工作室将移交新管理方。这一变动不仅标志着id Software辉煌时代的…
- ▲ 46098% 的覆盖率其实远远不够
98% 听起来是个惊人的数字，但在某些场景下它却意味着灾难。如果餐厅食物中毒率是 2%，或者老板只发 98% 的工资，你还会觉得这很美好吗？在 Web 开发中，盲目追求 98% 的浏览器兼容性，可能意味着直接抛弃了 1.5 亿用户。以嵌套 CSS 为例，虽然它在通用数据中普及率很高，但在特定受众中可能只有 70% 的支持率。真正的稳健工程不应只关注大多数，更要优雅地处理那些被 98% 统计数字掩…
- ▲ 434告别松垮：你的运动裤抽绳系法可能错了
你是不是也受够了运动短裤或卫衣的抽绳在一天中反复松开？别再依赖那个容易散开的普通蝴蝶结了。视频分享了一种基于 slipped Lapp knot 变体的系法，专为解决抽绳打滑问题而生。这种结不仅能在剧烈运动中保持紧绷，均匀分散腰部压力，最关键的是它具备“快速释放”功能——只需轻轻一拉就能瞬间解开。无论是 gym shorts 还是 sweatpants，掌握这个技巧都能让你彻底告别弯腰重系的尴尬…
我们在 Claude 中发现了一个名为 J-space 的特殊内部机制，它就像大脑中的“全局工作空间”，让模型能够进行有意识的思考。这个空间并非我们刻意编程，而是在训练过程中自发涌现的。通过 J-lens 技术，我们能看到 Claude 在沉默中进行的推理、对代码错误的察觉，甚至识别出隐藏的提示注入攻击。当我们在 J-space 中替换一个思维模式时，Claude 的回答也会随之改变，证明这不仅…
欧盟的 Chat Control 1.0 本已在 2026 年 4 月因议会明确反对而失效，但欧盟理事会竟试图通过紧急程序复活这项被否决的法规，引发前所未有的宪政危机。尽管 Google、Meta、Microsoft 和 Snap 等巨头表示将无视法律继续扫描，但议会此前已通过关键修正案，拒绝自动化审查未知内容。与此同时，旨在永久化的 Chat Control 2.0 谈判陷入僵局，核心争议在于…
AMD 推出的 Ryzen AI Halo 迷你主机，专为本地 AI 开发打造。它搭载了 Zen 5 架构的 Ryzen AI Max+ 395 处理器，配备 128 GB 统一内存和 2 TB 固态硬盘，预装 ROCm 等开发环境。尽管售价高达 3999 美元，但其紧凑的机身和强大的本地模型运行能力，使其成为 AI 开发者的新宠。与 Mac Studio 相比，它在内存带宽上略逊一筹，但在本地…
- ▲ 346欧盟新车强制装摄像头，数据去哪了？
从2026年7月7日起，欧盟所有新车必须配备ADDW驾驶员监控系统，摄像头将时刻盯着你的脸。一旦你分心超过3.5秒，车辆就会发出警报。虽然初衷是为了安全，但测试显示系统过于敏感，甚至看风景都会触发警告。更令人担忧的是，法规虽要求数据本地处理，却未明确数据保留期限和独立审计机制。此前GM和Tesla等车企已有泄露驾驶数据的先例，这次强制安装摄像头，你的面部数据和行车轨迹是否也会成为数据经纪人的猎物？
- ▲ 344在家用 MinION 测序自己的 DNA
我已经用 Oxford Nanopore Technologies MinION 在家完成了 5 次全基因组测序。从用棉签采集颊细胞，到准备样本、运行测序仪，再到数据分析，整个过程耗时约两个月。虽然目前成本对普通人来说仍偏高，但技术成本正在指数级下降。拥有自己的基因组数据后，你可以利用 VEP、ClinVar、gnomAD 和 PharmGKB 等工具，查询自身携带的基因变异、受影响的通路以及药…
想知道 ML 领域的核心脉络吗？Ilya Sutskever 曾向 John Carmack 推荐过一份包含 30 篇关键论文的清单，如今 30papers.com 将这些内容整理成了对初学者极其友好的格式。这里没有晦涩难懂的学术黑话，而是将那些奠定现代 AI 基石的经典研究，用通俗易懂的方式重新呈现。无论你是刚入门的开发者，还是想系统梳理知识体系的老手，这份由 OpenAI 联合创始人亲自把关…
别再依赖 API 了！Ternlight 推出了一款仅 7MB 的 embedding 模型，甚至 mini 版只要 5MB，直接在你的浏览器里跑。它完全基于 CPU，无需 GPU，更不需要任何服务器调用。只需三行代码，就能实现毫秒级的语义搜索，比如瞬间在 React 文档中查找答案。从安装到运行，全程零网络延迟，真正实现了本地化的高效搜索体验。
一名涉嫌参与 Scattered Spider 黑客组织的青少年被捕，案件细节意外曝光了 Microsoft 的一项隐私追踪能力。FBI 通过 Microsoft 提供的 Global Device ID（GDID），成功将嫌疑人与其在线活动关联起来。即便该黑客使用了 VPN，GDID 依然能跨设备、跨服务持续追踪 Windows 系统的安装实例。这意味着，Microsoft 可能在不依赖第三方…
- ▲ 27534位顶尖科学家为何逃离美国？
荷兰刚设立的Tulp Fonds基金正式迎来首批34位国际顶尖科学家，其中29位来自美国，包括Harvard、Stanford、Yale等名校及National Cancer Institute的研究者。面对全球学术自由受压的现状，荷兰政府联合NWO投入5000万欧元，为这些在AI、量子、疫苗及核能等关键领域的大咖提供庇护与资源。这不仅让荷兰在知识竞争中抢占先机，更让欧洲在AI、健康和能源转型等…
在 Amazon 购物时，你是否厌倦了搜索结果里充斥着 SZHLUX、HORUSDY 这类毫无信誉的伪品牌？Knockoff 插件正是为此而生，它能自动过滤掉这些商标抢注的垃圾品牌，只留下真正在乎声誉的大牌。这款工具完全在本地运行，无需注册账号，也不追踪用户数据，真正做到了隐私优先。它内置了 5000 多个知名品牌列表，通过独特的语言学算法识别那些全大写、难以发音的伪品牌名称。用户还可以自定义过…
- ▲ 257受贿 3.25 亿美元，中国官员被判死刑
中国常州法院近日对前南京官员 Yang Youlin 作出死刑判决，因其受贿金额高达 3.25 亿美元（约 22 亿人民币）。Yang Youlin 在 1993 年至 2023 年间，利用职务之便为他人谋取工程合同、土地转让及融资便利，同时涉及贪污、滥用职权和洗钱等多项罪名。尽管 Yang Youlin 认罪并检举他人，但法院认为其罪行极其严重，造成的损失巨大，不足以从轻处罚。此案是 Pres…
- ▲ 245小模型大作为：拯救非洲假药危机
2019年，Adebayo Alonge在南非演示RxScanner时，因网络延迟导致扫描耗时5分钟而陷入尴尬。这次意外促使团队将AI模型压缩至可在Android手机离线运行，成功在缺乏宽带和电力的地区验证药物真伪。如今，这种Small AI正从全球健康领域扩展到农业和医疗，利用无人机识别作物病害、检测疟蚊，甚至在Arduino上运行心电图。与世界银行推崇的巨型LLM不同，Small AI凭借低…
我是 Val Town 的创始人，尽管硅谷已不再把'learn to code'当作脱贫捷径，两行 JavaScript 也换不来高薪，但我依然坚信编程值得学习。这并非为了职业，而是教育本身。我曾像许多人一样讨厌数学，直到通过 Seymour Papert 设计的 LOGO 语言，我像学说话一样学会了数学。编程教会我调试、逻辑和组合思维，更让我明白世上没有学不会的东西。代码不仅是工具，更是如文学…
几年前，在本地生成逼真的语音似乎还遥不可及，但现在 Kokoro 让这一切成为现实。这款仅 82M 参数的模型，不仅能用 CPU 流畅运行，还能生成英语、中文和印地语等多种语言的逼真语音，提供约 50 种不同音色。最棒的是，它完全在本地运行，无需担心隐私泄露。通过 Kokoro-FastAPI 容器，你可以轻松搭建兼容 OpenAI speech API 的服务，甚至用老旧的 Intel Cor…
- ▲ 227欧洲公司网站竟被Cloudflare垄断
我们调研了19450家欧洲企业的官网，发现一个惊人事实：在七个主要市场中，美国厂商主导了绝大多数网站的基础设施。Cloudflare更是霸榜所有国家，成为单一最大的互联网前端供应商。除了德国和波兰拥有强大的本土托管产业外，英国、荷兰、意大利、西班牙和法国的企业主要依赖美国头部厂商。这并非简单的IP地理位置问题，而是关于谁在掌控企业互联网入口的关键。对于关注数据主权和供应链安全的政策制定者而言，在…
Clojure 1.13.0-alpha1 正式发布，带来了备受期待的 checked keys 功能。现在开发者可以使用 :keys!/:syms!/:strs! 指令，在 map 解构时强制检查必需键是否存在，若缺失则直接抛出异常，彻底告别隐式错误。此外，该版本还优化了 PersistentArrayMaps 的性能，使其在键数达到 64 之前保持高效，并移除了静态初始化器常量的 ACC_F…
- ▲ 210Dua Lipa在葡萄牙开设禁书图书馆
流行天后Dua Lipa近日在葡萄牙揭幕了一座特殊的图书馆，这里专门收藏那些曾被各国政府或机构禁止和审查的书籍。这座图书馆不仅是一个阅读空间，更是对言论自由和思想开放的一次有力致敬。通过汇集这些‘被禁’作品，Dua Lipa希望唤起公众对审查制度的反思，鼓励人们勇敢探索被遮蔽的知识与观点。这一举动将音乐人的影响力与文化行动主义完美结合，为全球自由表达运动注入了新的活力。
OfficeCLI 是专为 AI 智能体打造的 Office 办公套件，无需安装 Microsoft Office 即可读取、编辑和自动化处理 Word、Excel 和 PowerPoint 文件。它采用单二进制文件设计，开源免费，内置高保真 HTML 渲染引擎，让 AI 能够“看见”文档内容，从而精准执行修改任务。无论是通过命令行快速生成 PPT，还是让 Claude Code、Cursor…
1993 年发布的 Atari Jaguar 曾是商业上的失败者，但我却成功在它上面跑起了 Linux。这台老机器只有 2MB 内存，且没有 MMU，这让我不得不启用 uClinux 的 Flat Memory model。过程中我遇到了编译器生成的非对齐内存访问导致崩溃，以及向量表（vectors）地址映射错误等棘手问题。最终，通过利用 Buildroot 编译 busybox 并解决工具链难…
Donald E. Knuth 的 The Art of Computer Programming 在 1999 年被 American Scientist 评为世纪最佳物理科学专著之一，与 Einstein 的相对论、Dirac 的量子力学等经典并列。这套书不仅涵盖了从 Fundamental Algorithms 到 Seminumerical Algorithms 的深奥理论，还详细记录了…
- ▲ 153移民为何来德国工作后却选择离开
德国长期吸引全球技术人才，却在留住他们方面屡屡受挫。IAB 的研究显示，移民离开的理由并非单一：家庭因素、歧视经历、繁琐的官僚程序、住房困难以及语言学习支持不足，都是关键原因。许多移民在抵达后不久便因行政效率低下、职业前景不明或无法融入而选择离开，甚至转向西班牙、瑞士等其他欧洲国家。尽管德国在数字化和集中化移民服务上有所进展，但整体仍缺乏全国性的系统性解决方案。文章指出，若不能改善语言培训、资格…
Astro 7.0 正式上线，这次更新的核心就是速度。我们将 .astro 编译器彻底用 Rust 重写，Markdown 和 MDX 处理也换上了全新的 Rust 管道 Sätteri。配合 Vite 8 及其内置的 Rolldown 打包器，构建速度在基准测试中提升了 15% 到 61%，部分站点甚至快了两倍。渲染引擎也升级为基于队列的模式，性能提升约 2.4 倍。此外，Astro 7.0…
- ▲ 151Kani：让Rust代码从防错到正确
Rust的所有权系统虽然能防止内存错误，但无法保证unsafe操作、功能正确性或无运行时panic。Kani作为开源模型检查器，将Rust的MIR编译到CBMC引擎，自动验证这些关键属性，无需人工注解。通过函数契约和循环契约等规范语言，Kani将验证从有界扩展到无界，在工业级项目中发现了6个未知bug，并在Rust标准库的CI中规模化运行，每次代码变更验证超16000个测试桩。
Davit 是一款专为 Apple silicon 打造的纯原生 macOS 应用，让你无需 Docker Desktop 即可运行 Linux 容器。它直接通过 XPC 与 Apple 的 container 守护进程通信，摒弃了 Electron 和网页视图，实现了极致的轻量与高效。从一键启动终端、实时资源监控到容器配置编辑，Davit 提供了完整且流畅的容器管理体验。更棒的是，它会自动安装…
在RAG系统中，检索到的大量上下文往往包含大量无用信息，却仍在消耗昂贵的Token成本。我们在kapa.ai的实践中发现，传统重排序方法无法精准剔除这些冗余。于是，我们引入一个轻量级LLM作为‘修剪器’，在检索和生成之间增加一步：让这个小模型通读问题和所有检索片段，精准判断哪些内容对回答问题真正必要。结果令人惊喜：我们成功丢弃了68%的上下文，同时保留了96%的召回率，单次查询成本净降三分之一。…
- ▲ 132AI公司最新抢人目标：哲学系毕业生
你以为哲学系毕业只能去当老师或写论文？大错特错！AI公司正疯狂抢着招聘哲学专业毕业生。在AI技术飞速发展的今天，伦理困境、逻辑推理和人类价值观的界定变得前所未有的重要。哲学家们擅长的批判性思维和对复杂概念的剖析能力，恰好是构建安全、可靠AI系统的关键。从算法偏见到责任归属，这些曾经被视为“无用”的学科背景，如今成了科技巨头眼中的香饽饽。这场人才争夺战不仅改变了就业市场，也重新定义了AI时代的知识…
- ▲ 126Herdr：一个终端掌控所有 AI 代理
厌倦了在不同设备间切换管理 AI 代理？Herdr 重新定义了终端体验，它不是 Electron 应用，而是一个原生的 Agent 多路复用器。你可以从任何终端（甚至手机）通过 SSH 连接，在一个界面中同时运行多个 Coding Agent，如 Claude Code 或 Copilot。即使关闭笔记本电脑，服务器上的会话依然保持运行，状态一目了然。从 JetBrains 到 Google 的…
作为长期关注密码学标准化的观察者，我揭露了 NSA 在 IETF 推动 solo ML-KEM 标准背后的历史阴影。从 70 年代推动弱化的 DES，到 90 年代利用出口法固化 RC4，再到 2000 年代破坏 RNG 标准，NSA 似乎总在寻找让系统“可被利用”的漏洞。如今，IETF TLS WG 正在对 solo ML-KEM 进行所谓的“最后投票”，这不仅是技术路线之争，更是一场关于安全…
Rotman lens（有时也被称为 Rotman-Turner lens）是一种用于射频应用的无源电子元件，专门用于波束赋形。这项技术由 Walter Rotman 和 R. F. Turner 在 1963 年首次提出并申请专利。它的核心优势在于能够无需使用 phase shifters（移相器）即可形成多个天线波束。该组件由一系列输入端口（波束端口）和输出端口（阵列端口）组成，当信号从某个…
Hyunwoo Kim 发现的 Januscape（CVE-2026-53359）是一个潜伏了16年的KVM/x86严重漏洞，它利用shadow MMU中的use-after-free缺陷，让攻击者仅凭Guest侧操作就能逃逸到Host内核。这是首个同时影响Intel和AMD架构的Guest-to-Host逃逸漏洞，曾在Google kvmCTF中被用作0-day武器。该漏洞不仅威胁GCP、AW…
- ▲ 114南非发明Dolosse如何征服全球海岸？
在南非的海岸线上，你随处可见一种名为Dolosse的奇特混凝土结构。这些重达30吨甚至80吨的巨石，被巧妙地堆叠在防波堤和港口墙壁上，用来抵御海浪的侵蚀。与传统的混凝土块不同，Dolosse独特的形状让海水能够从中穿过，从而有效消散波浪的冲击力。有趣的是，关于Dolosse的设计灵感来源众说纷纭，有人认为是源自南非儿童玩了几百年的指骨游戏，也有人觉得它像童年游戏jacks或dubbeltjie…
Jim Paris 在 GitHub 上开源了一个极具创意的 TrueType 字体项目，它能让普通文本在特定条件下直接渲染成 QR Code。只需在文本中使用方括号包裹内容，例如 abc[hello]ghi，括号内的文字就会自动变成二维码，而周围文字保持正常显示。该项目基于 Liberation Sans Regular 字体生成，支持不同密度的版本，分别可容纳 17、32 或 53 个字符。…
- ▲ 114为何还要再造一个Postgres连接池？
PgBouncer等现有工具虽然流行，却引入了‘泄漏的抽象’，迫使你修改代码或放弃Postgres的SET、LISTEN/NOTIFY等核心功能。我们开发PgDog，正是为了解决这些痛点。通过内置SQL解析器，PgDog能智能处理SET语句，确保会话状态不泄露；它原生支持LISTEN/NOTIFY的发布订阅模式，甚至修复了事务语义的坑。基于Rust和Tokio构建的多线程架构，让PgDog能充分…
OpenSSH 10.4 版本正式发布了，这次更新不仅修复了多个关键安全漏洞，还引入了实验性的后量子签名方案。安全方面，修复了 sftp 和 scp 中可能导致文件被写入意外位置的漏洞，以及 sshd 在特定配置下的权限绕过问题。新功能上，支持了结合 ML-DSA 44 和 Ed25519 的混合签名算法，为未来量子计算时代的加密安全提前布局。此外，还优化了通配符匹配器的性能，避免了指数级延迟，…
l 是专为 k 和 q 语言家族打造的全新运行时，它能在不改动任何现有代码的前提下，让 k4、q 和 qSQL 跑得飞快。l 的核心突破在于将“压缩向量”作为执行单元，数据在内存中始终保持压缩状态，直接对编码后的字节进行运算，彻底避免了传统引擎中反复解压重建数组的带宽瓶颈。结合透明 SIMD 指令集、自动并行化以及针对 Apple Silicon 和 x86 的硬件优化，l 在 TSBS 和 d…
- ▲ 91让 LLM 自动把自己优化掉
A. Karpathy 曾直言 OpenAI 的研究人员正在通过改进 AI 而‘自动将自己淘汰’。我在用 Anthropic 的 Fable 开发 Beagle SCM 时深有体会：它虽然能精准发现代码漏洞、自动提交修复，却也会笨拙地把 build 目录误提交两次。LLM 越聪明，越显得笨手笨脚，因为它们天生非确定且易出错。相比之下，Ragel 能瞬间生成形式上绝对正确的解析器。我的策略是：用快…
我很激动地宣布 Better Auth 正式加入 Vercel。三年前，我因 NextAuth 在组织管理和跨框架支持上的局限，决心打造一个框架无关的开源认证方案。从最初在 X 上发布截图，到入选 Y Combinator 并获 Peak XV 领投，Better Auth 一路成长。如今，面对 AI 代理带来的全新安全挑战，我们选择与 Vercel 携手，利用其基础设施和社区影响力，专注于构建…
- ▲ 83NASA巨型风洞：百年航空测试史
从NACA时代到如今的NASA，这些藏在弗吉尼亚和加州地下的巨型风洞见证了人类航空史的每一次飞跃。文章通过珍贵历史照片，展示了Langley和Ames研究中心那些令人震撼的设施，从1920年的首个风洞到能容纳整架飞机的全尺寸隧道。无论是测试Mercury太空舱、X-15模型，还是神秘的Avrocar飞行器，这些“风之洞穴”都在极端气流中验证了无数设计。随着计算机模拟的兴起，许多老设施虽已退役，但…
美国联邦政府手里攥着2000多套房产，其中335套标价低于10万美元，甚至有的只要3000美元！这些房源来自HUD、Fannie Mae和Freddie Mac，主要集中在Rust Belt和南部农村地区。不过别急着下单，这些房子都是按现状出售（as-is），很多连屋顶和水电系统都得重修，甚至可能比拆除成本还低。买家得通过持证经纪人出价，先查清产权和欠税，再考虑FHA 203(k)等装修贷款。虽…
Rowboat是一款开源的桌面AI工作伙伴，专为开发者打造。它通过构建动态的知识图谱，将你的邮件、会议记录、Slack对话及代码工作流统一索引，实现真正的本地优先记忆。内置邮件客户端、浏览器、会议记录员及代码模式，支持背景Agent自动执行任务。你可以使用Ollama或自定义API密钥接入模型，所有数据均以纯Markdown格式本地存储，确保隐私安全且无厂商锁定。
本项目深入对比了PostgreSQL在AWS上23种不同EC2实例类型及磁盘配置下的性能表现与成本效益。通过对52种组合进行严格基准测试，精准定位了满足33,000 RPS目标吞吐量且成本最低的m8g.large配置，同时揭示了c8i.large在性价比上的优势。数据涵盖Graviton与x86-64架构，支持按实例和磁盘类型筛选，帮助开发者在性能与预算之间找到最佳平衡点，为云数据库选型提供直观…
为了将Nintendo Switch连接到CRT显示器和外部音箱，我入手了一款售价仅2.58美元的HDMI转VGA适配器。然而，其音频输出充满了令人崩溃的爆音和底噪。在尝试了各种接地隔离器和音频提取器方案失败后，我通过示波器深入分析，发现罪魁祸首是NX3303X芯片输出的MHz级超声波噪声。经过几天的阻抗调试、滤波器原型设计以及PCB元件的重新焊接，我最终成功修复了这款廉价硬件的音频问题，实现了…
大家总以为RCT是科学证据的黄金标准，但历史告诉我们，观察性数据往往被低估。从1710年John Arbuthnot利用伦敦出生数据“证明”上帝存在，到Pierre-Simon Laplace冷静分析男女出生率差异，这些早期案例展示了观察性研究的高效与美感。尽管RCT在医学干预中占据主导地位，但其高昂成本和样本限制使其并非万能。Lennart Finke指出，在公共卫生和医学领域，许多关键发现其…
M/PC 是一款专为 Varvara 设计的连接式操作系统，灵感源自 Openfirmware。它彻底摒弃了传统的文件浏览器，转而采用后缀表示法，让用户通过堆栈操作来管理文件。你可以将命令序列存入文件，利用波浪号前缀直接调用，甚至无需键盘，仅凭方向键和 A、B 键就能导航目录或启动 rom。从启动时的壁纸渲染到文件复制、重命名，所有操作都通过简洁的命令行完成。这种极简主义的设计不仅致敬了复古计算…
- ▲ 65守护52年汤锅的家族传奇
想象一下，一锅汤连续炖煮了52年，从未熄灭。这并非天方夜谭，而是一个真实存在的家族传统。在wsj.com的报道中，一个家庭世代守护着这口神奇的汤锅，每一代人都接力添加食材、维持火候，让这锅汤成为连接过去与现在的纽带。这不仅仅是一道菜，更是一种文化传承的象征，展现了人类对时间、记忆和家族情感的独特理解。
我们把 AI 审计管道对准了 Cloudflare 的 CIRCL 实验性密码库，成功确认了 7 个真实漏洞，从阈值 RSA 中的 float64 精度丢失，到属性基加密的访问控制完全失效。这 7 个问题现已在上游修复。这是我们在开源密码学中利用 AI 发现漏洞系列的首篇。在 zkSecurity，我们正在打造 zkao，一个能持续监控代码直到 AI 无法再发现任何漏洞的审计代理。这次实验不仅修…
- ▲ 64软件质量的六个信号与组织真相
我认为软件质量本质上就是“问题的缺失”。虽然完美无法企及，但越接近完美，产品就越出色。质量并非单纯的技术问题，它深深植根于组织的领导力与文化之中。随着规模扩大，维持高质量变得愈发困难，这往往是一个无法完全解决的权衡。文章提出了判断软件质量的六个核心信号：Reliability、Speed、Clarity、Efficacy、Efficiency 和 Beauty。坚持高质量不仅能减少技术债务、吸引…
MacSurf 1.68 正式发布了，这次更新简直是给 Classic Mac OS 9 装上了现代引擎。我们彻底替换了旧的 Duktape，换上了全新的 macQJS，这意味着你的 PowerPC 老机器现在能原生运行 ES2023 标准的 JavaScript 了，不再需要任何代理或辅助机器。这次更新修复了大量令人抓狂的 Bug：文本光标终于能正常闪烁和选中了，登录状态不再丢失，启动时间从…
在探索 Folly 的并发原语时，我被 Asymmetric Thread Fence 这个概念深深吸引。它巧妙地利用 C++ P1202R0 提案，将并发算法中的高频路径（common path）优化为轻量级的编译器屏障，而将沉重的同步成本转移到低频路径（uncommon path）。在 Linux 上，这通过 membarrier() 系统调用实现，用一次昂贵的系统调用换取高频路径的极致性能…
docx-cli 是专为 AI 智能体打造的命令行工具，让 Claude、Codex 等模型能够精准读写和编辑 .docx 文件。它通过稳定定位符直接操作 XML，完美保留文档格式、样式和嵌入对象，彻底解决了传统方法导致文件损坏或格式错乱的问题。实测显示，使用 docx-cli 能让智能体完成任务的时间缩短一半，Token 消耗降低 60%，且生成的文档在 Word 中打开的成功率高达 100%…
Godox 推出了一款名为 C100 的超紧凑相机，售价仅约 29 美元。这款相机最引人注目的特点是其透明显示屏，它直接充当光学取景器，让相机看起来像一扇小窗户。虽然它没有 Wi-Fi 和蓝牙，但能通过 USB-C 传输照片，并支持多种宽高比拍摄。对于摄影师来说，它不仅是玩具，更是一个实用的测光表，只需轻按按钮即可显示正确曝光，特别适合为没有内置测光功能的胶片相机服务。
在数字化写作泛滥的今天，Inkfield 试图用一种全新的方式重新定义我们与文字的连接。它不仅仅是一个写作工具，更像是一个数字墨水画板，让创作者能够像在纸上一样自由挥洒灵感。通过独特的交互设计，Inkfield 将手写的自然感与数字编辑的便捷性完美融合，让每一次敲击都充满温度。无论是作家、设计师还是普通用户，都能在这里找到属于自己的表达节奏。
- ▲ 422048自旋Ising机器解数独
光学相干Ising机器虽强，但体积大、功耗高且成本昂贵。这篇论文提出了一种基于体声波（bulk acoustic wave）的新型Ising机器，利用微波频段的固态延迟线，实现了热稳定性高、低功耗且廉价的桌面级设计。该系统通过两个串联的20.5 MHz延迟线支持2048个自旋，具备全连接能力，能在341毫秒内找到MAX-CUT问题的近似解。与最先进的相干Ising机器相比，其热稳定性提升了四个数…
距离上次发布 EndBASIC 0.13 仅过去一个月，我就带来了全新的 0.14 版本。如果说 0.13 只是单纯的性能提升，那么 0.14 则是一次真正的蜕变。这次更新不仅新增了三角形、多边形等图形绘制指令，让复古风格的图形程序焕发新生，更重要的是，我们终于实现了声音支持！通过 `BEEP` 和 `SOUND` 命令，EndBASIC 正式解锁了多媒体功能，向着 1.0 版本迈出了关键一步。…
WhimFiles 是一款专为 macOS 打造的轻量级原生文件管理器，体积仅 9 MB，彻底告别 Electron 应用的臃肿。它围绕实时过滤功能构建，支持同时按类型、日期和大小筛选文件，配合模糊搜索和双窗格浏览，让文件查找秒级完成。无论是管理海量素材、整理代码项目，还是快速转换 HEIC 图片，WhimFiles 都能通过丰富的快捷键和命令面板，让双手不离键盘即可高效操作，是终端用户和创意工…
想象一下，如果 Euler 是个小丑，气球扭制会变成什么？这篇论文将气球扭制从街头魔术提升到了数学理论的高度，由 Erik D. Demaine、Martin L. Demaine 和 Vi Hart 联手打造。他们构建了“计算气球扭制”的理论框架，用图论算法解决如何用最少的气球扭出特定多面体，甚至探讨了在气球等长限制下的 NP 完全性难题。这不仅能让孩子们在游戏中学习图论和几何，还能启发用单根…
- ▲ 34技术巨变下，我们为何毫无改变？
身处技术飞速迭代的时代，外界工具日新月异，但我们的核心工作模式却似乎停滞不前。这篇文章深刻反思了这种“不变”的悖论：尽管Cloudflare、Google等巨头不断推出新服务，尽管Cookie和追踪技术无处不在，但我们在面对技术变革时的应对策略和思维定式却鲜有突破。作者指出，真正的挑战不在于技术本身，而在于我们是否愿意打破固有的舒适区，去拥抱那些真正能改变游戏规则的创新。
GitHub 开源了 Freno，一个专为 MySQL 集群设计的高可用限流服务。它不是简单的代理，而是采用协作模式，让客户端主动询问“现在能写入吗？”。Freno 会实时监控 MySQL 的复制延迟，一旦超过预设阈值，就会优雅地劝退写入请求，防止数据库雪崩。无论是大规模数据归档还是复杂的 Schema 迁移，它都能通过动态调整节奏，确保主从同步健康。系统基于 Raft 协议实现高可用，支持静态…
1997 年，Bob Dylan 因吸入蝙蝠粪便中的真菌差点丧命，这场与死神的擦肩而过反而成了他职业生涯的转折点。在经历了 80 年代末的创作枯竭和外界对他“江郎才尽”的质疑后，他在瑞士 Locarno 的一场演出中突然顿悟，决定重返舞台。带着病体，他开启了每年上百场演出的“永不停歇巡演”，并推出了被奉为神作的专辑 Time Out of Mind。这张专辑充满了潮湿、阴郁却又充满力量的声音，标…
- ▲ 27搜数学公式，哪些引擎真正好用？
我在寻找能精准搜索数学公式的引擎，目前试过 approach0.xyz、onmath.com 和 search.mathweb.org，但要么只能离线使用，要么搜索结果完全不相关（比如搜 F=ma 却返回 p=mv），甚至全是废弃项目。大家有更好的推荐吗？
推理模型常陷入Doom Loop死循环，不断重复“Wait, let me reconsider”等废话直到耗尽上下文。传统的repetition_penalty只是治标不治本，而强化学习又成本高昂。LiquidAI推出了Antidoom方案，利用Final Token Preference Optimization（FTPO）技术，精准定位导致循环的起始Token，训练模型在该位置偏好连贯的替…
Halo 是一个开源项目，专为 AI 代理提供防篡改的运行时记录。它通过哈希链技术，将代理的每一次工具调用、模型请求和数据访问都转化为不可修改的审计日志。无需信任供应商，任何方均可独立验证日志的完整性。当客户安全团队询问“你的代理对我们的数据做了什么”时，你只需提供一个可验证的链接，而非冗长的文字说明。该项目零运行时依赖，仅使用标准库，代码量小且易于审计，支持 Python 和 TypeScri…
Mark Zuckerberg 可能要迎来职业生涯最大的噩梦。Meta 被加州、科罗拉多等四个州指控故意设计 Facebook 和 Instagram 让青少年上瘾，同时误导公众关于平台安全性的真相。Meta 自己在法庭文件中披露，这笔潜在的罚款高达 1.4 万亿美元，几乎等同于公司 1.5 万亿美元的总市值。虽然 Meta 辩称“社交媒体成瘾”并非既定精神疾病诊断，且罚款缺乏证据支持，但法官…
- ▲ 18为何温哥华总替身旧金山拍戏
你以为在旧金山取景的《Alcatraz》、《Godzilla》或《The Bletchley Circle: San Francisco》真的是在旧金山拍摄的吗？其实它们大多是在温哥华完成的。温哥华凭借多样化的城市景观、完善的影视基础设施以及无上限的税收优惠，成为了好莱坞的热门替身地。相比之下，旧金山虽然拥有独特的硅谷科技氛围和真实的城市质感，但在税收激励和拍摄成本上略显劣势。不过，也有制片人认…
大语言模型（LLM）早已走出实验室，成为工程师日常工作的核心。面对每年33%的市场增长，仅会提示词已远远不够。IEEE联合IEEE Computer Society推出全新在线课程，带你深入Transformer架构、PyTorch训练及RAG技术，从原理到部署全面掌握LLM。课程涵盖数据隐私、幻觉修复及高效微调，助你从“使用者”进阶为“构建者”，在AI浪潮中占据先机。
美国能源部（DOE）在核废料清理项目上挥霍了数十亿纳税人的钱，却因过早锁定特定方案而错失了更省钱的机会。GAO最新报告指出，DOE的环境管理办公室（EM）在规划大型项目时，往往在需求定义阶段就预设了解决方案，导致后续无法充分评估替代选项。例如，在Oak Ridge Reservation的Outfall 200项目以及Idaho National Laboratory的某些案例中，法律约束和承包…
我们抓取了全球前10000个网站的robots.txt文件，发现了一个令人震惊的盲点。2023年，当OpenAI推出GPTBot时，网站主们曾恐慌地封锁训练爬虫，但这股热潮过后，大家却普遍忽略了另一类关键爬虫：Answer-time bots。这些爬虫不用于训练模型，而是在用户提问时实时抓取页面生成答案。数据显示，71%封锁Anthropic训练爬虫的网站，对Claude的实时回答爬虫只字未提。…
我是个对软件有着近乎疯狂执念的人。过去，受限于编程能力，我的许多软件构想只能停留在脑海中。直到Claude Code出现，一切都变了。我不仅用它重建了理想中的Twitter，还为我复杂的跨国财务生活量身打造了一款会计软件TaxBot2000。面对多币种、多银行账户以及日本和美国的双重税务要求，市面上的Quicken等SaaS产品完全无法满足需求。我用Python、Flask和SQLite，仅耗时…
我最近去了德国Hanover的Leibniz档案馆，翻阅他泛黄的手稿时，仿佛穿越了三个世纪。Leibniz不仅发明了微积分符号，更早在300年前就构想出了类似Mathematica和Wolfram|Alpha的通用计算系统。他试图用符号构建“人类思想的字母表”，让所有知识都能通过计算推导出来。从数学公式到法律逻辑，Leibniz的笔记中充满了对系统化和形式化的执着追求。虽然他在某些算术计算上犯了…
在零下 32 度的极寒测试中，搭载 CATL 新一代钠离子电池的 Changan Nevo AO6 电动车即便爆胎也能平稳停下，展现了惊人的可靠性。这种被戏称为“盐电池”的技术，正凭借更低的成本和优异的性能，挑战锂离子电池的统治地位。随着 Changan 即将推出首款量产钠离子电动车，这项技术有望彻底改变 EV 市场和电网储能的格局，让能源存储变得更便宜、更高效。