每日摘要 · Hacker News
· 78 黑客新闻
Anthropic 宣布所有 Claude 模型将强制植入文本水印以符合欧盟新规。作者指出，这并非简单的隐藏字符，而是通过算法在生成时人为干预词汇选择，牺牲语义的精准度来换取可检测的统计特征。这意味着即便是私下的对话，Claude 也会为了标记而故意降低文字质量。作者认为，这种为了迎合监管而主动“污染”文本的行为，不仅无法有效阻止作弊，反而损害了所有诚实用户的体验，是对写作本质的严重亵渎。
- ▲ 738Claude 系统提示词更新全记录
Claude 的网页版和移动端应用通过系统提示词，在每次对话开始时向模型注入当前日期等关键信息，并规范如使用 Markdown 输出代码片段等行为。这些提示词会定期更新以优化响应质量，但请注意，此类更新仅适用于 Claude 的 Web 界面和 App，并不影响通过 Claude API 调用的模型表现。文档详细梳理了从 Claude Opus 5 到早期版本如 Claude Sonnet 3.…
Firefox for iOS 终于迎来了原生广告拦截功能，用户无需再依赖第三方扩展即可屏蔽广告。这一更新标志着 Mozilla 在移动端用户体验上的重要突破，不仅提升了浏览速度，还增强了隐私保护。尽管部分页面因缓存问题显示加载错误，但核心功能的落地无疑为 iOS 用户带来了更清爽的浏览体验。
ASUS 推出了全新的 Oxiis 智能自行车助推器，这款设备采用摩擦驱动技术，无需改装齿轮或刹车，即可将普通自行车瞬间转化为智能电助力车。它配备 500W 峰值功率电机和 158Wh 可拆卸电池，支持自适应爬坡辅助和无线踏频感应。产品兼容城市、公路、折叠等多种车型，通过 ASUS Oxiis App 可轻松切换 Eco、Normal 和 Sport 三种骑行模式。其模块化设计不仅安装便捷，还支…
我为了使用 R2 服务将域名切换到了 Cloudflare，结果发现我的纯 HTML 网站被悄悄植入了 JavaScript 分析代码。我不得不在后台手动关闭该功能。我认为这种默认开启、需要手动退出的做法非常具有侵入性，大家有遇到过类似情况吗？
- ▲ 600RISC-V：第三世界嵌入式工程师的回应
作为一名来自发展中国家的嵌入式工程师，我注意到关于 RISC-V 的讨论中常有一种居高临下的论调，仿佛只有特定背景的人才能真正理解或驾驭它。然而，现实是，无论身处何地，工程师们都在用有限的资源解决复杂的硬件问题。RISC-V 的开放性和灵活性正是我们这类开发者最需要的工具，而非被质疑的对象。这篇文章旨在打破刻板印象，分享我们在资源受限环境下如何高效利用 RISC-V 架构，并呼吁社区更多关注实际…
支付巨头Stripe已敲定一项超过70亿美元的协议，收购AI初创公司OpenRouter。OpenRouter致力于帮助企业灵活切换不同AI模型，寻找最具成本效益的解决方案。这笔交易发生在OpenRouter以13亿美元估值完成融资仅数月之后，凸显了市场对高性价比AI方案的迫切需求。此次收购不仅让Stripe在快速增长的AI领域站稳脚跟，也标志着支付基础设施与AI模型分发服务的深度整合。
- ▲ 428学术圈怪象：肾衰竭变肾失望
在 Google Scholar 上搜索发现，大量医学研究论文竟将严重的“肾衰竭”错误表述为“肾失望”。这一现象并非个别案例，而是广泛存在于各类学术文章中，甚至出现在讨论机器学习检测慢性肾病的严肃研究里。这种将致命疾病轻描淡写为情绪化词汇的翻译错误，不仅暴露了非英语母语研究者在专业术语上的疏忽，更可能引发严重的临床误解。当“kidney disappointment”取代了“kidney fai…
- ▲ 327模型为何故意变笨：用推理换知识
推理分数不断攀升，但每 token 的算力需求却在下降。GLM-5.2 和 Qwen3.5 等模型在数学和代码基准测试中表现惊人，却在简单事实问答中频频出错。实验室正刻意用世界知识换取推理能力，因为事实会过时，而推理流程不会。未来的模型将更像通用工具，依赖检索和工具调用获取实时信息，而非死记硬背。这种设计不仅降低了本地运行门槛，还让幻觉问题变得可追踪、可修复。当事实不再存储在权重中，模型的知识截…
- ▲ 322AI 代币经纪人：隐秘的转售黑市
我最近发现了一个正在商业化的隐秘市场：AI 代币经纪人。这些人从初创公司手中收购未使用的 API 额度，然后以 30% 到 80% 的折扣转售给其他开发者。通过联系这些经纪人，我发现有人能每天提供高达 10 万美元的额度，并通过代理转发请求来规避直接提供 API Key 的风险。除了私下交易，AI Credits、AICreditMart 等网站甚至建立了专门的代币交易集市，而 CheapCre…
- ▲ 312软件工程基础比LLM更重要
面对agentic engineering的喧嚣，我深感软件工程师的核心价值并未动摇。尽管LLM和agent harnesses能预测代码，但它们缺乏真正的推理能力，无法处理复杂的系统架构。真正的挑战在于如何让代码可调试、可维护且分层清晰，这需要深思熟虑的架构设计，而非简单的指令跟随。在Open weight模型让个人电脑也能运行大模型的今天，我们更需要关注如何管理认知负荷，做出恰当的权衡。无论…
从 v2.0 版本开始，DuckDB 将原生支持 Parquet 和 CSV 文件的异步读取。这一变革专门针对 EC2 和 S3 等远程存储场景，解决了同步 I/O 无法跑满网络带宽的瓶颈。通过引入独立的 ASYNC 线程池和读前策略，DuckDB 让数据获取与计算解码并行执行，避免线程空转等待。在 TPC-H 基准测试中，开启异步 I/O 后，查询耗时从 8.23 秒骤降至 2.84 秒，性能…
- ▲ 243LLM只学五年级内容会怎样？
研究团队构建了LittleLearner，一个专门在K-5年级课程数据上训练的LLM，旨在探究模型能力的真正边界。实验发现，无论是扩大模型规模、进行GRPO后训练，还是利用In-context learning，都无法让模型突破预训练数据的知识上限。这意味着，模型表现出的能力更多是“被激发”而非“习得”的。这项研究为理解AI学习机制、探索RL发现能力以及对比机器与人类儿童的学习过程提供了独特的可…
据《华尔街日报》报道，Nvidia 正在调整其支持 OpenAI 俄亥俄州数据中心项目的计划，预计最初提供的融资担保将从此前讨论的 2500 亿美元大幅削减至 1200 亿美元以下。这一变动源于投资者对 Nvidia 承担巨额融资承诺所带来风险暴露的担忧。目前，Nvidia 与 OpenAI 已接近达成协议，芯片巨头可能仅为首期项目提供财务支持，交易有望在本周末签署。此前，Nvidia 刚联合六…
- ▲ 216周末诞生百年，正被混合办公瓦解
周末这一概念诞生仅百年，始于1926年Henry Ford推行五天工作制，旨在对抗流水线带来的疲惫并刺激消费。然而，从苏联曾尝试的无周末制度到如今的混合办公，休息日的边界正变得模糊。随着“摸鱼周五”和四天工作制的兴起，传统周六下午的足球赛和周日家庭聚会正在消解。文章探讨了从“时间奴隶”到“时间所有者”的职场分化，指出当工作与生活界限消失，我们是否正在失去周末所代表的集体自主权。
- ▲ 196低成本陶瓷净水器：拯救生命的开源技术
全球仍有75万人饮用受污染水源，陶瓷水过滤器提供了一种低成本且高效的解决方案。这项由Dr Fernando Mazariegos于1981年开发的技术，利用粘土混合锯末或稻壳，经高温烧制形成微孔结构，能有效拦截细菌和寄生虫。配合Colloidal silver的抗菌作用，它已成为全球39个国家61家工厂的标准化生产模式。Low-Tech Lab详细拆解了从原料制备、液压压制到银离子处理的半工业化…
2026年8月13日上午，Saint Lucie Nuclear Power Plant的1号机组在满功率运行时，因3根控制棒意外落入反应堆堆芯，操作员立即执行了手动停堆程序。美国核管理委员会（NRC）将此次事件定性为非紧急事故。据运营方报告，停堆过程顺利，所有系统反应正常，机组随后稳定在热备用模式（Mode 3），余热通过汽轮机旁路阀和主给水系统排出。2号机组未受此次事件影响，目前1号机组仍处…
随着 AI 智能体在代码库和市场中承担更多任务，Anthropic 的研究揭示了多智能体系统面临的严峻挑战。在软件漏洞检测实验中，协调式的智能体集群比独立并行搜索发现了更多漏洞，展现了协作的潜力。然而，在构建复杂游戏项目时，智能体往往陷入各自为政或盲目从众的困境：早期模型因冲突导致代码无法合并，而较新模型则通过拒绝协作来避免冲突。更令人担忧的是，智能体表现出极低的多样性，面对相同情境时容易做出完…
- ▲ 170Protobuf 终于拥有 LSP 支持
Buf 正式宣布推出首个生产级 Protobuf LSP 服务器，彻底改变了 Protobuf 的开发体验。过去，Protobuf 缺乏像其他主流语言那样的现代 IDE 支持，如今通过 Buf CLI，开发者在 VSCode、IntelliJ 或 Neovim 中也能享受代码补全、跳转定义和语义高亮等智能功能。我们基于 protocompile 构建了全新的查询驱动前端，不仅比 protoc 更…
- ▲ 164独立开发者十年：从濒临破产到一夜成名
2016 年 8 月，我辞去工作成为独立开发者，却未做任何计划。前五年我挣扎求生，积蓄耗尽，甚至因年龄大、无 CS 学位且技能过时（AppKit、Objective-C）而求职无门。首款应用 Underpass 收入不足 3000 美元，最终下架。转折点出现在 2021 年 9 月，iOS 15 发布支持 Safari 扩展，我的应用 StopTheMadness 借此爆发，占我总收入 93%…
我的一篇关于管理数据库连接的文章在十年后依然适用，这揭示了一个事实：Postgres 在处理大量连接时依然表现不佳。因此，使用本地连接池和 PgBouncer 这样的池化器几乎是行业标准。我调查了主流托管 Postgres 提供商，发现几乎所有服务商都默认捆绑了 PgBouncer 或类似的连接池解决方案。然而，这种普遍依赖外部组件的现状也带来了大量重复配置和文档阅读的工作。如果连接池能像 My…
- ▲ 158NIH 叫停临床研究者关键资助
NIH 宣布将停止为早期临床研究者提供直接资助临床试验的 K 奖项，这一决定引发了科研界的强烈反响。像 Lilia Cervantes 这样的研究者曾依靠该资助探索医疗不平等，如今却面临职业路径中断的困境。虽然 NIH 声称此举旨在简化资助体系并聚焦职业发展，但批评者指出，这将重创 HIV、女性健康等边缘化领域的研究，且可能阻碍年轻科学家独立开展严谨临床试验的能力。Jeremy Berg 的数据…
comma.ai 发布了名为 Chestnut 的 eGPU 扩展坞，核心亮点在于其运行完全开源的固件。这款基于 ASM2464PD 芯片的设备提供两种版本：249 美元的裸坞和 799 美元搭配 Radeon RX 9060 的套装。虽然初衷是为 openpilot 自动驾驶系统提供算力，但其开源固件让普通 PC 用户也能审计和修改桥接芯片代码，打破了传统 eGPU 黑盒化的现状。尽管 USB…
- ▲ 137ICE 枪击记者并关押近300天
记者 Carlitos Ricardo Parias 在报道 ICE 行动时遭枪击，随后被关押在 Adelanto 拘留中心近 300 天。他的枪伤未获妥善治疗，伤口恶化，甚至被描述为“濒临截肢”。在拘留期间，他继续记录拘留中心的恶劣条件，包括饮用水中的蠕虫和牢房里的蟑螂。尽管联邦法官最终驳回了所有刑事指控，但驱逐程序仍在继续。Parias 的案例揭示了美国政府在移民执法中对新闻自由的压制，以及…
如果你曾在90年代末编写PC程序，一定记得'Intel Inside Pentium with MMX'的贴纸。MMX不仅是营销热词，更是Intel将SIMD（单指令多数据）指令引入主流桌面CPU的重要尝试。文章回顾了1997年Pentium MMX的诞生，解释了它如何通过复用x87浮点寄存器实现64位整数并行处理，以及它在图像处理、音频混合等场景中的实际应用。虽然SIMD并非Intel首创，但…
Mirror Life 是一种由手性反转分子构成的假想生命形式，一旦诞生，可能逃避免疫系统、抵抗自然降解，甚至引发不可逆的全球生物灾难。RAND 报告指出，这种风险远超疫情或战争，且无法通过事后治理解决。报告强调，必须在第一个 Mirror Life 实验成功前采取行动，因为一旦突破，防御将彻底失效。美国需联合中国等科学大国，推动透明合作与早期规范制定，避免战略竞争激化风险。面对全球分散的科研能…
- ▲ 126LLM革命四年：为何我仍是怀疑者
尽管LLM热潮已持续四年，我依然拒绝在真正重要的项目中使用它们。软件质量未见提升，成本未降，安全性反而堪忧，行业也鲜有实质性创新。我的开源项目并未因未采用AI而落后，因为信任远胜于功能列表。目前缺乏独立研究证明AI能带来顶层生产力提升，现有数据多基于代码行数等无关指标。LLM生成的PR质量依然低劣，且常遗漏明显问题。AI助推者将代码视为产出而非输入，这违背了软件开发的基本哲学。当大科技试图让智力…
- ▲ 126特朗普政府扩充禁词清单至350+
特朗普政府正在从联邦机构网站和文件中大规模清理词汇，禁词清单已从最初的250多个激增至350余个。这份清单不仅涵盖DEI（多样性、公平与包容）相关术语，还延伸至气候变化、疫苗、心理健康甚至“墨西哥湾”等地理名词。从CDC到NASA，多个联邦机构被要求避免使用这些词汇，导致科研提案受阻，科学家被迫自我审查。尽管白宫声称未制定官方禁词表，但各机构执行的审查标准已严重侵蚀言论自由，阻碍了对真实世界问题…
我花了半年时间开发了 Clamiga，这是一个专为 Amiga 系列打造的 Common Lisp 实现。它支持经典的 AmigaOS 3（68k 架构）以及 MorphOS（原生 PPC 构建），甚至能在 macOS 和 Linux 上运行。不同于 SBCL 或 CCL 等现代实现，Clamiga 专为资源受限的 m68k 机器设计，拥有自包含的字节码虚拟机，无需外部依赖。尽管在 Amiga…
MathCode 是一款终端 AI 编程助手，内置数学形式化引擎。用户只需输入自然语言描述的数学问题，它就能自动将其转化为 Lean 4 定理并尝试形式化证明。该系统拥有持久的 Lean REPL，编译检查时间从 30 秒缩短至 0.4 秒。它支持自动命名和存储已证明的定理，构建可复用的定理库和公理库，并通过 Lean LSP 集成搜索 Mathlib 引理。此外，MathCode 还能生成 O…
- ▲ 114用 Moire 图案引导船只导航
受 Tom Scott 视频启发，我动手制作了一个基于 Moire 图案的 Inogon 灯光装置，用于引导船只。通过激光切割和精确的网格比例，我成功复现了这种利用视觉错觉提供方向指引的效果。虽然这个系统非常直观且无需校准，但我发现它并不总是最佳方案。在港口等复杂环境中，船只往往需要一定的机动空间，而 Moire 系统会强迫船只严格遵循一条狭窄的“完美”路径，这在面对横流或避让其他船只时反而增加…
八周前我对计算器毫无兴趣，直到发现 Casio VX-4 支持 BASIC 和 RS232 接口。我不仅用 BASIC 编写了日志软件，还利用 Raspberry Pi Zero W 作为桥接，在仅有 8kb RAM 的计算器上搭建了一个真正的 Telnet BBS。这个系统完全由计算器托管，通过 Tailscale 安全接入互联网，甚至用 Adafruit OLED HAT 显示状态。从模拟电…
- ▲ 104AI 写代码退潮，有公司回归手写吗？
我想知道在LLM热潮退去后，是否有公司因发现生成代码无法提升利润，而决定放弃AI工具，重新回归传统的手写代码模式？这并非讨论优劣，只是想确认这种‘返璞归真’的经济可行性是否真实存在。
Tarski 的高中代数问题曾困扰学界多年：正整数上的加、乘、幂运算恒等式是否都能由 11 条基础公理推导？Wilkie 发现了一个反例，而 Gurevič 随后给出了一个包含 59 个元素的代数模型来反驳。此后，Burris 和 Yeats 将反例模型缩小至 12 个元素，并猜想这是最小规模。本文利用 SAT 技术证实了这一猜想，证明 12 确实是反例模型的最小规模。研究不仅找到了全部 8,9…
面对AI编程的浪潮，我们不应完全排斥，也不该盲目依赖。让AI替你写代码的“Vibe Coding”模式，看似轻松，实则让你失去对代码的掌控，甚至自我欺骗以为掌握了技能。真正的出路是“Craft Coding”：由你亲手编写代码，将AI视为严格的代码审查者。这种方式既能利用AI发现那些你难以察觉的Bug，又能确保你深入理解每一行代码的逻辑。正如科学实验需要精确无误的代码支撑，只有亲自编码并让AI检…
- ▲ 96GPS 让我们遗忘了迷路的艺术
神经科学家 Shachar Maidenbaum 曾因 GPS 信号被干扰，误以为自己在贝鲁特而非以色列，这次经历让他反思我们对定位技术的过度依赖。新书《Little Blue Dot》指出，GPS 虽便利，却让我们外包了认知地图等生存技能，转而依赖机械的“刺激 - 反应”导航。研究显示，过度使用 GPS 会削弱空间记忆，让人在信号失效时陷入困境。当我们习惯了屏幕上的蓝点，是否也失去了在真实世界…
我们常把 Anton Chekhov 塑造成禁欲的圣人，认为他全心奉献给医学与文学。然而，新近解密的档案揭示了一个截然不同的他：一个充满欲望、风流倜傥的凡人。从青少年时期的越轨行为到与 Olga Knipper 充满误解的远距离恋情，Chekhov 的情感世界远比我们想象的复杂。在缺乏即时通讯的年代，他们的爱情依靠缓慢的信件维系，充满了猜忌与依赖。当我们剥去神话的外衣，看到的不再是一个完美的偶像…
- ▲ 9450年后，形式化验证真的赢了吗？
随着AI编码的兴起，形式化验证正从边缘走向主流，Google Trends搜索量激增，Lean等工具被广泛学习。然而，1979年一篇经典论文曾断言程序验证注定失败，无法提升人们对程序的信心。本文重读这篇50年前的文章，逐一分析其六大论点：从证明的社会属性、规范与实现的脱节，到全自动验证的不可行性，再到现实系统的复杂性。作者指出，虽然全量验证并非万能，但在AI生成代码的时代，精确描述意图和验证正确…
- ▲ 93伊朗战争：美国陷入全新泥潭
伊朗局势正让美国重蹈伊拉克战争的覆辙，但代价可能更为惨重。目前华盛顿缺乏明确的获胜策略，特朗普政府在中东的摇摆不定正损害美国的信誉，而中国的影响力却在上升。面对这一困局，美国内部形成了三个主要派别：主张加大军事压力的鹰派、呼吁谈判退出的克制派，以及试图通过封锁耗尽伊朗经济的中间派。然而，无论哪种方案都充满风险，且无人能保证能避免将伊朗推向失败国家的深渊。正如前官员所言，美国似乎从未真正理解伊朗政…
Mic Drop 是一款专为派对打造的实时多人卡拉OK游戏，旨在通过激烈的歌词接龙考验你的音乐知识储备。无需复杂的设备，只需在线连接，就能与朋友们在云端展开一场场充满欢声笑语的抢麦对决。这款游戏不仅打破了传统卡拉OK的单一模式，更将音乐记忆转化为趣味竞技，让每一次聚会都变成检验歌神实力的舞台，轻松点燃现场气氛。
- ▲ 8530 行代码实现零知识证明
别被加密货币的标签吓跑，零知识证明其实与图论紧密相关。我和 Chris 决定抛开复杂的加密概念，直接从 Goldreich 等人的原始论文出发，用 Python 实现了经典的图 3-染色问题验证协议。通过随机置换颜色、哈希加盐（nonce）以及多轮交互式验证，我们仅用 30 行代码就构建了一个无需泄露具体解法却能证明其存在的系统。这个过程不仅揭示了零知识证明的数学之美，还展示了如何在不依赖区块链…
这是一台诞生于 1963 年的机械计算机，名为 Digi-Comp 1。它没有复杂的电子元件，完全由塑料和橡皮筋构成，却能在物理层面执行计算任务。视频详细展示了这台复古计算仪器的运作原理，通过弹珠的滚动和机械结构的联动，重现了早期计算设备的智慧。作为关于古老科学仪器系列视频的第 96 集，内容不仅回顾了 Digi-Comp 1 的历史背景，还分享了相关的文档扫描资源。这种纯机械的计算方式，让人惊…
这是一套由 Falstad 精心打造的数学、物理与工程教育模拟工具集，旨在将抽象概念转化为直观的视觉体验。虽然最初基于 Java 编写，但现已全面迁移至 JavaScript，无需安装任何插件即可在浏览器中流畅运行。内容覆盖极其广泛，从 Oscillations and Waves 的波动干涉，到 Quantum Mechanics 中的氢原子轨道可视化；从 Electricity and Ma…
WILD STATIC 推出了一款颠覆性的 AI 产品，打破了传统对话的孤岛效应。在这里，所有用户与同一个 AI 互动，共享同一段记忆。这意味着你的每一次对话都会成为集体智慧的一部分，而你也可能遇到被其他用户‘搞砸’的有趣场景。这不仅是一个聊天机器人，更是一个动态演化的公共记忆体，邀请所有人共同塑造 AI 的认知世界。
受特朗普政府与伊朗战争影响，美国战略石油储备（Strategic Petroleum Reserve）已跌至40年来的最低点。随着汽油价格飙升至每加仑4.07美元的历史高位，专家发出严厉警告：过度抽取原油正在严重破坏地下盐穴的结构完整性。Texas A&M大学的Siddharth Misra教授指出，频繁的注水抽油操作导致盐壁被冲刷，支撑柱变薄，极大增加了洞穴坍塌的地质风险。尽管能源部坚称设施安…
- ▲ 74单层 CuO2 平面实现超导突破
科学家成功制备出仅含单层 CuO2 平面的二维铜氧化物超导体，这一成果打破了传统认知中关于二维超导稳定性的理论限制。研究团队通过精密实验，证实了即使在原子级厚度下，CuO2 平面依然能维持超导态，为理解高温超导机制提供了关键线索。这项发现不仅验证了理论预测，更可能为未来开发新型量子器件和超薄超导电路开辟全新路径，标志着凝聚态物理领域的重要进展。
我从不排斥给小费，甚至乐意为优质服务买单，但这不该是被操纵的结果。如今，美国正从一种小费文化滑向一种“愧疚文化”，技术屏幕成了施压工具。过去，小费是对卓越服务的奖励；现在，它成了完成交易的强制预期。无论是外卖员那句“电脑想问你个问题”，还是支付屏幕上预设的高额选项，都在利用心理战术迫使消费者掏钱。这种将慷慨转化为隐性附加费的做法，正在侵蚀商业诚信，让每一次简单的消费都变得令人不适。
JupyterLite 让 Python 内核在浏览器中本地运行，但一直缺少 Numba 这一关键加速组件。如今，我们成功将 Numba JIT 编译器及其生态完整移植到浏览器端，通过 WebAssembly 实现无需远程服务器的本地编译与执行。实测显示，在浏览器中 Numba 能带来约 250 倍的加速效果，远超原生环境的 90 倍。这一突破不仅解决了浏览器安全模型下的可执行内存难题，还通过…
根据Federal Reserve Bank of New York的最新数据，美国人的信用卡债务已飙升至1.26万亿美元，仅比去年的历史最高纪录1.28万亿美元略低。强劲的消费支出和食品、汽油等必需品价格的上涨是推动债务攀升的主要因素。与此同时，逾期90天以上的信用卡余额比例从2022年中的7.6%激增至2026年初的12.8%，显示出许多家庭正面临严峻的财务压力。研究人员指出，许多家庭仅靠工…
- ▲ 64编程语言创造者的古怪个人主页
Breck Yunits 整理了一份独特的清单，收录了从 Brendan Eich 到 Markus Alexej Persson 等编程界巨擘的个人主页。这些页面风格迥异，有的极简复古，有的充满极客幽默，有的甚至保留了 90 年代的网页美学。从 JavaScript 的诞生地到 Minecraft 的创造者，这些个人网站不仅是技术人员的数字名片，更是他们个性与创造力的真实写照。浏览这些页面，仿…
我记录了一个从 Arduino 原型进化到定制 PCB 的 FM 收音机项目。最初使用 Arduino UNO 和 TEA5767 模块搭建原型，随后为了更紧凑的设计和更好的性能，我转向了 ESP32 开发板。项目集成了 KY-040 旋转编码器进行调频，PAM8403 放大器驱动双扬声器，并配备了 0.96 英寸 OLED 显示屏。在 PCB 设计过程中，我深入学习了 KiCad 工具，解决了…
面对 25 万行以上的遗留 Fortran 气象模拟代码 CReSS，传统 GPU 移植往往难以兼顾性能与科学准确性。这项研究展示了一套以验证为核心的 AI 辅助工作流，利用 CLI 驱动的 AI 智能体自动提取 OpenMP 区域、生成基于物理状态的基准测试，并应用 OpenACC 进行转换。通过真实的台风模拟案例，该流程成功为 162 个核心内核生成了数值验证通过的 GPU 实现，实现了 5…
bribes.fyi 是一个专注于反腐败数据可视化的平台，允许用户选择任意两个部门进行并排对比。通过该平台，你可以直观地查看不同部门在贿赂金额、发生频率以及城市分布模式上的差异。无论是研究人员、记者还是关注公共事务的普通用户，都能利用这一工具快速洞察腐败数据的深层规律，让原本枯燥的统计数据变得清晰易懂。
jit是一款专为macOS开发者设计的本地优先安全工具，它能自动扫描并保护散落在.env文件、shell配置中的明文密钥。通过Touch ID生物识别，jit将敏感信息加密存入本地保险库，仅在特定工具请求时即时注入内存，确保磁盘上只留虚假诱饵。它完美兼容AWS、Docker、GitHub CLI等日常开发工具，无需修改现有工作流，即可在AI代理或恶意脚本窃取密钥前筑起最后一道防线。
用户反馈 Claude 服务出现异常，频繁弹出“认证服务不可用”的错误提示。尽管官方状态页面尚未更新任何信息，但 Downdetector 上已出现大量用户报告。这一突发状况引发了社区对服务稳定性的关注，目前具体原因仍在等待官方进一步说明。
我最近在审视那些批评低到中度饮酒的研究时，发现了不少漏洞。其中一项被医学界奉为“定论”的美国政府资助研究，其标题和结论都具有误导性。该研究声称低剂量饮酒无保护作用，且每周14杯的死亡风险高达1/25，据此建议每日饮酒不超过一杯。然而，论文中的Table 1数据与叙事明显不符，显示出低剂量饮酒的潜在收益及巨大的标准误差。更令人怀疑的是其方法论：使用了神秘的不对称置信区间，总风险计算方式粗糙，且整个…
Anthropic 筹备史上最大规模 IPO 之际，华尔街罕见地将目光投向两年后的 2028 年。据消息人士透露，该公司预测届时营收将高达 1900 亿至 2000 亿美元，远超目前 470 亿美元的营收增速。投行与投资者正参考 Cloudflare、Palantir 和 SpaceX 等企业的估值倍数，试图为这家仍在巨额投入 AI 基础设施的公司定价。尽管当前利润受算力与招聘成本挤压，但市场押…
Waku 是一款由 Y Combinator 支持的 Rust 原生应用，专为管理各类编程代理而设计。它通过 GPUI 框架实现 GPU 加速，提供秒级启动和流畅的滚动体验，彻底告别 Electron 的臃肿。Waku 将不同代理的会话、转录记录、工具活动和检查点整合到一个统一的石墨色窗口中，完全在本地运行，无需账户或云端服务。支持键盘优先操作，从启动会话到中途干预，全程无需鼠标。每次提示都会自…
1996年的一个宁静夜晚，20岁的Alan坐在他狭小的公寓里，面临人生重大抉择。一边是他用电脑创作的电子音乐，另一边是一份来自软件公司的重要工作邀约。是继续坚持音乐梦想，忍受死胡同般的工作，还是接受这份看似稳定的职业机会？这篇约8页的短篇故事，带你走进Alan的内心挣扎。故事创作期间，我反复聆听了Mick Rippon（MickRip）的模块音乐，他的曲目如Tea Cosy、Out of Con…
无需摄像头，也无需你携带手机，普通的 WiFi 信号就能精准识别你的身份。KIT 的研究团队发现，通过分析 WiFi 路由器的 beamforming feedback information (BFI)，系统能构建出周围环境和人员的图像。这项技术在 197 名参与者的测试中达到了近乎 100% 的识别准确率，且不受视角或行走方式影响。由于 BFI 数据未加密，任何范围内的设备都能读取，这意味着…
在 Great Smoky Mountains National Park 深处，有一条名为 Road to Nowhere 的隧道，路面在黑暗中戛然而止。这并非自然奇观，而是 Fontana Dam 建设遗留的历史伤痕。二战期间，TVA 为支持 Alcoa 的铝生产而修建水坝，迫使数千名居民撤离，并承诺修路以保留通往祖先墓地的通道。然而，因 Anakeesta rock 引发的环境争议，这条…
在波士顿郊外，Eden GeoPower 正进行一项大胆实验：利用高压脉冲电流击穿地下岩石，以此释放地质氢气。创始人 Paris Smalls 认为，传统的水力压裂法难以精准控制，而电力致裂技术能构建更精细的裂隙网络，让水流深入富含铁质的岩层，通过氧化反应原位生成氢气。这一被称为“刺激地质氢”的技术，旨在将地壳中随处可见的铁矿转化为能源工厂。尽管目前全球对天然氢气的勘探尚未找到商业级气田，但通过…
1956 年夏天，Jack Kerouac 在华盛顿州的 Desolation Peak 担任美国林务局的瞭望员，追寻 Gary Snyder 口中的苦修体验。他独自守在高空小屋，用 panoramic 地图和 firefinder 扫描方圆数百英里的雪岩与湖泊。这些圆形全景图由土木工程师 Archie G. Norcross 于 1918 至 1923 年间绘制，曾是 Maine 森林火灾预警…
在 Rightmove 等在线房产平台出现之前，伦敦的房产中介早已玩起了“虚拟看房”。埃克塞特大学的研究发现，19 世纪 40 至 50 年代，位于 Old Bond Street 的高端中介 Brooks and Green 利用一种名为 Cosmorama 的沉浸式视觉技术，向买家展示豪宅和乡村庄园。通过凸透镜和精心控制的灯光，客户能体验带有景深效果的定制画作，仿佛身临其境。这项技术比现代数…
这是一个专为 Hermes Agent 打造的非官方 Grafana Agent Observability 插件，能够自动记录 LLM 调用和工具执行过程，生成详细的追踪数据与指标。开发者只需将特定指令发送给 Hermes，即可让 Agent 自动完成安装、配置及凭证设置，极大简化了部署流程。该插件支持将对话数据流无缝对接至 Grafana Cloud，帮助开发者深入洞察 AI 代理的运行状态…
极端天气往往由人为变暖与自然波动叠加而成。研究利用2019-2020年澳大利亚山火作为天然实验，验证了海洋云增亮（MCB）技术模拟出的La Niña响应。通过CESM2模型模拟，团队发现若在El Niño增长期实施MCB，可干扰Bjerknes反馈机制，从而削弱1997-1998和2015-2016年的强El Niño事件。不过，干预时机和持续时间至关重要，过早或过短的操作可能引发后续La Ni…
数据揭示了一个惊人的市场变化：在短短一年内，ChatGPT 的全球网页访问份额从 76% 暴跌至 54%，整整失去了 22 个百分点。与此同时，Gemini 的份额从 6% 飙升至 28%，Claude 也从 1% 增长到 9%。需要特别注意的是，这组数据反映的是网页端访问量，而非月活用户数或收入。Gemini 之所以能在网页份额仅占 28% 的情况下拥有 10 亿月活用户，是因为其大量使用场景…
Herbert 和 Sonja Neumann 一家自 1961 年起居住在 Bouchéstraße，这里曾是柏林墙穿街而过的死亡地带。他们的家门距离墙仅 1.5 米，生活被严格限制：进出需出示护照，访客需提前数周申请，甚至无法随意拜访住在 West Berlin 的家人。Herbert 用相机秘密记录了从木栅栏到混凝土高墙的演变过程，这些照片成为东柏林视角下罕见的历史见证。尽管生活充满压抑与…
我在 PayPal 工作时有个不成文的规矩：午餐时若忘记锁屏，同事就会用你的账号给 [email protected] 发一封滑稽邮件。这种即时的“社死”体验，比任何年度安全培训都让人刻骨铭心。如今，企业依赖 MDM 策略和合规幻灯片，却失去了这种由同伴直接传递的教训。虽然 90 年代的办公室文化有其阴暗面，但那种由团队自发形成的、能让人立刻感受到后果的规范，才是最廉价也最有效的安全程序。
Magic: The Gathering 玩家终于迎来了终极工具 Oracle。这个名为 Oracle 的浏览器项目，能够以照片级写实效果展示历史上发行的每一张 Magic 卡牌。它不仅仅是一个简单的数据库，更是一个功能强大的搜索平台，支持按名称、发布日期、稀有度、价格（USD、TIX、EUR）以及 Mana Value 等维度进行深度筛选。无论是寻找特定的卡牌插图，还是分析 EDHREC 排名…
当专业沟通越来越多地依赖 LLM 时，这些模型真的对所有用户一视同仁吗？研究发现，当提示词包含女性更常使用的语言特征（如模糊限制语、附加疑问句、集体代词）时，LLM 会系统性地给出更短、更不专业且更不正式的回复。这种偏见在四种模型和三种文档类型中均稳定存在，且无法通过控制提示词复杂度来消除。更令人担忧的是，这种语言风格的影响远大于显性的性别线索（如签名名），且由于这些模式深植于文化习惯中，用户很…
- ▲ 19气味如何在风中变形：新研究揭示
狗能寻人、蜂能授粉，但动物究竟如何利用嗅觉定位源头，科学界一直未解。CU Boulder 的最新研究指出，风中的湍流是关键。当气味随空气传播时，湍流会系统性地改变气味脉冲的时间模式，形成独特的频率特征。Elle Stark 和 John Crimaldi 团队通过风洞实验和激光技术，让不可见的气味羽流“显形”，发现湍流会过滤、扩散甚至生成新的频率。这些由气流塑造的动态信号，正是动物在数百万年进化…
- ▲ 15用画笔编程，而非铅笔
2022年，我为学生编写了一个名为PaintBrush的Python类，让他们能用代码绘制有趣的图形。如今，虽然Claude等LLM能在几十秒内生成类似代码，但我认为这类视觉化项目反而能激发学生亲手写代码的热情。当编程不再是枯燥的乘法表练习，而是创造千行线条的艺术品时，学生更愿意投入其中。PaintBrush、Turtle、processing和pygame都是这类抽象工具的代表。借助LLM快速…
- ▲ 12讣告：生者对逝者的最后一句话
讣告不仅是生命的终点记录，更是社会价值观的试金石。从《纽约时报》对 Natalie Babbitt 的追忆，到地方小报上充满争议甚至复仇意味的付费讣告，死亡叙事揭示了人性的复杂。有人用讣告弥补遗憾，有人借此清算旧账，甚至有人以幽默自嘲对抗死亡。当本地新闻式微，我们是否正在失去记录真实人生的能力？在 Legacy.com 和 Facebook 上，那些被美化得千篇一律的悼文，是否掩盖了生命原本的粗…
Go、Kotlin和Erlang/Elixir都在解决同一个难题：如何在少量OS线程上高效运行大量逻辑任务。核心分歧在于：谁控制任务切换？这个决定直接决定了模型是协作式还是抢占式，GC是暂停单线程还是整个进程，以及崩溃是局部隔离还是灾难性的。文章深入剖析Go的CSP模型与GMP调度器，解释了为何Go从1.14版本开始必须引入基于SIGURG信号的抢占机制，以解决无限循环导致的GC死锁问题。通过对…
OpenCode Zen 的免费隐身模型 big-pickle 在 Scale AI 的 SWE Atlas Codebase QnA 基准测试中取得了 50.8% 的任务解决率。这一成绩在 Mini-SWE-Agent 框架下超越了官方榜单上的所有其他模型，仅落后于原生运行在 Claude Code 框架下的两个 Claude 模型。测试覆盖了 TypeScript、Python、Go 和 C…
你的代码助手昨天刚解决了 Postgres 容器未启动的问题，今天却再次因为同样的错误浪费九分钟。LoreKit 让 Agent 拥有真正的记忆：无需注册账号，只需一条命令和一个本地文件夹。它通过 MCP 协议将记忆写入 Markdown 文件，记录环境配置、测试失败原因等关键信息。无论是本地开发还是团队协作，LoreKit 都能无缝切换，确保每次会话都从上一次的经验开始，避免重复踩坑。
这是一个探索性的概念验证项目，旨在通过流体动力学原理在 GPU 寄存器中解决光计算的抖动问题。项目融合了 CUDA PTX、RAII 内存隧道和 JAX shard_map 结构，试图在不引入内存分配缓冲的情况下，利用硅光子加速器互连的虚拟内存地址线，实现超大规模分布式 AI 的零开销容错路由。通过绕过电光缓冲延迟并消除动态编译图断裂，该项目致力于在 DeepSeek-V4 等架构中维持精确的数…