预计DRAM短缺情况将持续很长时间，可能持续到2030年，尽管三星、SK海力士和美光等主要制造商正在努力增加产量。虽然计划建设新的制造厂，但大多数工厂要到2027年或2028年才能投入运营，未能达到满足需求所需的每年12%的产量增长——目前的计划仅预计增长7.5%。 重要的是，新的产能将主要集中在高带宽内存（HBM）上，用于人工智能数据中心，*而不是*日常设备中使用的通用DRAM。这种优先顺序意味着影响消费电子产品（包括手机、笔记本电脑和游戏设备）并导致价格上涨的短缺问题，不太可能很快得到解决。供需差距预计将保持很大，预计到2027年，只有60%的需求能够得到满足。

## 幽灵二进制依赖：日益增长的威胁 在2026年的FOSDEM上的一次演讲强调了“幽灵二进制依赖”这一关键问题——依赖于其他包的预编译代码（二进制文件），但这些依赖关系并未在项目清单中明确记录。这种隐藏的依赖关系对软件的可持续性和安全性构成风险。 目前，包管理器会跟踪源代码依赖关系，但通常会忽略这些二进制链接，这在像Python这样的语言调用编译代码（如C）时经常发生。如果没有识别这些依赖关系，就无法通过像开源承诺这样的倡议来支持原始开发者，从而威胁到开源生态系统的长期健康。 更重要的是，未记录的二进制依赖关系会产生安全漏洞。如果所依赖的二进制文件存在缺陷，项目会不知不觉地面临风险，可能影响到医院和互联网等关键基础设施。 提出的解决方案包括开发工具来识别和记录这些二进制依赖关系，为改进的安全警告和维护者的可持续资助模式铺平道路。多个项目和提案（如Python中的PEP 770和804）已经在进行中，以应对这一挑战，旨在提高软件供应链的透明度。

## IPv6 与网络历史的复杂关系 本文探讨了旨在取代 IPv4 的 IPv6 尚未完全接管互联网的原因，揭示了一个令人惊讶的网络历史决策故事。作者在 IETF 会议上的调查发现，IPv6 的复杂性并非源于其自身缺陷，而是源于数十年来在现有基础设施*之上*堆叠的解决方案。 最初，网络是简单的点对点连接。共享“总线”网络（如以太网）的引入需要 MAC 地址来进行本地通信。当这些局域网需要互联时，出现了 IP 地址，但底层的以太网层仍然存在。这造成了一种混乱的交互——IP 路由依赖于 MAC 地址，ARP 用于在两者之间转换，DHCP 用于管理地址——所有这些都建立在为更简单时代设计的基石之上。 作者认为，更简洁的设计，即 IPv6 的愿景，旨在通过消除对 MAC 地址和第二层桥接的依赖来消除这种复杂性。然而，为了保持与现有基础设施的向后兼容性，特别是移动 IP 的兴起及其对第二层无缝漫游的依赖，阻止了完全过渡。 最终，互联网受到历史选择的负担，虽然 IPv6 提供了一个更优雅的解决方案，但克服数十年的分层复杂性仍然是一项艰巨的任务。未来可能在于像 QUIC 这样的协议，它提供了一条简化连接的途径，但真正的全新起点仍然难以捉摸。

两党议员团体最近阻止了702条款的重新授权，该条款是一项有争议的大规模监控计划，他们要求为美国人提供更强的隐私保护。目前，联邦调查局可以在无需搜查令的情况下访问国家安全局收集的通讯——甚至包括美国公民的通讯。 败选的提案仅提供了一些表面上的改变，并将重新授权该计划再持续五年。议员们正在推动一项要求联邦调查局访问信息时必须有合理理由的搜查令要求，以解决对不受约束的监控和潜在滥用的担忧。参议员罗恩·怀登强调了一种“秘密解读”的法律，该法律进一步允许监控美国人，包括记者和寻求敏感医疗保健服务的人士。 这次对峙获得了一次为期10天的延期，为敦促国会通过一项具有*真正*改革的法案提供了关键窗口，而不仅仅是维持现状。倡导者强调需要透明度和问责制，确保美国人在其通讯被监控时得到通知。

