## IPv4x：一段并行的互联网历史 20世纪90年代，IPv4地址即将耗尽引发了关于互联网未来的争论。虽然IPv6提供了使用128位地址的干净解决方案，但完全取代IPv4似乎令人望而却步。一个引人注目的替代方案“IPv4x”提出*扩展* IPv4。 IPv4x通过保留原始的32位头部，将额外的96位添加到数据包主体中来保持兼容性。现有的IPv4路由器会忽略扩展，而支持IPv4x的路由器则利用完整的128位地址。每个现有的IPv4地址自动获得其下方一个巨大的“子空间”。 部署是渐进的和非破坏性的。对DNS和DHCP的更新允许可选的IPv4x支持，麻省理工学院成功的校园范围内的试验证明了其可行性。到2006年，IPv4x已经建立，IANA为其保留了未使用的/8块。 起初受到欢迎，但IPv4x因其促进点对点文件共享而受到音乐产业的强烈反对。然而，其易用性和无缝集成最终胜出。到2026年，IPv4x已成为常态，并促成了像2020年疫情期间轻松的视频会议等创新。 虽然是假设的，但IPv4x场景强调了渐进式演进而非革命性变革的路径。虽然它会保留遗留元素，但它强调了前进动力的重要性——这对于我们现实世界向IPv6的过渡具有借鉴意义。

## 使用任务级规范生成器扩展验证软件工程 这项研究展示了在扩展验证软件工程——通过形式化证明确保代码正确性——方面取得了显著进展，通过引入“任务级规范生成器”。传统上，验证代码需要大量人工投入，随着人工智能快速生成更多代码，这成为一个瓶颈。这种方法将重点从审查单个代码片段转移到为整类任务*一次性*验证正确性规范，并自动将其应用于所有代码库。 研究团队使用“rocq-dove”系统进行了原型设计，该系统用于从Rocq到Lean的验证翻译。将其应用于翻译逻辑基础教材的所有1276个语句，与手动验证相比，速度提高了**350倍**。人工智能自主验证了97%的语句，人工投入集中在仅有的6个“极端”难度案例上。 这一成就表明，验证软件工程的进展速度比预期更快，并且随着人工智能代码生成的增加，可能比未验证的方法*更具*可扩展性。关键在于分摊人工监督成本——一次性定义正确性，而不是为每个代码库重复定义。这项工作突出了在人工智能辅助编程时代扩展可靠性的潜力，并为基于强化学习的软件验证开辟了进一步研究的途径。

scrt 是一个面向开发者、系统管理员和 DevOps 工程师的命令行密钥管理工具。scrt 旨在为命令行用户提供一种安全地存储和检索密钥的方式，同时保留对存储的控制权。警告：本项目目前正在开发中，尚未达到生产就绪状态。请自行承担风险。https://scrt.run/guide Apache 2.0

美国财政部完成了本周的债券拍卖，成功售出30年期债券220亿美元。最高收益率达到4.871%，为去年7月以来最高，反映了近期长期利率的上行压力——10年期收益率在两周内从3.97%跃升至4.24%。 此次拍卖“穿过”预期（意味着需求略高于预期），连续第四次出现这种情况，但内部需求显示出一些减弱。间接竞标者（外国央行）的份额低于近期平均水平，而直接竞标者（国内投资者）的参与度有所增加。交易商持有的债券比例略有增加。 总体而言，尽管长期债务面临严峻的市场条件，此次拍卖的结果被认为尚可，表明投资者需求持续存在，但正在减弱。

