50 篇热帖
事件概述
一部iPhone从阿拉斯加航空ASA1282航班上掉落，在16,000英尺高空坠落后被发现在路边，手机仍保持飞行模式，电池电量半满，并显示行李认领页面。这是事件中第二部被找到的手机，目前机门尚未寻获。
关键细节
背景信息
该事件关联阿拉斯加航空ASA1282航班，涉及波音737 MAX机型的安全问题。手机的幸存状态凸显了其耐用性，但事故调查仍在进行中。
核心事件： Twilio联合创始人兼首席执行官Jeff Lawson宣布辞去公司CEO及董事长职务。此次人事变动发生在公司正面临两名激进投资者推动重大变革的背景下。
人事变动详情：
背景与市场反应：
新CEO表态与公司背景：
Dive：Docker镜像探索与优化工具
Dive是一款用于探索Docker或OCI镜像、分析其层内容并识别缩小镜像体积方法的工具。
核心功能
dive build 命令替代 docker build，在构建后立即进入分析。CI=true 跳过交互界面，直接分析镜像并通过返回码给出“通过/失败”结果。支持通过 .dive-ci 文件配置规则（如最低效率分数、最大浪费空间）。--source 选项支持从不同容器引擎或存档获取镜像（如 docker, docker-archive, podman）。使用方式 可通过二进制安装或Docker运行：
# 直接分析镜像
dive <镜像标签/ID/摘要>
# 通过Docker运行（需挂载socket）
alias dive="docker run -ti --rm -v /var/run/docker.sock:/var/run/docker.sock docker.io/wagoodman/dive"
dive <镜像标签>
# 构建后立即分析
dive build -t <标签> .
安装途径 提供多种平台的安装方式：
.deb、.rpm、Snap、Pacman（Arch）。go install 安装。用户界面与配置
Tab 切换视图、Ctrl+F 过滤文件）。$XDG_CONFIG_HOME、~/.config/dive 或 ~/.dive.yaml 等位置。可配置内容包括容器引擎类型、忽略错误、日志、快捷键绑定、文件树默认状态和面板宽度等。本文介绍了一个展示渐进式网络应用（PWA）当前功能的网站。
核心内容：
标题： 95% of container ships are now going around the Southern Tip of Africa
来源： Ryan Petersen (@typesfast) 在X（原Twitter）上发布的推文。
主要内容：
数据来源： 推文引用Flexport地图作为数据支持，表明信息基于航运追踪数据。
影响提示： 这种航线变更可能增加运输时间和成本，影响全球供应链效率。
MotorOS 是一个用 Rust 构建的微内核操作系统，专为 x64 虚拟机（VM）设计，针对云环境中的虚拟化工作负载（如 Web 服务、无服务器计算和边缘缓存）。它旨在解决传统操作系统（如 Linux）在虚拟化环境中运行时的低效问题，例如重复的块缓存、页表遍历和调度器抢占，同时提供更高的安全性和简洁性。
MotorOS 展示了为虚拟化工作负载定制操作系统的潜力，通过 Rust 实现了简化和安全提升，但仍处于早期阶段，需进一步完善。
GitUI 是一款在终端中运行的 Git 图形用户界面工具，旨在提供与桌面 Git GUI 相似的用户体验，同时保持终端工具的高效、轻量和可移植性。
基于 Linux 内核 Git 仓库（超过 90 万次提交）的测试：
支持多种安装途径：
gitui -l 启用日志，输出到各平台标准缓存目录SIEVE是一种高效的缓存淘汰算法，基于FIFO队列改进。其核心创新点是：
visited访问标记位根据作者在1559个缓存追踪上的测试：
SIEVE与1960年代的CLOCK算法有相似之处，但更简洁。作者推测其长期未被发现的主要原因是：
为增强扫描抵抗力，作者提出SIEVE-k改进方案：
实验结果表明：
SIEVE算法展示了通过简单设计改进就能获得显著性能提升的可能性，其发现过程也揭示了缓存算法研究中的历史盲点。尽管SIEVE-k变种在特定场景下有改进潜力，但基础SIEVE算法因其简洁性和通用性能已表现出强大的竞争力。
爱尔兰新监管机构提出年龄验证计划引发争议
爱尔兰新成立的内容监管机构 Coimisiún na Meán（媒体委员会）提出一项计划，要求成年人和未成年人在访问某些网站（包括色情网站）时，上传护照副本和实时自拍照，以进行生物识别年龄验证。该计划由执行主席 Jeremy Godfrey 向媒体公布，旨在控制成人访问“年龄不适当内容”的网站。
计划核心内容：
法律与安全质疑：
公众反馈机会：
该计划尚未成为法律，但已引发广泛争议，被视为对隐私和自由的威胁。
本文旨在可视化展示 mkfs.ext4 将全零存储设备初始化为ext4文件系统后的数据结构与布局。
作者首先探讨了实验方法：为避免对真实磁盘操作的风险，决定使用普通文件配合 loop 设备进行模拟。通过 dd 命令创建一个全零的块文件作为实验对象。该文件最终图像设计为8个块，每个块尺寸为64像素高×1024像素宽，每个像素对应一个字节。
通过 mkfs.ext4 格式化该文件后，使用 od 命令查看其十六进制内容，可以观察到从偏移量 0x0400 开始出现了非零数据，这标志着ext4元数据结构（如超级块）的写入。
然而，od 的文本输出难以直观展现整体布局。为此，作者将块文件数据直接转换为图像：蓝色像素代表非零字节，黑色代表零字节。此图像清晰地显示了ext4数据在“磁盘”上的分布区域，但无法区分ext4元数据与后续写入的用户数据。
为了更精细地可视化，作者将一个大小为1024字节、内容来自 /dev/urandom 的随机文件复制到挂载的ext4文件系统中。随后在可视化代码中，通过比较读取到的字节块与这个参考文件的内容，用不同的颜色来区分ext4元数据与用户数据，从而得到了更具表现力的图像。
最后，作者制作了动画GIF，展示了多次将用户文件复制到文件系统过程中，ext4结构与数据区的动态变化。文中还提供了ext2文件系统类似动画的对比，并列举了维基百科、ext4 Wiki等深入学习ext4的参考资料链接。
核心概念： 文章介绍了由设计师 AR 4789 创作的“Windows XP 2024 Edition”概念设计。这是一个对经典操作系统 Windows XP 进行现代化重新想象的虚构作品，并非真实产品或微软计划发布的产品。
设计特点：
作者观点与情感：
现状与背景：
LinguaCafe 是一款自托管软件，专为语言学习者设计，旨在帮助用户阅读外语内容。该软件的网页界面基于现代化前端技术构建，通过加载特定的JavaScript和CSS资源文件来呈现功能。核心用途是为外语学习者提供一个本地部署的阅读辅助环境。
这个HTML页面是一个Cloudflare安全验证挑战页面，用于保护网站免受自动化访问。其主要目的是在用户访问特定内容时进行实时验证，确保访问者是人类而非机器人。页面显示“Just a moment...”消息，提示用户等待验证完成。
结构和关键功能：
/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1），处理多个参数如cFPWv、cH、cN、cRay等，这些参数用于跟踪挑战状态、用户会话和验证逻辑。脚本还管理URL历史记录，以便在验证后恢复正常浏览状态。技术细节：
nonce属性确保脚本安全执行，符合内容安全策略。__cf_chl_tk），以维持验证上下文。总之，这个页面是Cloudflare的中间验证层，通过JavaScript和cookie验证用户身份，保护目标网站（如可能涉及的法国生物实验室研究丑闻相关文章）免受恶意流量。
核心问题：苹果官方文档以糟糕著称，常存在内容缺失、不完整或过时的问题，导致开发者体验极差。
具体案例：macOS开发中实现文件夹选择功能
NSOpenPanel。NSOpenPanel 的配置选项有说明，但完全没有解释如何启动对话框并获取结果这一最基本用法。begin 方法并设置回调。但文档示例代码已过时（针对旧版Swift），需自行调试更新。.OK 结果，文档也未说明如何获取用户实际选择的目录路径。开发者尝试查看代理（delegate），却发现其主要用于配置。NSOpenPanel 继承自 NSSavePanel，才找到了包含 url、urls 等相关属性的正确类，并成功获取了目录路径。com.apple.security.files.user-selected.read-write）才能正常工作，这又是一个重要障碍。苹果文档的普遍缺陷
给开发者的建议 鉴于官方文档质量低下，建议：
## 浏览器最大的TLS错误：不完整证书链的处理问题
本文基于作者在Chaos Computer Congress的演讲内容，主要探讨了浏览器在处理不完整TLS证书链时的行为及其引发的问题。
### 核心问题：不完整证书链
- **标准情况**：TLS服务器应返回完整的证书链，包括域名证书、中间证书，以连接到客户端信任的根CA。
- **错误配置**：部分服务器仅返回域名证书，缺少中间证书。理论上，这会导致客户端无法验证信任链，但实际上许多浏览器仍允许连接。
- **原因**：ACME等证书生成工具通常输出三个文件：私钥、域名证书（`cert.pem`）和完整证书链（`fullchain.pem`）。管理员可能误配置使用了`cert.pem`而非`fullchain.pem`。
### 浏览器的缓解措施
为兼容此类错误配置，浏览器采用了不同方法：
1. **Firefox方案**：预装大量中间证书集合，在证书链不完整时使用这些已知中间证书进行验证。该集合需定期更新。
2. **Chrome（及其衍生浏览器）方案**：**运行时缓存机制**。浏览器会缓存自启动以来所见过的所有中间证书，并在验证时尝试使用缓存中的证书补全链。
- **问题**：此行为导致TLS验证结果依赖于浏览器运行时长（冷启动与长时间运行行为不一致），使调试变得极其困难（例如，用户可能遇到无法重现的验证错误）。
### 问题普遍性
- 作者使用模拟Firefox行为的Go库对Tranco百万热门域名列表进行测试。
- 结果显示，排名10,000之后的域名中，约有**0.8%**存在证书链配置不全的问题。
- **典型案例**：包括playstation.com（重复发送叶子证书）、bt.com以及大量政府网站（不限于美国）。
### 作者的质疑与扩展
- 作者质疑在仅0.8%错误率的情况下，是否有必要采用这些“缓解措施”，认为这可能是打开了“x509潘多拉魔盒”。
- 提及了**Authority Information Access (AIA)扩展**，这是另一种缓解机制：浏览器可在验证时通过证书中嵌入的HTTP URL自动下载缺失的证书链。作者指出这同样存在问题，因为它要求浏览器在TLS验证时进行额外的网络连接（类似于已因隐私和可靠性问题被逐步淘汰的OCSP在线查询）。
### 总结
文章指出了浏览器为了兼容服务器端配置错误而引入的TLS证书验证机制，在实现上存在设计缺陷（特别是Chrome的运行时缓存行为），并认为这种妥协可能带来不必要的复杂性和安全隐患。
迪士尼撤回对《汽船威利》YouTube视频的版权主张，标志着该作品正式进入公共领域的关键一步。
YouTuber兼配音演员布洛克·贝克在2024年1月1日《汽船威利》进入公共领域后，上传了自己对这部1928年迪士尼动画短片的改编版本，标题为“汽船威利（布洛克配音版）”。该视频几乎立即收到迪士尼通过YouTube Content ID系统自动发出的版权主张，导致视频被去变现、禁止嵌入第三方网站，并在某些国家被屏蔽。
贝克随后提出异议，认为视频符合公共领域使用规定。约24小时后，迪士尼撤回了版权主张，YouTube邮件确认视频已恢复全球可观看、可嵌入及可变现状态。
此事件中，YouTube强调其不调解版权争议，仅提供Content ID工具，主张是否释放完全由版权持有者（即迪士尼）决定。迪士尼此次撤回主张，被视为其首次通过公开行动承认《汽船威利》及该版本米奇形象已进入公共领域，为其他基于该作品的创作提供了明确许可范例。尽管如此，迪士尼仍持有相关商标权，对某些语境下的使用可能仍有不同主张。
文章标题： 研究人员创造首个基于石墨烯的功能半导体
摘要：
佐治亚理工学院的研究人员成功创造了世界上第一个基于石墨烯的功能半导体。石墨烯是由单层碳原子构成的材料，具有已知最强的化学键。半导体是电子设备的基础组件，能在特定条件下导电。这一突破为电子学开辟了新途径，尤其是在硅材料面临计算速度提升和设备小型化极限的背景下。
研究团队由佐治亚理工学院的Walter de Heer教授领导，成员来自美国亚特兰大和中国天津的合作机构。他们在《自然》杂志上发表的研究成果显示，他们克服了石墨烯研究中长期存在的关键障碍——“带隙”，这是半导体实现开关功能的基本属性。此前，石墨烯因缺乏带隙而被认为难以用于电子学。
通过在碳化硅晶圆上使用特殊炉具生长外延石墨烯，团队实现了突破。外延石墨烯是一种在碳化硅晶体表面生长的单层结构，当正确制备时，它能与碳化硅化学键合并展现出半导体性质。经过十年的持续改进，团队在佐治亚理工学院和天津国际纳米粒子与纳米系统中心完善了材料制备工艺。
为验证半导体性能，团队采用掺杂技术测量电子特性，即在石墨烯上添加“捐赠”电子的原子，而不损坏材料。测量结果表明，该石墨烯半导体的迁移率是硅的10倍，这意味着电子移动阻力极低，可实现更快的计算速度。de Heer教授将其比喻为“在砾石路与高速公路上驾驶”，突显了高效、低发热和高速的优势。
这种石墨烯半导体是目前唯一具备纳米电子学所需所有性质的二维半导体，其电学性能远优于其他二维半导体材料。它解决了带隙问题，为实现基于石墨烯的电子器件迈出了关键一步。
展望未来，外延石墨烯可能引发电子学的范式转变，催生利用其独特性质的新技术，例如支持量子计算的量子力学波特性应用。de Heer教授将这一成就比作莱特兄弟的飞行时刻，强调了技术突破的开创性意义。该研究标志着电子学历史上的重要一步，为后硅时代奠定了基础。
关键细节：
一个简单的益智游戏，旨在测试和提升基本数学技能。玩家通过拖放数字到正确位置来解开方程，从而进入下一关。游戏面向学生、儿童和成人，适合不同年龄层练习数学。
欺诈的最佳数量大于零这一观点虽然反直觉，但基于实际政策和商业逻辑具有合理性。犯罪率本质上是一种政策选择，通过立法或执法力度可显著改变。欺诈作为犯罪的子集，其防范主要依赖非国家行为体（私营部门），这些行为体需要在打击欺诈与维持社会便利性（如开放的社会、便捷的服务、商业盈利）之间进行权衡。
以信用卡支付欺诈为例，该类欺诈每年造成100-200亿美元损失，但损失责任通过法规和合同形成“瀑布式”承担机制：通常先由金融机构承担，最终转嫁给商户。商户将欺诈成本视为与租金、工资或广告费用类似的必要开支。企业欺诈防范主管不会追求零欺诈目标，因为这如同营销主管追求零广告支出一样不合理。原因在于降低欺诈的措施（如增加验证步骤）往往会增加合法用户的交易摩擦，影响转化率和用户体验。
信任是商业的基础技术，建立信任需要成本（如身份验证、历史记录），但也能降低后续交易摩擦。企业需要在吸引新客户（可能伴随欺诈风险）与防范欺诈之间取得平衡。不同企业因利润率差异，对欺诈的容忍度不同：高利润率企业（如数字内容、SaaS）往往更倾向于接受较高欺诈以换取更高转化率；低利润率企业（如硬件销售）则需更严格的欺诈审核。
这一逻辑可扩展至其他领域，如福利欺诈、逃税或身份盗窃。社会通常接受非零水平的此类问题，因为彻底消除的成本过高，可能损害公共利益和系统便利性。私营部门基于自身成本收益决策在此类权衡中起关键作用，但监管可在外部性明显的领域（如身份盗窃）介入调整。
总体而言，欺诈的最佳数量大于零反映了在打击犯罪、保障交易效率与维护商业可持续性之间的理性权衡。
2023年，资金大规模涌入半导体制造、封装、测试及研发设施。企业同时投资于印度、马来西亚等海外地区以获取劳动力和成本优势，并与政府合作以确保地缘政治动荡下的供应链安全。人工智能、量子计算等新兴技术被视为未来利用这些投资的关键领域。
两国在2023年吸引了近十几项重大投资，主要原因包括庞大的学生（工程师）资源、有利的经济性以及政府将半导体视为经济增长点。
国家安全（如芯片出口禁令）是政府关注点之一，但行业更面临人才短缺、气候威胁和供应链问题三大全球挑战，需要政府与产业协作解决。
先进封装被视为“摩尔定律2.0”，是延续芯片微缩的关键，正从单体芯片向异构集成的多芯片模块发展，并经历从圆形晶圆向矩形面板的技术转变。
尽管当前存在因经济下行导致的芯片供应过剩，但AI被视为产业长期增长的核心燃料，5G/6G、量子计算、自动驾驶等也是重要驱动力。
2023年宣布了超过100项值得注意的工厂/晶圆厂投资，投资主体涵盖晶圆代工厂、IDM、设备与材料供应商、研究机构及政府。投资地域广泛，包括美国、欧洲、亚洲多国（中国、日本、韩国、印度、马来西亚、新加坡、越南等）。投资类型覆盖新建或扩建制造工厂（尤其是300mm晶圆厂和碳化硅工厂）、先进封装测试设施、研发中心、协作实验室以及关键材料和设备生产设施。
这是一个用于在PDP-11计算机上运行K语言环境的网页布局文件。其主要内容和结构如下：
- **文件性质**：HTML页面，用于在PDP-11系统环境下提供K语言的运行界面。
- **页面布局**：采用flexbox布局，将页面分为两个并排的iframe区域，实现全屏显示（无滚动条）。
- **主要元素**：
1. `kframe`：加载 `k.html`，推测为K语言的主操作或交互界面。
2. `aframe`：加载 `about.html`，可能用于显示相关信息或说明。
- **技术细节**：
- 字符编码设置为UTF-8。
- 页面图标（favicon）使用 `kelas16.png`。
- 通过CSS样式实现左右分栏、自适应高度和隐藏溢出内容。
- **目的**：提供一个简洁的双栏布局，左侧（或上方）用于K语言操作，右侧（或下方）用于辅助信息展示，适用于PDP-11这类历史计算机的现代界面模拟或工具封装。
该YouTube视频题为“ASML光刻机如何移动晶圆”，发布于2024年1月7日，来自Asianometry频道。视频获得了12K点赞和621,630次观看，频道拥有936K订阅者。
根据AI生成的摘要，视频内容聚焦于ASML光刻机晶圆台的演变，从液压电机到磁悬浮技术。核心介绍了Twinscan平台如何利用双台系统和复杂的软件与精密机器人技术，在高速半导体制造中实现纳米级精度。
视频描述中列出了以下相关链接：
从页面推荐的视频列表（如“当ASML光刻机故障时”、“价值2亿美元的微芯片印刷机：EUV光刻系统”、“ASML如何赢得光刻技术战争”等）可以看出，该视频是半导体制造与光刻技术系列内容的一部分。
<meter> 元素的思考本文通过一个具体案例，探讨了 HTML 语义化元素（特别是 <meter>）的合理使用边界，并强调了在 Web 开发中“能够做到”并不等同于“应该去做”。
<meter> 元素表示烤箱温度的例子。虽然技术上符合元素的定义（在最小值与最大值之间），但这种用法实际上降低了可访问性，对于非屏幕阅读器用户理解食谱没有帮助。<meter> 元素，进一步说明其荒谬性。<meter> 元素的合理使用场景<meter> 元素适合提供“一目了然”的用量感知，但必须与具体数值一同呈现才有实用价值。<div>）配合清晰的文本描述，也能达到甚至超过其无障碍效果。例如，Dropbox 和 Google Drive 虽然使用了 <div> 来做容量条，但它们都附有详细的文字说明。作者警示开发者，不应仅因为技术上可行就使用某个语义化元素（如 <meter>）。应始终以清晰传达信息和提升可访问性为首要目标，避免为了“语义化”而语义化，做出适得其反的设计。
俄克拉荷马州接收首批“本地制造”电动汽车
俄克拉荷马州政府近期收到了来自Canoo公司的三辆“俄克拉荷马州制造”的电动生活配送车辆，作为该州车队现代化计划的一部分。这三辆LDV车型总价119,850美元，是州车队首批此类车辆，已分别分配给企业管理与服务办公室、交通运输部和惩教部门。
俄克拉荷马州州长J. Kevin Stitt表示，这是17年来汽车制造业首次回归该州。车队现代化是州长当前的重点举措之一，旨在提高全州效率。根据州长行政命令，企业管理与服务办公室的车队管理部门与各机构合作，识别使用率低的车辆，缩减州车队规模。仅在2023年，各机构自愿上交了917辆车辆并通过州剩余物资拍卖，为纳税人节省约1170万美元。
企业管理与服务办公室执行主任John Suter表示，车队精简的成果使得资金可以再投资于面向未来的、高性价比的车辆选项。在减少浪费的同时，管理层也在寻求车队现代化方案，以提升长期投资回报。这包括用本地制造的环保电动汽车替换维护成本高的老旧车辆。
俄克拉荷马州副州长Matt Pinnell指出，Canoo公司在俄克拉荷马市建立新装配厂，并在普赖尔设有电池模块制造厂，将在当地创造超过1300个就业岗位，对州经济产生重大影响。此次交付的LDV是自2006年以来首批在州内制造的商用车辆，也是Canoo新工厂的首批产品。
Canoo公司首席执行官Tony Aquila表示，公司的创新LDV配送车辆将帮助州机构提高车队效率，其先进的远程信息处理和更低的总体拥有成本将带来长期效益。州政府将继续评估这些车辆如何最佳支持机构使命和公民服务。
本文探讨了在最小的67字节PNG文件尺寸限制下，如何最大化其包含的像素数量。
背景与问题 Evan Hahn曾指出，最小的PNG文件为67字节，对应一个1×1的单黑像素。然而，存在多种同样为67字节的有效PNG（如1x1白色像素、8x1黑色像素等）。这些文件都利用了像素数据至少需要一个字节的规则。作者由此提出问题：在维持67字节大小的前提下，能否编码更多的像素数据？
核心优化思路 关键在于优化图像数据块中的DEFLATE压缩部分。
0x00）。经过DEFLATE压缩后，这两个字节需要32位（4字节）来编码。0x00）。最大化像素的策略 在PNG格式中，每行像素前需要一个滤波器类型字节（1字节）。为了最大化像素总数，作者选择将所有像素数据放在单行中，从而只支付一次滤波器字节的成本。
0，表示“无过滤”）。其他可能性 滤波器类型字节可以是0（无过滤）到4（Paeth预测器）之间的任意有效值。相应的，像素数据可以是该字节值的重复。因此，同样67字节的PNG文件可以代表多种不同的单色或滤波模式图像。
结论 作者通过优化DEFLATE压缩中的自引用利用，在既定的67字节文件大小下，将有效像素数量从极低的数量提升至2064个，为最小尺寸PNG文件的内容设定了一个上限。
bigFORTH 是一款原生代码的 Forth 语言实现，自1997年起开发，主要运行于 Linux 和 Windows 2000/XP 系统，并遵循 GPL 许可。其最突出的特点是拥有一个基于 Forth 的图形用户界面 MINOS，以及一个处于测试阶段的表单编辑器 Theseus。
核心特性：
历史与发展： bigFORTH 最初在 Atari ST 平台上为 Motorola 68k 处理器开发，后移植到 Intel 386 并运行于 DOS 扩展器（GO32）下。早期的商业版本配有详尽文档。
MINOS 图形用户界面： MINOS 是专为 bigFORTH 编写的、适用于 X Window 系统的图形用户界面，包含快速的 GUI 开发编辑器 Theseus。它遵循 GPL 许可，这意味着使用它开发的应用程序也必须开源或提供源代码；若需用于闭源商业软件，则需申请商业许可证。
版本与下载： 当前稳定版本是 2010 年 3 月 22 日发布的 bigFORTH 2.4.0 和 Minos 1.4.0，其中增加了对更多平台的移植（如 FreeBSD 和改进的 Mac OS X 支持），并实现了部分 Forth 200x 特性。项目遵循每年发布一次次要版本的发布策略，并在 Subversion 仓库中频繁更新。
官网提供了分拆的 Linux 安装包（源码、德文/英文文档、样式文件、Debian 包等）以及适用于 Windows 95/98/ME/NT/2000 的 Beta 版安装包。
机器学习系统，特别是神经网络，除了备受关注的伦理和就业影响外，其自身的安全脆弱性是一个尚未被充分讨论的关键问题。部署这些系统的从业者需要关注此领域。
这是最广为人知的攻击形式，通过向输入添加精心计算的、微小的噪声来误导模型输出错误结果。
此类攻击直接针对模型的训练数据。
这是一种隐私攻击。攻击者旨在推断某个特定数据点是否被用于训练目标模型。
攻击者试图通过查询访问来复制或重建受害者拥有的模型，尤其在当前模型即核心竞争力的背景下极具吸引力。
此类攻击不直接攻击模型，而是针对模型的可解释性方法。
文章末尾列出了涵盖LLM安全、对抗样本、后门攻击、联邦学习隐私、成员推理、模型窃取以及公平性伪装等主题的多篇相关论文和调查。
中国山东省的华能山东石岛湾核电站是全球首个第四代核能发电厂，于2023年12月6日投入商业运营，目前运行稳定。该核电站采用高温气冷堆-球床模块技术，其核心安全特性在于即使在极端条件下也能避免堆芯熔毁和放射性物质泄漏。
该核电站自商业运行以来，两台反应堆均保持满功率稳定运行，每台机组发电功率达150兆瓦，所发电量并入山东电网供应使用。它的成功运行为第四代核能技术的进一步发展树立了标杆。
该电站自2012年开始建设，2021年并网发电，2023年正式商运。中国在安全利用核能方面，不仅在应用“华龙一号”等自主第三代核电技术，也正朝着石岛湾所采用的更先进技术迈出坚实步伐。
1969年，阿波罗11号任务成功将人类送上月球并安全返回。为应对月球样本及宇航员可能携带未知有害微生物（即“回溯污染”）的极小概率风险，NASA实施了严格的生物隔离措施。尽管当时已普遍认为月球无生命的可能性很大，但本着科学谨慎和防止不可逆生物圈损害的原则，相关防范工作仍被高度重视。
核心概念与风险意识
防范措施的实施
结果与意义 经过严格的隔离和检测，未发现任何生命迹象或疾病，宇航员最终被释放。阿波罗后续任务亦无阳性结果，证实了月球的无菌性。此次任务建立了行星保护的实践框架，其原则（如区分受控与非受控地球返回样本）延续至今，影响着火星样本返回等后续任务的风险评估与管理。尽管防范措施存在局限性（如隔离无法排除长潜伏期病原体，且过程中曾有技术故障和人员暴露），但为应对潜在生物危害提供了宝贵经验。
根据智囊团Nesta的研究，热泵用户满意度普遍较高。83% 居住在维多利亚时代或更老房屋中的用户对系统满意，打破了热泵仅适用于新建住宅的固有观念。调查显示，三分之二的热泵用户和**59%**的燃气锅炉用户即使未进行大规模能效升级，也对运行成本感到满意。
本文作者分享了个人的生活哲学与建议，主要围绕“选择”、“行动”与“自我认知”展开，旨在为年轻人提供一种务实且自我负责的生活态度。
核心观点：
实践建议：
人生哲学：
总之，文章鼓励年轻人通过主动选择、积极行动、拓宽认知和善用资源来塑造人生，同时不忘自我接纳、简化目标并珍视当下体验与关系。
2024年1月1日，日本能登半岛发生7.6级地震。初步卫星图像分析与实地调查发现，此次地震引发了沿岸土地的抬升现象，部分区域地表被抬升了高达4米（约13英尺）。
这一过程导致能登半岛多处的海床露出水面，形成了新暴露的海滩。东京大学的声明指出，在某些区域，海岸线向外延伸了多达250米（约820英尺），相当于2.2个美式足球场的长度。
日本地理空间信息管理局通过对比地震前（2023年6月）与地震后的卫星图像，确认了海岸线发生变化的多个区域。当地渔民报告称，在地震发生的瞬间，整个海湾的海岸线就同时抬升了。
东京大学表示，其对海岸线的调查仍在进行中。
该文档介绍了一个用于Amazon Kinesis Video Streams的纯C语言WebRTC客户端SDK。它提供了在多种设备和平台上实现WebRTC功能的解决方案。
main分支）。该SDK为开发者提供了在纯C环境中集成KVS WebRTC功能的完整工具链，涵盖构建、部署、优化和调试的全流程。
本文讨论了在Linux中管理长时运行的多线程应用程序（如数据库或服务器）时，如何干净地停止线程。核心挑战在于，在终止线程时给予其执行清理操作（如释放内存、释放锁、刷新日志）的机会。文章探讨了多种方法，并指出其中存在的陷阱。
准忙循环
pthread_join 等待线程终止。使用信号中断阻塞系统调用
recvfrom）时，准忙循环不适用。发送信号（如 SIGINT）可以使阻塞的系统调用提前返回（错误码为 EINTR），从而有机会检查停止条件。线程取消 (pthread_cancel)
pthread_cleanup_push/pop 或临时禁用取消，但这容易出错且影响性能。noexcept 块中触发，导致程序终止。即使不考虑 noexcept，强制栈展开也可能破坏数据结构的不变性（例如在资金转账的中间状态）。受控的线程取消与直接信号处理
PTHREAD_CANCEL_DISABLE)，仅在已知安全的阻塞点（如系统调用）启用取消，可以降低风险。但这需要仔细重构代码以符合此模式。为了原子地执行“检查标志并进入阻塞状态”的操作，文章提出了几种技术：
使用支持原子修改信号掩码的系统调用变体
ppoll, pselect, epoll_pwait）提供了变体，允许在调用期间临时解除对特定信号的阻塞。如果调用因该信号而中断（返回 EINTR），则知道应退出。futex 就没有这样的变体）。使用重启序列 (rseq) 实现通用原子操作
rseq 提供了一种可能的解决方案。rseq 允许定义一段临界区代码。如果内核需要在临界区内抢占或投递信号，它会将线程跳转到指定的中止点，而不是中断临界区。rseq 临界区。这样，要么系统调用被完整执行，要么整个操作（包括标志检查）被中止并跳转到处理 EINTR 的代码。文章提供了一个在 x86-64 上通过内联汇编实现此技术的示例。ppoll）。rseq 等底层机制，但需权衡复杂性和可移植性。本文探讨了随机数在图形和游戏开发中因过度随机（出现聚集）而带来的问题，并介绍了如何通过低差异序列来生成更均匀分布的随机样本。
核心问题与概念
一维序列生成方法
二维序列生成方法
代码概览 文末提供的C++代码是一个独立的示例程序，用于生成并可视化上述各种一维和二维低差异序列。它包含：
TestVanDerCorput, TestSobol2D 等）。main 函数中调用所有测试，生成对应的BMP图像文件以便对比观察不同序列的分布特性。本文的核心论点是：编程的本质并非生产源代码，而是程序员构建关于问题领域的共享“理论”（理论在此处指一种实践性知识体系）。源代码仅仅是该理论的一种有损的书面表达，无法完全还原理论本身。若掌握理论的程序员离开，则程序实际上“死亡”，仅留下的代码难以被有效维护和发展。
作者通过两个案例支持其观点：
作者援引吉尔伯特·赖尔的理论概念：
传统面向对象语言的虚拟机（VM）通常将垃圾回收（GC）和即时编译（JIT）等核心组件实现为与应用程序隔离的独立层。这种分离带来了软件工程上的模块化优势，但也产生了重大障碍：
为了克服上述障碍，本文提出了 实时元循环运行时（LMRs） 的概念。其核心思想是：
为了评估该方案，作者实现了一个名为 Bee/LMR 的实时虚拟机，用于一个Smalltalk衍生环境，共包含22,057行代码。 作者通过三个案例研究来展示将探索性编程扩展到VM开发中的权衡：
该方法实现了以下关键转变：
核心定位 Shecc是一个从零开始构建的自托管C语言编译器，针对32位ARM（ARMv7-A）和RISC-V（RV32IM）架构设计。它旨在编译一个C语言子集，并能执行基本优化策略。
主要特性
支持的C语言特性 Shecc支持C99的一个子集，包括：
char、int、struct、enum、typedef和指针类型。if/else、while、for、do-while、switch/case、break、continue、return。<stdarg.h>）。#define、条件编译（#ifdef等）、#include和带参数的函数式宏。引导与构建
graphviz、jq用于快照测试，以及ARM GNU工具链以支持动态链接模式。make config ARCH=arm/riscv选择后端，运行make进行构建。支持DYNLINK=1选项生成动态链接版本，sanitizer选项用于内存安全检查。使用与测试
shecc [-o output] [+m] [--no-libc] [--dump-ir] [--dynlink] <infile.c>，可指定输出文件、使用硬件乘除法指令、排除内置库、转储中间表示（IR）或启用动态链接。make check执行全面测试。check-snapshots和update-snapshots目标进行验证和更新。已知限制
许可证 Shecc基于BSD 2条款许可证发布。
FastForward 是一款浏览器扩展，旨在自动跳过繁琐的链接缩短服务，帮助用户直接访问最终目标链接，节省时间。它是 Universal Bypass 的继任者，后者已停止维护。用户可通过安装指南进行设置，并参考支持网站列表了解兼容性。该项目欢迎开发者参与 bypass 功能开发，相关讨论可在 Discord 服务器进行。更多演示可在官方网站查看。
AMD已完成对MK1的收购，这是其提升AI性能和效率战略中的关键里程碑。MK1团队位于加利福尼亚州山景城，专注于高速推理和基于推理的AI技术，针对大规模部署进行了优化。MK1的Flywheel技术针对AMD硬件进行了优化，目前每天处理超过1万亿个token。
该团队将加入AMD的人工智能集团，他们的技术和专长将在推动高速推理和企业AI软件堆栈发展中发挥核心作用。MK1的Flywheel和推理引擎专为利用AMD Instinct GPU的内存架构而设计，提供准确、经济高效且完全可追踪的推理能力，从而支持大规模应用。
此次收购将加速下一代企业AI的发展，使客户能够自动化复杂业务流程并解锁高价值应用的新机会。它进一步增强了AMD的推理和企业AI能力，结合MK1的软件创新与AMD的领先计算能力，扩展了AI技术的可能性。
公告中还包含谨慎声明，提醒投资者前瞻性陈述基于当前预期，存在风险和不确定性，实际结果可能因各种因素而有所不同。投资者被敦促审查AMD在证券交易委员会文件中的详细风险披露。
统计生命价值是一个经济学指标，用于量化避免一起死亡的经济效益。它并非对特定个人生命的价值评估，而是对降低平均死亡风险1人所需成本的统计度量。该概念也被称为“生命成本”、“防止死亡价值”或“避免死亡的隐含成本”。
VSL的核心作用是辅助政策与监管分析人员在有限的资源、基础设施、劳动力和税收收入下进行分配决策。通过成本效益分析，VSL用于比较新政策、法规和项目在挽救生命与降低风险方面带来的效益与各种其他因素。
基于人们对微小死亡风险降低愿意支付的金额估算。例如，若10万人每人愿意支付100美元以降低十万分之一的死亡风险，则VSL为1000万美元。
通过观察人们实际承担风险的行为及相应的补偿来推断。例如，危险工作岗位的工资溢价。
通过问卷直接询问人们对降低死亡风险的支付意愿。
计算个人终身收入的现值，但此方法可能忽略非工作时间的价值。
不同国家和机构采用的VSL估算值存在显著差异，反映了经济发展水平、文化规范和方法论的不同。
| 国家/机构 | 估算值（示例） | 备注 |
|---|---|---|
| 美国（交通部，2023） | 1320万美元 | 基于更新指导 |
| 澳大利亚（2025） | 587万澳元（整值）或25.3万澳元/年 | |
| 瑞典 | 推荐2200万瑞典克朗（约240万欧元） | 研究值范围较大 |
| 新西兰（交通局，2023） | 1250万新西兰元 | |
| 欧盟（2016年平均） | 约327万欧元（死亡） | 因伤害程度而异 |
| 新加坡 | 约85万至205万新加坡元（2007年） | 通过支付意愿调查 |
统计生命价值是经济学中一个关键但复杂的工具，旨在为涉及生命风险权衡的公共决策提供定量依据。尽管其应用广泛且不可或缺，但其估算的不确定性、方法论局限以及引发的伦理争议持续存在，促使学界和政策制定者不断寻求更精细、更公平的评估方法。