请启用Cookie。 错误 1005 Ray ID：9eea0ca28d5cff7f • 2026-04-19 07:03:25 UTC 拒绝访问 发生了什么？ 该网站（kotaku.com）的所有者已禁止您的IP地址所在的自治系统编号（ASN 45102）访问此网站。 请参阅 https://developers.cloudflare.com/support/troubleshooting/http-status-codes/cloudflare-1xxx-errors/error-1005/ 了解更多详情。 此页面是否有帮助？ 是 否 感谢您的反馈！ Cloudflare Ray ID：9eea0ca28d5cff7f • 您的IP： 点击显示 47.245.80.60 • 由Cloudflare提供性能和安全保障。

访问被拒绝。您没有权限访问“http://baumgartner.house.gov/2026/04/02/baumgartner-introduces-bipartisan-bill-to-tighten-controls-on-sensitive-chipmaking-equipment/” 上的服务器。 参考编号：18.c6753617.1776578664.bff73a45 https://errors.edgesuite.net/18.c6753617.1776578664.bff73a45

讨论请求速率——一段时期内的请求数量——至关重要的是**明确该时期**，理想情况下定义为**每秒请求数**。含糊不清的仪表盘可能会根据缩放级别显示不同的速率，导致数据不一致。 虽然**赫兹 (Hz)** 和 **贝克勒尔 (Bq)** 都表示每秒发生的事件，但**贝克勒尔更适合请求速率**，尽管它最初与放射性有关。赫兹暗示可预测的、周期性的事件，而贝克勒尔更好地反映了通常不规则请求的平均频率（例如网站流量）。 对于高容量速率，贝克勒尔提供更简洁的表示法（例如，90 kBq 与 90,000 请求/秒）。虽然有人建议使用一个新单位（“rips”），但利用现有的贝克勒尔，并将其接受的含义扩展到放射性之外，为一致地测量和沟通请求速率提供了一个实用的解决方案。作者希望贝克勒尔未来能成为一般事件频率的标准。

这篇博文讲述了看似小众的数据结构——跳表——如何意外地解决了软件测试公司 Antithesis 的一个重大性能问题。作者最初认为跳表过于复杂，但当在分析软件模糊测试产生的大型数据集时，在 Google BigQuery 中遇到查询速度慢的问题时，重新发现了它的用处。 Antithesis 需要有效地追踪导致特定日志消息的事件历史，这需要遍历分支树结构。BigQuery 的架构针对全表扫描进行了优化，难以处理树遍历所需的众多点查询。为了避免使用分数据库方法带来的复杂数据库一致性问题，团队创新了一种“跳树”——本质上是多个共享结构的跳表——并使用 SQL 表实现。 这使得通过链式 JOIN 进行祖先查找成为可能，巧妙地平衡了查询复杂度和 BigQuery 的定价模式。虽然生成的 SQL 代码很长，但 JavaScript 编译器可以自动生成它。跳树解决方案有效运行了六年，直到 Antithesis 开发了自己的优化数据库。作者总结说，即使是晦涩的数据结构也可能证明非常有价值，并强调了创新的周期性——跳树概念与现有的“跳图”结构相关。

这篇帖子剖析了一种有趣的动态，即我们如何解读媒体，灵感来源于重读《糊涂蛋日记》。作者认为，它的幽默之处在于格雷格·赫夫利在日记里*说*的话和他行为（通过附带的涂鸦展示）所揭示的真实性格之间的差距。关键在于，插图表明格雷格*知道*自己的缺点，这与一种常见的解读——将他描绘成无知的——相矛盾。 这个观察结果可以延伸到现实生活中那些广受批评的在线“主角”——那些个人写作被广泛评论的人。作者指出，人们倾向于指责这些作者缺乏自我意识，但他们的写作往往*有意*呈现一幅不讨喜的自我画像。以丹尼尔·奥本海默的《纽约时报》文章为例，帖子认为，批评这种写作的*内容*是合理的，但假设作者不知道他们所造成的印象是不准确的。 最终，作者提倡更细致的批评，关注*所说/所做*的内容，而不是错误地将无知归于作者。他们俏皮地提出需要一个术语来描述这种现象——文本与创作者意识之间的脱节。

启用 JavaScript 和 Cookie 以继续。