老年人联盟预测，2027年社会保障和补充安全收入（SSI）的成本调整（COLA）将为2.8%，与2026年的调整幅度相同。这远低于2023年的8.7%增幅，后者旨在应对疫情时期的通货膨胀。 该预测基于政府最近发布的消费者价格指数（CPI）数据，使用了社会保障管理局（SSA）采用的7月至9月的数据。然而，越来越多的老年人担心COLA无法跟上他们的实际支出，58%的人担心通货膨胀会耗尽他们的退休储蓄。 该联盟还对社会保障的长期偿付能力表示担忧，并指出对国会解决潜在福利削减缺乏信心。他们提倡使用CPI-E（老年人消费者价格指数）代替当前的CPI-W，以更好地反映老年人的消费习惯，并警告说，持续的低调整幅度可能会使更多的老年人陷入贫困。最近的地缘政治事件和油价上涨进一步加剧了这些担忧。

## 全谱摄影：超越可见光 本文详细介绍了通过移除数码单反相机的内部滤镜，使其能够捕捉全光谱光线——包括紫外线和红外线——的改造结果。由此产生的图像揭示了一个受不同光源强烈影响的隐藏世界。 作者使用改装后的佳能 Rebel T6 照相机和滤镜来隔离波长，展示了红外线如何显著改变场景。白天全谱照片由于太阳的红外线辐射而显得更粉红，而仅红外线拍摄的照片则呈现出黑暗的天空和高度反光的树叶。景观通过减少大气雾霾获得清晰度，但近距离拍摄的树叶则显得更明亮、更透明。 夜晚的效果更为明显，钠蒸汽灯发出强烈的红外线“热点”，并揭示了隐藏的红外线源，如安全摄像头。相反，现代 LED 照明由于其红外线输出微弱，产生的图像几乎与标准摄影相同。 作者计划在未来的文章中探索选择性滤光以获得独特的色彩组合，以及专门的紫外线摄影。最终，这种改造提供了一个迷人的视角，让我们得以窥见塑造我们视觉世界的不可见波长。

## 被低估的王国：真菌及其重要作用 真菌对地球上的生命至关重要，但仍然被严重低估和缺乏保护。像濒危的阿加里孔（一种具有强大药用价值的药用蘑菇）这样的物种，由于上个世纪人口下降了70%，现在正被保存在生物库中。尽管全球估计有220万到1200万种真菌物种，但已知只有约15.5万种。 这些“隐藏”的生物是不可或缺的：大约90%的植物依赖于与菌根真菌的共生关系来吸收养分和水分。真菌还充当生态系统工程师，分解有机物，封存碳（估计每年130亿吨），并形成土壤生态系统的基础。 越来越多的科学家认识到真菌的重要性，最近的奖项突出了它们在植物网络和碳循环中的作用。然而，目前只有10%的关键菌根热点受到保护。 一种日益增长的运动倡导在保护工作中更多地纳入真菌，旨在提高它们与植物和动物同等的地位——随着“真菌保护承诺”等倡议的国际推广，这种转变正在获得势头。认识真菌不仅仅是拯救物种，更是理解和保护地球上生命的“基石”。

403 禁止访问

## 替补：您的可教学桌面代理 替补是一款新的AI工具，旨在自动化您电脑上的任务——浏览器、应用程序、终端和消息应用——无需复杂的集成或工作流构建器。它通过*观察*您完成一次任务来学习，然后逐步提高独立处理任务的能力，就像一个人类替补演员一样。 该系统运行在五个层面：观察、模仿、记忆、优化和主动行动。目前，前两个层面已实现功能——允许替补通过演示学习任务。未来的开发将侧重于改进记忆、路线优化（寻找更快的完成任务方式）以及最终的主动协助。 替补不仅仅是点击按钮；它理解*意图*并利用GUI自动化、浏览器控制、shell访问等多种技术。它构建在本地运行时之上，优先考虑隐私，采用本地数据存储。目前专注于macOS，但设计目标是跨平台兼容。它是开源且模型无关的，支持各种AI提供商，如OpenAI和Anthropic。

AI SRE · 部署在您的VPC中 LogClaw部署在您的AWS、Azure或GCP账户内——全天候监控您的日志，实时检测异常，并自动创建包含根本原因分析的事件工单。 您的数据绝不会跨越信任边界。 日志保留在您的VPC中 SOC 2 Type II认证准备就绪 开源 · Apache 2.0

