法兰克福机场近期发生罕见的疟疾疫情,导致两名机场工作人员死亡。七月份共有六名员工受到感染,当局认为传染源是随飞机抵达的蚊子。
虽然疟疾通常在热带地区传播,但“机场疟疾”(即蚊子搭乘飞机传播)虽罕见但确有先例。有关部门已安装诱捕器以捕捉并分析当地蚊子,从而确定疫情来源。
公共卫生当局强调,法兰克福普通民众面临的风险仍然“非常、非常低”,因为该病不会在人与人之间传播。罗伯特·科赫研究所指出,由于这些感染病例没有传统的旅行史,最初的诊断可能被延误,从而增加了工人们的治疗难度。目前针对昆虫具体来源的调查仍在进行中,预计需要数周时间。
**Tare** 是一款专为 Claude Code 设计的工具,旨在帮助您追踪和理解令牌(Token)的使用情况,无需依赖仪表盘或复杂的命令。通过读取 Claude Code 的本地日志,它可以准确识别您的配额消耗去向、触发限制的原因,以及是哪些文件或后台进程占用了上下文。
**核心功能:**
* **自然语言查询:** 您可以询问诸如“为什么我的用量达到了上限?”或“哪个项目消耗了我的令牌?”之类的问题,并获得清晰、可执行的解释。
* **精确分析:** 与原始的令牌计数不同,Tare 能正确对日志进行去重,并计算长会话中重复发送上下文的“实际成本”。
* **可操作的洞察:** 它能识别异常情况(如失控的脚本或过多的后台会话),并提供清晰的报告。
* **注重隐私:** 所有操作均在本地机器上运行。“共享”功能可生成已脱敏的摘要,剔除私人数据,便于安全地公开发布。
* **简易设置:** 通过单个终端命令(`npx skills add kelviq/tare...`)即可安装,并直接集成到 Claude Code 中。
Tare 是开源(MIT 协议)的,安全可靠,无需外部账户或复杂配置。它是调试使用模式并优化工作流的理想工具。
三项递推关系是计算特殊函数的有力工具,但由于潜在的数值不稳定性,使用时需谨慎。这种不稳定性源于二阶线性差分方程拥有两个线性无关的解:一个随 $n$ 增大而增长,另一个随 $n$ 增大而衰减。
在计算“极小”(衰减)解时,舍入误差往往会引入“主导”(增长)解的一小部分分量,该分量最终会淹没计算结果。例如,$J_n(x)$ 和 $Y_n(x)$ 作为 $x$ 的函数时表现相似,但作为 $n$ 的函数时却大相径庭:$J_n(x)$ 向零衰减,而 $Y_n(x)$ 则趋于负无穷。因此,正向递推对于 $Y_n$ 是稳定的,但对于 $J_n$ 却不稳定,后者需要采取相反的计算方法。
只要两个线性无关解的比值趋于零或无穷大,就会出现数值不稳定性。在这种情况下,为计算极小解的稳定值,必须采用米勒算法(Miller's algorithm)等专门技术,以避免主导解带来的干扰影响。
由于数据污染和模型记忆的存在,人工智能搜索引擎的静态基准测试正变得越来越不可靠。为此,作者推出了 **NEEDLE(新闻、日常、专家、长尾和法律评估)**。这是一项动态演进的基准测试,通过实时数据对搜索引擎进行测试,从而反映现实世界中智能代理的搜索模式。
分析表明,传统搜索引擎主要针对人类的“惰性”和参与度(例如偏向视频内容)进行了优化,往往无法满足 AI 代理对高精度事实的需求。此外,报告指出,依赖联合或共享索引会限制性能;真正的性能提升需要独立、专有的索引。
作者认为,搜索基础设施的未来属于“学习型机器”——即能够拥有自主索引、优先考虑代理特定数据检索并能快速适应搜索行为变化的引擎。Keenable 团队通过追踪长期的性能表现而非仅依靠静态快照,证明了学习和迭代能力已成为当前 AI 搜索领域的核心竞争优势。
**基准测试详情:** [https://keenableai.github.io/needle/](https://keenableai.github.io/needle/)
英国计划在今年年底前协助乌克兰建立“风暴之影”(SCALP/Storm Shadow)巡航导弹的本土生产线,此举标志着西方军事援助的重大升级。这一举动引发了克里姆林宫的严厉警告,俄方指责伦敦已成为冲突的直接参战方。
俄罗斯外交部发言人扎哈罗娃威胁称,英国在乌克兰境内外的军事设施可能成为俄方打击的合法目标,并警告称如果英国一意孤行,将招致“灾难性后果”。莫斯科进一步谴责英法两国是在“玩火”,认为这些行为破坏了任何和平谈判的可能性。
尽管面临这些威胁,英国政府仍坚定不移地提供支持。英国国防部一名官员重申了英国的承诺,即向乌克兰提供抵御俄罗斯入侵所需的必要装备。在国际观察人士猜测美俄近期举行高级别情报会议的性质之际,这种地缘政治紧张局势仍在持续,凸显了莫斯科与北约之间爆发直接对抗的风险正在不断上升。
美国卫生与公众服务部部长小罗伯特·F·肯尼迪指责宾夕法尼亚州官员可能编造了近期两起与麻疹相关的死亡报告。宾夕法尼亚州卫生部和州长乔什·夏皮罗于本周早些时候宣布了这些死亡消息,这也是该州35年来首次出现与麻疹相关的死亡病例。
然而,兰开斯特县验尸官史蒂夫·迪亚曼托尼表示,他的办公室没有任何关于麻疹死亡的记录。他指出,州政府报告中提到的那名夭折婴儿实际上是死于脾脏撕裂,病理学家并未将其归因于麻疹。肯尼迪质疑了州政府说法的真实性,指出这些死亡病例并未上报至美国疾控中心(CDC),并暗示这一公告可能过于草率或存在政治动机。
州政府官员为他们使用的“麻疹相关”术语进行了辩护,称当患者病毒检测呈阳性时,即便病毒并非直接死因,该术语也适用。他们坚称,这些死亡病例是根据其内部标准准确上报的。包括县专员乔什·帕森斯在内的当地官员目前正要求州政府就这些报告的准确性提高透明度。
该项目旨在为 CII Mitra-15 开发一款功能性模拟器,这是一款 20 世纪 70 年代在法国广泛使用的 16 位小型计算机。通过适配现有的 SIMH 框架,该项目致力于保护一段目前缺乏可用软件和文档的计算机历史。
该模拟器目前已包含一个可运行的 SIMH 环境、完整的指令译码器,以及用于基础 I/O 和磁盘设备的代码。开发者正根据遗留的十六进制转储文件,一丝不苟地重建原始的 MTR(实时监控程序),以作为验证基准。未来的目标是将 RSX280 操作系统移植到该平台。尽管该项目尚处于初步阶段,且面临着缺乏外设文档以及 Mitra-15 本身不支持原生堆栈等挑战,但它代表了对该架构独特功能(如微代码 I/O 处理和“挂起”系统)进行归档的专注努力。该代码专为在 Linux 系统上运行而设计,并使用了 openSIMH 环境。
Route 53 Files 是一款富有创意的非官方实用工具,它能将 Amazon Route 53 托管区域挂载为原生 NFS 文件系统。通过将 DNS 记录视为文件和目录,用户可以使用 `cat`、`echo` 和 `vi` 等标准命令行工具来管理 DNS 记录,而无需完全依赖 AWS 管理控制台或复杂的 API 调用。
在文件系统中进行的更改会自动与 Route 53 同步,反之亦然;更新通常在约 90 秒内同步至实时 DNS。该系统支持别名符号链接(symlinks)和用于记录配置的 `.TTL` 文件等高级功能。它专为共享访问而设计,使团队或自动化代理能够协同处理 DNS 记录。
该服务构建于 S3 Files 之上,集成了 IAM 以确保安全性,并可在大多数 AWS 商业区域运行。虽然它不是 AWS 的官方产品,但为管理 DNS 基础设施提供了一种高度直观、“原生 UNIX 风格”的替代方案。用户只需为运行该服务所需的底层 AWS 基础设施付费,软件本身完全免费。
在执行了六个月的“禁止手动编码”规则后,作者的工作流程已从手动开发彻底转变为“代理工程”(agentic engineering)。通过利用在隔离的临时 Linux 虚拟机中运行的 AI 代理,作者已经超越了简单的自动补全,转而管理复杂的并行化开发工作流。
这种转变要求从“凭感觉编码”(即不加监管地让代理编写代码)转向对架构、设计和系统不变性的严格关注。由于代理现在可以快速生成整个系统,作者强调,工程师的价值在于管理风险、定义契约以及决定什么值得发布。
作者的经验突显了三个关键转变:
1. **基础设施即代码:** 将代理从本地机器转移到云端虚拟机,实现了异步并行工作。
2. **将失败视为一种特性:** 通过将失败成本降至接近零,作者能够像曾经迭代代码行一样快速地“迭代设计”。
3. **从代码审查到设计审查:** 同行评审被架构审查所取代,因为“真正”的工作发生在规划阶段,而非实现阶段。
最终,作者得出结论:尽管对逐行代码的熟悉程度有所下降,但产品发布的交付速度却得到了显著提升。