唐纳德·特朗普出乎意料地限制了以色列在黎巴嫩的军事行动，据称令总理内塔尼亚胡及其团队“震惊”。 在美国促成的停火开始后，特朗普直言美国“禁止”进一步的以色列空袭，这与他之前支持的立场形成鲜明对比。 此举在耶路撒冷引发警惕，以色列官员正在向华盛顿寻求澄清。 以色列国内的批评人士现在强调内塔尼亚胡似乎无法抵制特朗普政府的压力，这与人们对伊朗和加沙地带潜在限制的担忧相呼应。 虽然以色列同意了为期10天的停火，但内塔尼亚胡坚称与真主党的冲突尚未结束，维护自卫权，并表示目标仍然是“瓦解”真主党——他承认这将需要时间和外交运作。 白宫似乎认真致力于实现持久的解决方案，标志着美国对该地区政策的重大转变。

``` 这个目录包含 Tachyon 的架构决策记录 (ADR)。每个 ADR 记录了一个重要的设计选择、促使该选择的背景以及其后果。新的 ADR 使用文件底部的模板。一旦被接受，ADR 将不会被删除，过时的决策会被标记为“已废弃”并链接到替代方案。 # ADR-NNN: 标题 --- **状态:** 提议中 | 已接受 | 被 ADR-NNN 废弃 | 已弃用 **日期:** YYYY-MM-DD --- ## 背景 存在什么问题？有哪些因素在起作用？存在什么约束？请具体说明：包括基准测试、内核版本和相关的 API 限制。 ## 决策 我们决定了什么？用一句话清晰地表达，然后说明理由。 ## 后果 **正面** - … **负面** - … **中性** - … ```

弗吉尼亚州州长阿比盖尔·斯潘伯格因竞选时以温和派形象出现，但上任后急剧左转而受到批评。上任以来，她的政府实施了大幅增税，重新划分选区以减少共和党代表，并颁布了严格的枪支法律。 一项特别有争议的举措是HB167法案，该法案取消了与邦联有关联组织的税收豁免权，包括邦联女儿会和邦联退伍军人协会。法律学者，包括乔纳森·图利，认为该法律通过基于观点的歧视违反了第一修正案——本质上是惩罚团体持有其信仰。 与此同时，民主党正在针对与邦联历史相关的弗吉尼亚军事学院（VMI），成立了一个审查委员会，旨在将学校“与过去划清界限”。斯潘伯格任命了被认为对VMI怀有敌意的委员会成员，引发了对其未来的担忧。 图利强调了一个危险的先例：利用税法和立法来压制不受欢迎的观点，这与他几年前在鲍勃·琼斯大学案件中提出的担忧相呼应。他认为，税收豁免应支持言论和结社自由，而不应成为政治控制的工具，并预测将为此项违宪行为付出代价，面临昂贵的法律诉讼。

大约10年前，作者开发并成功售出了“Gun Rocket”，这是一款快节奏街机游戏，灵感来自*n++*和*Asteroids*。最近，当作者重温这个项目时，发现原始游戏构建无法运行——似乎是由于与现代系统的兼容性问题。 这引发了一个将“Gun Rocket”更新到2026年的项目。最初的障碍？Unity版本问题。最初使用4.6构建，然后迁移到5.5，该项目现在面临着大幅升级到当前的Unity 6.x系统。Unity从数字版本到基于年份的版本（如Unity 2017）再回到数字版本的转变增加了复杂性。 找到必要的旧Unity版本证明具有挑战性，需要深入挖掘Unity的“存档”。即使使用Unity 5.6，游戏最初也无法启动，这可能是由于Unity Hub出现之前的许可问题。作者现在正在探索较新的Unity 5版本，以尝试运行游戏并开始更新过程。

## 住房负担能力危机加剧：基于空间的数据分析 Highland Cabinetry的一份新报告显示，美国主要城市住房负担能力危机正在恶化，关注点从总成本转移到**每平方英尺的成本**。对40个城市的研究表明，美国人正在为更小的居住空间支付越来越多的费用。 加利福尼亚州的旧金山和圣何塞是成本最高的市场——对于买家来说，每平方英尺超过1000美元，对于租户来说，每月超过3500美元。纽约市面临着不同的挑战，尽管每平方英尺的购买价格较低，但其租金成本是全国最高的（每月3600美元以上），原因是公寓面积较小。其他负担不起的城市包括圣地亚哥、波士顿和洛杉矶。 受疫情期间低利率和持续需求（尤其是在加利福尼亚等科技中心）的推动，房价飙升且未回落，使许多人无法拥有住房。这导致了居住安排的变化，例如年轻专业人士更长时间地合租公寓，反映了人们对住房和独立性的期望的更广泛重塑。 该报告强调，负担能力不仅仅关乎住房*花费多少*，还关乎该花费能买到*多少空间*，这是一个关键指标，因为城市人口不断增长，而供应却跟不上。