查看 Vee 🥑 的所有作品 关注 Vee 🥑 关注 关注 Vee 🥑 添加到收藏夹 收藏夹 评论 气泡排序的 Amen Break 立即下载 早上有了这个想法，现在它实现了。不错！ 更多信息 状态 原型 平台 HTML5, Windows 评分 评级 5.0 星（共 1 评级） 作者 Vee 🥑 使用 Godot 制作 标签 音乐, 音乐制作, 无AI 下载 立即下载 自定义价格 点击立即下载以获取以下文件： AmenSorting (Windows) 93 MB 发表评论 使用 itch.io 登录以发表评论。 itch.io · 查看 Vee 🥑 的所有作品 · 举报 · 嵌入 游戏 › 免费

介绍电话（30分钟）：我们想了解您加入Converge的动机，确定您为何适合，并解答您的疑问。 技术环节（1小时）：我们将一起解决Converge经常遇到的一个典型工程问题。 文化环节（45分钟）：我们将深入了解您过去的工作经验，以了解您的工作方式和动力。 超级日（1天）：加入我们，实际构建一些东西！您可以认识团队，我们也可以认识您，这很棒。（全额报销）（*） 所有这些可以在2天内完成。如果您想快速推进，我们也是如此。我们的创始工程师在与我们第一次通话几天后就飞来与我们见面了。

2023年2月，一名外国黑客入侵了纽约联邦调查局办事处的服务器，泄露了与杰弗里·爱泼斯坦调查相关的文件。这次入侵最初被认为是“孤立事件”，原因是特别探员亚伦·斯皮瓦克在管理数字证据时造成了一个漏洞。 据报道，该黑客似乎是个别犯罪分子，而非国家行为者，他在服务器上发现了儿童性虐待图像，并讽刺地威胁要向联邦调查局举报“所有者”——却不知道他已经入侵了该机构。联邦调查局已经控制了这次入侵，并正在调查中。 斯皮瓦克声称他被当成替罪羊，并指出联邦调查局相互冲突的IT政策是根本原因。目前尚不清楚访问或下载的数据范围，以及泄露的文件是否与已公开的爱泼斯坦文件重叠。此事最初由CNN和路透社报道，爱泼斯坦的关联则是由一家法国杂志披露。

## 比特币在人工智能代理时代的机会 比特币在与现有法定系统并列成为日常货币方面一直面临挑战。然而，随着人工智能代理和自动化商业的兴起，一个新的机会正在出现。与传统支付方式不同，该领域起步于零，为比特币提供了一个公平竞争的机会。 当前的支付方式，如信用卡，不适合由代理驱动的购买，受到机器人保护和网站导航问题的阻碍。Visa、OpenAI/Stripe、Google 和 Coinbase 等主要参与者正在开发代理商务解决方案，但没有单一实体同时控制代理和商家双方，这为比特币留下了空间。 比特币，特别是随着闪电网络的容量不断增长，具有优势：减少欺诈、更快的结算以及支付处理商之间的竞争——避免了中心化稳定币系统的风险。 关键现在在于采用。比特币社区需要积极*使用*比特币进行购买，鼓励商家接受它，并利用工具连接买家和卖家。虽然仍有大量工作要做，竞争也十分激烈，但这对比特币来说是一个关键时刻，可以将其确立为未来中立、开放商业的基础。

## OneCLI：AI 代理的安全凭证管理 OneCLI 是一个开源网关，旨在安全地管理 AI 代理使用的 API 凭证。它不将敏感密钥直接嵌入代理中，而是提供一个集中存储和控制访问的位置。 其工作原理是：代理使用占位符密钥，OneCLI 基于 Rust 的网关会拦截 HTTP 请求，将这些占位符替换为正确的解密凭证，*而无需*将真实密钥暴露给代理。这利用了 AES-256-GCM 加密和模式匹配（主机和路径）来实现安全、有针对性的注入。 OneCLI 提供了一个 Web 控制面板，用于管理代理、密钥和权限，并支持单用户和团队（Google OAuth）身份验证。它设计为通过 Docker 轻松本地部署，最初不需要外部数据库，并且还可以与 PostgreSQL 集成。 本质上，OneCLI 简化了 AI 代理的安全性和访问控制，为凭证提供了一个统一的管理点，并提供了对代理 API 使用情况的宝贵见解。

## 对当前人工智能的警惕性观察 本文呼吁以批判的视角看待今天的人工智能工具，并非完全拒绝，而是*审慎*使用。作者认为我们专注于*如何*使用人工智能，却忽略了考虑其*后果*。当前的人工智能，如LLM，代表着巨大的力量，但远未达到其潜力——一个更好的未来是可能的。 担忧的重点不是技术本身，而是其实现方式，常常将速度和自动化置于深思熟虑的设计之上。这导致了诸如“氛围编码”之类的现象——以巨大的计算成本蛮力解决问题——以及对集中式系统的危险依赖。一个关键的观察是“盖尔-曼的冷漠”，即人们乐于接受他们在*不*理解的领域的人工智能，但在自己的专业领域却持批判态度。 作者警告不要重蹈社交媒体的覆辙——将网络空间控制权让渡给公司，牺牲隐私以换取便利，并助长监视文化。相反，他们提倡优先考虑数字自主权、开源开发，以及回归对真正的人类联系和创造力的重视。 最终，信息是呼吁勇气和怀疑：不要盲目接受当前的轨迹。专注于构建一个技术服务于人类的未来，而不是相反，并记住真正的进步在于培养社区、联系和有意义的创造。

这段 JavaScript 代码创建了网页上由特定元素触发的交互式工具提示（气泡）。它解析页面文本内容中的自定义 `[[术语|标题|内容]]` 标记，并将其替换为按钮。点击或聚焦这些按钮，将显示一个包含 `标题` 作为标题，`内容` 作为内容的工具提示。 该代码智能地将工具提示相对于触发元素进行定位，确保其保持在视口内，并通过调暗触发元素分支外部的区域来避免重叠内容。它处理鼠标悬停、键盘导航（焦点、Esc 键）和移动设备的触摸事件。 主要功能包括：动态定位、开/关动画、辅助功能属性（ARIA）以及一种机制，用于防止用户在使用粗略指针（如鼠标）时打开工具提示。如果鼠标移开，工具提示将在延迟后自动关闭，或通过关闭按钮或 Esc 键显式关闭。该代码还会在窗口调整大小或滚动时重新定位工具提示。

这是一个高度交互的网络应用程序，需要JavaScript。简单的HTML界面是可能的，但这并非如此。Post 404 Media 404media.co did:plc:vcepp6trx4vpe5ourxso4tjl 这是Nathan Cavanaugh，另一位DOGE工作人员，解释了他如何在NEH标记“DEI”拨款，这些拨款将被审查以终止。404 Media已经审查了数小时的这段录像，我们很快会发布更多内容。这是@acls1919.bsky.social、@modernlanguage.bsky.social + @historians.org 提起的诉讼的一部分。2026-03-12T15:33:12.866Z

请启用 JavaScript 并禁用任何广告拦截器。