## ROCm & Strix Halo 初步印象 本总结详细介绍了在 Ubuntu 24.04 上成功设置 ROCm，并与 Strix Halo GPU 实现 128GB CPU/GPU 共享内存。BIOS 更新对于 PyTorch 识别 GPU 至关重要。配置涉及减少保留的显存（低至 512MB）并利用 GTT 实现高效的内存共享，同时为内核稳定性保留 4-12GB。 关键步骤包括使用特定的 `ttm.pages_limit` 和 `amdgpu.gttsize` 值修改 `/etc/default/grub`，然后更新 grub。PyTorch 使用 `uv` 配置，并使用指向 ROCm 特定 PyTorch wheels 的自定义索引。 该设置能够在 Podman 容器内通过 `llama.cpp` 运行 Qwen3.6 模型，利用 GPU 加速。模型下载和转换为 `gguf` 格式也被详细说明。最后，提供了一个 Opencode 配置，用于与本地运行的 Llama.cpp 实例集成。 尽管最初遇到了一些挑战，作者报告了积极的体验，成功利用 PyTorch 并运行具有大量上下文窗口的大型语言模型。

## Apple Silicon 与 WebAssembly：零拷贝 GPU 访问用于 AI Apple Silicon 的统一内存架构 (UMA) 允许 WebAssembly (Wasm) 模块直接与 GPU 共享内存——消除了传统上在沙盒运行时和加速器之间所需的高成本数据拷贝。这意味着 CPU 和 GPU 读取/写入*相同*的物理内存，将 Wasm 变成控制平面，将 GPU 变成计算平面，且开销接近于零。 作者正在构建“Driftwood”，一个利用此功能的用于有状态 AI 推理的运行时。其关键在于三部分验证：使用 `mmap` 进行对齐内存，Metal 访问该内存无需拷贝的能力，以及 Wasmtime 的自定义分配器向 Wasm 模块提供内存。使用矩阵乘法的测试证实了零拷贝功能以及与传统方法相当的性能，但内存占用显著减少——这对于像 transformer 推理中使用的那样的大型模型至关重要。 在 M1 Macbook Pro 上运行 Llama 3.2 1B 的初步测试表明，Wasm-GPU 边界的开销可以忽略不计。更重要的是，作者成功地序列化并恢复了 GPU 的键值缓存，从而实现了可移植的 AI 对话状态。这为“有状态 actor 迁移”奠定了基础——冻结、移动和恢复跨机器的 AI 对话。Driftwood 旨在在此基础上构建 actor 快照、检查点可移植性和多模型支持。

马克·霍克，一位亲生命活动家和七个孩子的父亲，与司法部（DOJ）达成了一笔七位数和解协议，此前他曾卷入一桩备受瞩目的案件。2021年，霍克在费城一家堕胎诊所外，因推开骚扰他儿子的志愿者而被联邦调查局（FBI）逮捕，并被指控违反FACE法案。 他后来被陪审团判无罪，但随后起诉了司法部，指控其恶意起诉和与对其住宅进行严厉批评的联邦调查局突袭有关的过度武力。该诉讼声称拜登政府因他的亲生命观点而针对他。 司法部的一份报告得出结论，该政府“利用”FACE法案来推动亲堕胎议程，从而破坏了公众信任。亲生命运动的领导人称赞和解协议是该运动、言论自由以及对他们所描述的拜登政府时期过度干预的纠正的一次重大胜利。