## 不要害怕 Rust 异步代码中的函数调用 在 Rust 的异步上下文中，通常建议“为了性能而内联所有内容”的做法往往是错误的。将代码提取到单独的、命名的异步函数中——即使存在函数调用的开销——通常不会妨碍性能，反而常常*提高*代码质量。 编译器通常会优化掉调用，将函数的有限状态机合并到调用者中。即使调用仍然存在，其成本也远小于异步操作中常见的 I/O、锁或内存分配。微基准测试和性能分析始终表明这一点。 *真正*的代价在于降低了可读性和可维护性。大型的、单一函数更难理解、测试和修改，给开发者（和 AI 代理！）带来了“理解税”。通过良好命名的函数优先考虑清晰度，即使代码稍长，也能促进更好的代码，并允许编译器有效地优化。 关注系统级行为，并使用性能分析器测量性能，而不是过早优化。除非性能分析显示出特定的瓶颈，否则优先考虑易于理解和维护的代码。信任 Rust 编译器，拥抱抽象——这比追逐纳秒更有价值的投资。

大都会艺术博物馆推出了一项新的在线档案，其中包含超过100件重要艺术品和历史物品的高清3D扫描。这项倡议与日本NHK电视台合作，使用户能够以前所未有的细节虚拟探索像梵高的《向日葵》，古埃及文物和精致的日本屏风等作品。 观众可以放大、旋转和检查模型，甚至可以使用增强现实技术通过智能手机或VR头显将它们放置在自己的环境中。亮点包括一个公元3世纪的石棺、霍鲁斯雕像以及狩野山雪的作品。 该项目的目标是增强人们对艺术的研究、教育和一般兴趣的获取，提供一种与这些文化珍品进行物理互动体验的绝佳方式。该档案可以通过每个物体网页上的“3D查看”按钮访问，为人们参与大都会博物馆庞大收藏提供了一种新的方式。

## 全球危机升级：摘要 世界正面临日益加深的危机，多条战线同时升级。美国针对包括中国、欧盟和印度在内的多个国家发起新的贸易调查，预示着保护主义政策的回归。然而，目前焦点集中在伊朗和霍尔木兹海峡，紧张局势正在加剧，布伦特油价逼近每桶100美元。 局势升级似乎不可避免，伊朗正在扰乱石油流动并向网络空间扩大冲突，而美国则以军事警告和打击做出回应。尽管国际能源署释放石油储备，以及七国集团可能提供海军护航等旨在缓和局势的努力，但这些都被认为不足以应对重大的供应中断。 至关重要的是，这场危机的解决取决于直接对抗——“唯一的出路就是穿过”——以及中国在伊朗与美国关系之间左右为难的角色。供应链问题正在恶化，影响氦气和化肥等重要资源，并加剧了对更广泛经济影响的担忧。与此同时，地缘政治正在发生转变，乌克兰正在为海湾地区开发反无人机技术，欧洲的政治极化现象日益严重。

德意志银行最近的年度报告显示，其在私募信贷领域的敞口高达260亿欧元（300亿美元），而该资产类别目前正面临重大挑战。这些挑战包括投资者赎回、对贷款标准的担忧，以及人工智能可能对借款人产生的影响——尤其是在科技行业，德意志银行在该行业的敞口为158亿欧元。 报告强调了投资者在其他私募信贷基金（摩根士丹利、Cliffwater、黑石）出现问题后日益增长的焦虑，并警告了与承销和潜在欺诈相关的风险。 德意志银行声称目前没有损失，但承认私募信贷是“关键风险”，并且难以出售与最近一次软件收购相关的12亿美元贷款。 这一消息导致德意志银行股价下跌8%，跌至数月来的最低点，表明市场对私募信贷市场健康状况的担忧日益增加。 这种情况正值更广泛的金融新闻中展开，并与过去的金融危机相呼应。

## 年轻人结直肠癌发病率上升 结直肠癌现在是50岁以下美国人的癌症死亡头号原因，与过去几十年相比发生了显著变化。专家警告说，这通常是由于诊断延迟所致，因为年轻人群体甚至医生可能不会考虑到他们的年龄而怀疑癌症。诸如排便习惯改变（便便变细，频率增加）以及尤其是直肠出血等症状应认真对待并及时检查。 许多人被诊断出处于晚期阶段，最初常常将症状归因于不太严重的疾病，如痔疮。粪便检测（Cologuard, FIT）为结肠镜检查提供了替代方案。 导致这种增加的原因尚不清楚，但研究人员指出潜在的“出生队列效应”——20世纪中叶引入的暴露因素，可能与饮食（加工食品、塑料）有关——影响了后代。年轻患者的治疗也需要针对生育和性健康等因素进行量身定制的考虑。提高意识和开放讨论，正如患者分享他们的经历所体现的那样，对于改善早期发现和治疗结果至关重要。

Atlassian 正在裁减约 10% 的员工，约 1600 人，主要在软件领域，分布在美国、澳大利亚和印度。 首席执行官迈克·坎农-布鲁克斯表示，裁员是为了释放资金用于人工智能投资和加强企业销售，预计遣散费将花费 2.25 亿至 2.36 亿美元。 尽管强调他们并非简单地用人工智能取代人员，坎农-布鲁克斯承认人工智能将改变所需技能和职位数量。 此项重组正值 Atlassian 的股价今年下跌超过 50%，反映了对人工智能可能颠覆软件即服务 (SaaS) 模式的担忧。 自 2017 年以来一直亏损的 Atlassian 强调云服务（增长 25%）和人工智能工具使用量（Rovo，月活跃用户 500 万）的积极增长，表明对未来地位充满信心。 该公司的首席技术官拉杰夫·拉詹也将卸任。

亚洲正面临严重的燃料短缺，原因是油价高涨和霍尔木兹海峡关闭，该海峡是重要的航运通道。 亚洲各国严重依赖中东石油——日本90%，韩国70%，各国政府正在采取严厉措施以节省供应。 这些措施包括居家办公（泰国、越南、菲律宾）、缩短工作时间和停课（巴基斯坦、孟加拉国）以及限制非必要旅行。 多个国家正在干预燃料市场，实施价格上限（韩国）、增加补贴（印度尼西亚）以及可能释放储备金（日本）。 印度优先保障家庭燃料供应，影响了企业。 尽管全球储备金已协调释放4亿桶石油，但供应仍然紧张。 分析师警告说，情况可能会恶化，油价可能飙升至每桶200美元，超过俄乌危机期间的水平，因为受干扰的供应量更大。 这场危机给该地区带来了巨大的经济负担。

启用 JavaScript 和 Cookie 以继续。

世界关注伊朗冲突升级之际，俄罗斯正在战略性地加强与美国的联系。普京的特使基里尔·季米特里耶夫最近与美国官员会面，讨论经济合作和解决全球能源危机，凸显了俄罗斯在稳定市场中的关键作用。 此举与美国决定暂时放松对俄罗斯石油的能源制裁相吻合，允许滞留的石油运输抵达印度，以应对霍尔木兹海峡的石油流动中断——据报道该海峡已被伊朗布雷。俄罗斯正在将自己定位为关键伙伴，认为当前局势证明了制裁的“无效性”以及俄罗斯能源的系统性重要性。 值得注意的是，媒体对伊朗的强烈关注掩盖了正在进行的俄乌战争，这为莫斯科减少了国际压力，并提供了一个利用能源危机来获取自身优势的机会，可能改变其与华盛顿的动态。

尽管每天都有请求，美国海军目前**没有**为通过霍尔木兹海峡的船只提供护航，这与能源部长之前撤回的一份声明相矛盾。消息来源证实伊朗声称自二月底以来，没有美国军舰靠近该海峡，并以海军认为攻击风险高为拒绝理由。 白宫据报敦促船东独立航行，尽管伊朗威胁要将船只“点燃”。 目前很少有西方船东尝试通过该海峡，而那些尝试的船东正在关闭追踪系统。 虽然美国表示护航仍然是一种选择，但其他国家正在介入。巴基斯坦正在部署军舰为油轮提供过境护航，法国承诺部署10艘军舰用于更广泛的中东保护，但霍尔木兹海峡的护航将等待局势缓和。