## Sostactic：在Lean 4中证明多项式不等式 Sostactic是一系列Lean 4战术，利用Python后端通过求和次方（SOS）分解来证明多项式不等式，其能力超越了现有的Lean战术，如`nlinarith`和`positivity`。 **主要特性：** * **证明：** 多项式的全局非负性，在半代数集上的非负性（由多项式不等式定义），以及半代数集的空集性。 * **战术：** `sos_decomp`（用于全局非负性），`putinar_decomp`/`schmudgen_decomp`（用于约束问题），`putinar_empty`/`schmudgen_empty`（用于证明集合为空）。 * **后端：** 利用`cvxpy`（一个凸优化求解器）通过Python查找SOS证书，然后在Lean中验证它们。 * **灵活性：** 可以作为Python API、CLI，或直接在Lean中使用。支持预生成证书以提高性能。 **用法：** 像`sos_decomp`和`putinar_decomp`这样的战术会自动尝试寻找证明。可以调整参数，如`order`（松弛阶数）和`degree`（分母阶数上限）。如果证明失败，系统会提供诊断和建议（例如，增加阶数，使用分母）来指导用户。 **安装：** 需要Lean 4，Python 3.10+，以及通过`lake`和`pip`安装的依赖项。 更多细节和示例可在[README](链接到README)中找到。

禁止访问 您没有权限访问此资源。

## 全球对礼貌的认知 最近Remitly的一项对超过4600人的调查显示，**日本**被压倒性地认为是世界上最礼貌的国家，获得了超过35%的选票——几乎是任何其他国家的三倍。这种声誉源于日本对尊重、礼仪、清洁和社会和谐的强烈文化强调，包括鞠躬和安静的公共空间等习俗。 **加拿大**紧随其后排名第二（13.4%），以其热情好客和文明而闻名。**英国**排名第三（6.2%），引领了强大的欧洲影响力；超过一半的25个最礼貌的国家位于欧洲，尤其是在北欧（德国、瑞典、丹麦、芬兰）。 亚洲占该列表的五分之一，而非洲则由排名第10的**南非**代表。该调查强调了对礼貌的认知如何显著影响旅行体验和国际关系。

为了延长其寿命，美国国家航空航天局（NASA）的工程师关闭了旅行者1号探测器上的低能带电粒子（LECP）实验。旅行者1号是距离地球最远的人造物体。这台49岁的仪器测量星际空间中的粒子，提供关于太阳影响范围之外区域的独特数据。 旅行者1号，和它的双胞胎旅行者2号一样，由一个日益减少的放射性同位素热电机供电，每年损失约4瓦电力。最近一次意外的电力下降促使团队主动节约能源，按照预先确定的计划关闭仪器。虽然LECP现在已关闭，但旅行者1号仍然有两个正常运行的科学仪器，用于测量等离子波和磁场。 预计此次关闭将为旅行者1号争取大约一年的运行时间。工程师们正在准备一次更大的节能改造，被称为“大爆炸”，以进一步延长任务期限。这包括用低功耗替代品更换组件，最初将在2026年5/6月在旅行者2号上测试，并可能在7月在旅行者1号上实施。如果电力水平改善，LECP甚至有可能重新激活。

加州州长加文·纽森的“畅销书”《急匆匆的年轻人》销量因其超级政治行动委员会“民主运动”采取的争议性策略而大幅提升。最近的《纽约时报》报道显示，97,400册中，有67,000册是通过156万美元的捐款购买的——本质上是以任何金额的捐款换取一本书。 批评人士称这种安排可能是一种潜在的洗钱计划，因为该政治行动委员会直接从出版商处为每笔捐款购买书籍。虽然纽森的发言人声称他没有收到版税，并且这项举措加强了支持者关系，但该计划的伦理道德正受到质疑。人们还担心这可能会影响纽森未来书籍的预付款，此前他在2019年为一本儿童读物获得了125,000美元的预付款。

启用 JavaScript 和 Cookie 以继续。

最近的研究挑战了积极父权只是一种现代文化转变的观点，认为它深深植根于生物学。受到莎拉·赫迪的研究启发，作者发现一个新兴领域表明，参与育儿的父亲会经历与母亲相似的生理变化——睾酮、加压素和催乳素等激素的转变。 这些变化并非人类独有；对其他哺乳动物，特别是灵长类动物的研究表明，参与亲代抚养的雄性也会出现类似的激素波动。像李·盖特勒这样的先驱研究者，他们在2000年代初发现缺乏对人类父权的研究，现在正积极探索这些生物学转变。 核心结论是，关爱型父权并非反常现象，而是一种生物学上准备好的状态，通过与婴儿的互动而激活，并在男性体内产生深刻的内分泌和神经变化。

## 伊兰·奥马尔因财务披露面临审查 众议员伊兰·奥马尔因其财务披露中的重大差异而受到调查。她最初报告的资产在600万至3000万美元之间，但经修订的文件现在声称其持有资产仅为18,004至95,000美元，原因是“会计错误”。 这一修订发生于众议院监督委员会主席詹姆斯·科默启动一项调查之际，该调查涉及奥马尔丈夫蒂姆·迈内特拥有的公司的价值在一年内从51,000美元迅速增长到3000万美元。 奥马尔声称她没有参与这些申报，并信任她的会计师。然而，这一时间点与司法部展开的调查相吻合，该调查由拜登政府启动，涉及奥马尔的财务、竞选支出和海外互动。 更令人质疑的是，迈内特的风险投资公司Rose Lake Capital随着审查的加剧，从其网站上删除了包括前奥巴马政府官员在内的重要人员的详细信息，尽管这些人在相关欺诈案件中没有被指控有任何不当行为。 批评人士认为，这种保密行为表明试图隐瞒信息，加剧了人们对奥马尔财富和潜在财务违规行为的怀疑。

启用 JavaScript 和 Cookie 以继续。

最近，a16z 新媒体的一项分析指出，纽约市计划在东哈林区建造的市立杂货店可能存在效率低下问题。该项目由市长佐赫兰·曼达尼领导，预计耗资 3000 万美元的纳税人资金，用于建造一家 9000 平方英尺的商店——每平方英尺约 3000 美元，远高于行业标准。 该分析认为，这体现了一种反复出现的模式：政府运营的超市通常缺乏私营企业的成本控制和效率。批评人士指出历史案例，认为此类项目经常失败，支持者则认为这是由于缺乏实验，而不是系统本身固有的缺陷。 文章将此问题归结为更广泛的问题，即社会主义具有“寄生性”，依赖纳税人补贴，并最终容易失败，并将情况与古巴的经济状况进行比较。市长随后提议对豪宅征收新税，引发了人们对其经济政策的担忧。

## PostgreSQL 事务ID环绕：生产事件总结 本文详细描述了PostgreSQL生产环境中由于事务ID（XID）环绕引起的严重且隐蔽的故障——当用于事务ID的有限计数器接近其上限时的情况。 与典型的宕机不同，这不是由负载或配置更改引起的，而是由于时间流逝，旧数据没有充分“冻结”造成的。 PostgreSQL使用MVCC，为每个写入事务分配XID。 为了安全地重用这些ID，必须冻结较旧的行版本，将其标记为永久可见。 如果autovacuum（负责冻结的进程）被禁用或无效，XID会累积，最终达到安全阈值（大约20亿）。 此时，PostgreSQL会停止所有写入操作以防止数据损坏，从而有效地使数据库变为只读。 该事件发生在稳定的系统上，负载适中（每秒10次写入），并且autovacuum在几年前被禁用作为临时性能修复，但从未重新启用。 恢复涉及手动强制冻结，但根本原因揭示了其他系统也存在类似风险。 关键要点是，XID环绕不是性能问题，而是基本的安全机制。 它可以根据写入速率和时间进行预测，并且很容易在测试中被忽略。 定期监控`relfrozenxid`并确保autovacuum已启用对于防止这种隐蔽的、潜在灾难性的故障至关重要。 与使用不同版本系统的SQL Server不同，PostgreSQL *需要*主动冻结才能维护数据完整性。

Top (现代 Common Lisp 与 FSet) 版本 1.0 (适用于 FSet v2.4.2) © 2026 Scott L. Burson。本文档以知识共享署名-非商业性使用-相同方式共享 4.0 许可协议发布。该许可协议允许使用者在任何媒介或格式中分发、混编、改编和在此材料基础上创作，但仅限于非商业用途，并且必须注明创作者。如果您混编、改编或在此材料基础上创作，您必须以相同的条款对修改后的材料进行许可。本文档不包含 LLM 生成的文本——零，没有，一点也没有。（是的，我使用 em 破折号和分号；是的，我亲手写了每一个。）对于发现的错误或其他建议，请在 Common-Lisp.Net 的 GitLab 实例或 GitHub 上提交问题。