启用 JavaScript 和 Cookie 以继续。

## 用户研究价值的侵蚀 生成式人工智能工具的兴起威胁着以人为本研究的核心原则。虽然人工智能在模式识别和数据分析方面表现出色，但依赖它来*进行*研究——生成计划、进行“访谈”、综合洞察，甚至创建人物角色——会导致平庸且缺乏差异化的结果。这并非创新，而是一场竞相降低成本的竞赛，牺牲了只有熟练研究人员才能提供的细致理解。 推动人工智能驱动研究的并非自然发展，而是由工具供应商寻求增加利润和高管优先考虑速度而非质量所驱动。这制造了一种危险的效率幻觉，掩盖了对真正用户理解的漠视。接受这种趋势可能会使用户研究人员变得多余，将他们的角色降低到对人工智能输出进行质量控制。 作者反对被动采用这些工具，敦促研究人员捍卫他们的专业知识，并优先考虑工作的独特人性方面——建立联系、情境化发现和提供有影响力的洞察。最终，优先考虑人际联系和严格的方法至关重要，并且明确反对自动化核心研究职能的“红线”对于维护该职业的价值至关重要。

一位开发者创建了一个8086微处理器的微码交互式在线浏览器，基于之前提取和反汇编的数据。该工具允许用户以可读格式探索21位微指令，并提供工具提示解释每个字段，以及可点击的跳转目标以便于导航。 该浏览器包含一个“按指令浏览”功能，将超过300条记录在案的8086指令直接链接到其对应的微码例程——令人惊讶的是，只有大约60个独特的例程处理所有指令。 通过研究微码获得的见解揭示了8086设计的迷人细节：寄存器ID具有上下文相关的含义，内部命名不一致，程序计数器（IP）使用“CORR”操作管理预取地址进行调整，并且存在大量的代码重用——尤其是在利用核心“XI”微操作的算术指令中。这个浏览器提供了对这款经典CPU内部运作的深入研究。

Polymarket，一个加密预测市场，在获得CFTC批准后，正式重启其美国应用程序，此前曾被禁四年。此次回归是通过以1.12亿美元收购已注册的QCEX实现的，从而绕过了漫长的注册流程。Polymarket最初专注于通过App Store进行体育博彩，计划扩展到选举和命题投注，并从候补名单中吸纳用户。 该平台经过重大升级，以符合CFTC法规，包括加强监控和报告程序。用户现在可以使用比特币以及稳定币来资助账户。 Polymarket吸引了大量投资者兴趣，洲际交易所（ICE）的潜在投资使该公司估值在80-100亿美元之间——远高于早期的120-150亿美元估值。竞争也在加剧，竞争对手Kalshi最近融资10亿美元，估值110亿美元。

最近，Linux内核开发社区讨论了改进`xchacha20poly1305_encrypt`函数安全性的问题，该函数是加密层的一个关键组件。该函数接受数组参数（如密钥和nonce），但未强制进行大小检查，这可能导致参数重新排序等危险错误。 最初，有人提出了一种涉及指针间接调用的解决方案，需要调用者修改代码。然而，开发者发现了一个鲜为人知的C语言特性——在数组参数声明中使用`static`关键字——可以在不修改现有函数调用情况下实现相同的大小检查。 虽然`static`无法捕获*所有*与大小相关的错误，但它可以防止常见的漏洞，例如参数顺序错误和数组大小不足。尽管有人担心该关键字的语法很笨拙（“一个可怕的hack”），Linus Torvalds还是批准了它的使用，并指出它已经存在于内核中。目前正在考虑使用类似于`at_least`的宏来提高可读性。这表明即使像内核这样成熟的代码库，也可以通过利用鲜为人知的C语言特性来增强安全性。

## Common Lisp & WebAssembly: 构建 WECL 本文详细介绍了如何使用 WECL (Web Embeddable Common Lisp) 构建和交叉编译 Common Lisp (CL) 程序到 WebAssembly (WASM)。目标是将 CL 生态系统扩展到 WASM 支持的运行时环境，从而使 CL 代码能够直接在 Web 浏览器和其他 WASM 环境中运行。 该过程首先构建 ECL (Embeddable Common Lisp) 的主机版本，然后使用它来交叉编译为 WASM。目前这依赖于 Emscripten SDK，WASI 的移植正在进行中。一个关键特性是扩展 ASDF (CL 的构建系统)，将整个系统编译成 WASM 的静态库。这涉及定义新的 ASDF 操作来创建目标文件和构建库，管理依赖关系，以及处理主机环境和目标环境之间的编译差异。 WECL 在此基础上，提供 JavaScript FFI、窗口抽象和浏览器内 REPL 支持。它包含用于运行 Web 服务器并通过 SLIME (LIME) 连接到本地 Emacs 实例的脚本。虽然交叉编译仍在不断发展，但所描述的工具能够将 CL 代码直接嵌入到 Web 页面并在浏览器中高效运行。该项目由 NGI0 Commons Fund 资助。

数据中心能源需求，尤其是在人工智能兴起的情况下，正在迅速增加，凸显了对新型能源的需求——特别是核能。然而，美国核工业面临着巨大的挑战，这源于数十年的停滞不前以及核管理委员会（NRC）缓慢而繁琐的监管流程。 为了解决这个问题，能源部（DOE）启动了反应堆试点项目（RPP）和燃料线试点项目（FLPP），旨在加速核反应堆和燃料技术的开发。这些项目提供更快的许可途径，并通过与国家实验室的合作利用现有研究，例如Oklo快速燃料设施审批所展示的成功案例。 一个关键优势是简化的审查流程——能源部验证预先存在的合作研究，而不是像NRC那样进行冗长的独立评估。此外，在联邦土地上建设可以避免地方政治障碍和经常困扰项目的激进分子挑战。这些举措正在创造一个急需的“核迭代试验场”，允许开发商快速改进设计并走向商业可行性。

MSNBC评论员对特朗普总统最近的移民镇压反应强烈，尤其针对明尼苏达州的索马里移民以及暂停来自几个国家的移民。评论员，包括普林斯顿大学教授埃迪·格劳德，指责特朗普奉行“白人至上主义议程”，旨在“让美国再次白起来”，这种指责源于对伊尔汗·奥马尔议员的批评以及将一些移民称为“垃圾”的言论。 该网络将特朗普的政策描述为源于认为多样性阻碍社会凝聚力，并代表着维持“白人共和国”的愿望。 此批评延续了格劳德之前将ICE行动与类似目标联系起来的指控，甚至将特工比作“抓奴者”。 白宫为这些措施辩护，称其优先考虑国家价值观和安全，并指出在拜登政府高移民时期，犯罪率上升和资源紧张。 文章认为，MSNBC关注种族问题，忽视了不受控制的移民对美国社区和家庭的影响。

## 信用合作社与房贷利率：隐藏的优势 许多消费者在寻求房贷时往往忽略信用合作社，可能因此错失显著的节省机会。由于信用合作社由会员所有且是非营利性质，它们通常比优先考虑股东利润并大量投入营销的大银行提供更具竞争力的利率。 FinFam 创建了一个工具，比较来自 120 多个美国信用合作社的每日更新的房贷利率，揭示了潜在的节省——目前显示利率低至 4.91% 年利率，低于全国平均水平。虽然大银行可能在更快的过户时间和潜在的更好的应用程序体验方面提供便利，但它们的利率通常反映了广告成本。 该工具强调，标准化的房贷产品意味着价格差异主要源于营销费用。货比三家很重要，因为利率取决于信用评分和首付等因素。FinFam 强调透明度，不收取推荐费，并鼓励用户直接向贷款机构核实利率，并通过 optoutprescreen.com 保护他们的信用。

纽约大学正在提供一门独特的课程，将来自不同领域的学生——化学、计算机科学和医学——聚集在一起学习微芯片设计。 传统上，芯片设计是高度专业工程师的领域，并且受到高成本和复杂性的阻碍，但现在正变得越来越容易获取。 微芯片驱动着从手机到先进人工智能的一切，定制芯片可以极大地加速化学和生物学等领域的研究。 然而，即使制造一个复杂的芯片也需要一个庞大的团队——可能有一千名工程师——并且以难度极高而闻名，甚至可以说比火箭科学更具挑战性。 这门纽约大学的课程旨在 democratize 芯片设计，打破学生进入该领域的障碍，并可能为小型公司和学术研究人员打开创新的大门，从而在这个关键技术领域进行创新。

## 人工智能繁荣是海市蜃楼吗？ 尽管广泛宣称人工智能带来革命性变革，但日益增长的担忧是，当前的人工智能繁荣可能掩盖了潜在的经济弱点，而非推动真正的繁荣。虽然少数公司获利巨大，但财务风险似乎正在转移到公众身上。 最近的数据表明，美国GDP增长的很大一部分是由人工智能相关基础设施——特别是数据中心——推动的，这引发了对可持续性的质疑。这与过去的泡沫，例如2008年的住房危机相似，当时表面的经济强劲掩盖了潜在的脆弱性。 此外，人工智能被吹捧的生产力提升往往被夸大。许多企业报告称存在“工作漏洞”，需要大量的人工校正，研究表明人工智能试点项目的可衡量投资回报率有限。人工智能可能只是*转移*劳动力，而非取代它，并强化现有的偏见，而非提供真正的创新。 全球各国政府正在大力投资人工智能，可能形成一种期望的“循环经济”，并将人工智能嵌入到国家战略中。这引发了“大到不能倒”的人工智能公司以及潜在的风险社会化的问题，类似于2008年的金融危机，最终公众将承担成本。普通公民可能在不知情的情况下通过养老基金和债券投资组合投资于人工智能。 最终，关键问题仍然存在：人工智能是否真的在创造价值，还是仅仅在消耗公共资本？我们是在用人工智能定义未来，还是允许人工智能定义*我们*？

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

## 教 LLM 一种小众的图表语言：Pintora 该项目探索训练大型语言模型 (LLM) 处理 Pintora，一种不太常用的图表语言，目标是实现图表生成和编辑功能。作者发现现有的 LLM 可以轻松处理 Mermaid 和 PlantUML 等流行语言，但在处理小众选项时性能会下降。 由于资源限制，该项目专注于参数量小于 30B 的模型，最终选择了 Qwen2.5-Coder-7B。初步测试证实该模型缺乏 Pintora 知识，而是生成 PlantUML。训练分为两个阶段：持续预训练 (CPT) 以学习 Pintora 语法，以及指令微调 (IFT) 以执行特定任务。 创建了一个包含 1000-1500 个示例的数据集，最初尝试手动创建，但最终使用 AI（Gemini 和 Claude）生成，然后经过严格清理以消除语法错误。训练在 Runpod 上使用 QLoRA 进行，以管理 VRAM 限制。 最终的模型在从随机提示生成语法上正确的 Pintora 图表方面达到了 **86% 的准确率**，证明了使用相对较小的数据集成功学习。作者分享了模型、数据集和评估结果，并暗示未来将探索强化学习以及 Strudel 等其他语言。他们还推广了他们的人工智能辅助图表工具 ChatUML。

## 揭秘：利用可靠技术 democratize 营销组合模型 位于圣保罗的 Uncover 正在颠覆传统的营销组合模型 (MMM) 领域，该领域的服务通常成本高昂，仅供大型企业使用。他们的目标是为所有规模的企业提供可访问的、实时的营销投资分析——衡量投资回报率、优化媒体支出和跟踪促销效果。 与用户跟踪方法不同，MMM 依赖于统计分析，吸引那些优先考虑数据隐私的公司。Uncover 的平台集成了来自各种来源的数据（销售、CRM、经济数据等），并利用强大的查询引擎进行复杂的数据查询和可视化。这使得每周都能获得洞察，成本仅为传统的咨询公司 MMM 的一小部分。 为了确保可靠性，Uncover 选择 Gleam，这是一种后端编程语言，具有与 Elm（用于其前端）相似的错误预防能力。这大大减少了错误并提高了测试速度——测试执行速度比以前的后端代码快 50 倍。 Uncover 将 Gleam 视为一种“安全、明智”的选择，利用其互操作性和强大的 BEAM 平台构建具有弹性的网络服务。他们正在探索 Gleam 在全栈开发方面的潜力，并为它的前端能力发展做出贡献。

这篇帖子详细介绍了作者使用UCD程序构造模块中学到的原理，以及埃兹赫尔·W·戴克斯特拉的结构化编程思想来解决最近的Advent of Code问题的方法。核心思想是形式化程序验证——定义前置条件和后置条件，并推导定理来证明正确性。 作者使用量化符号细致地构建了一个“领域模型”，以表示问题的逻辑。这包括定义函数（如`C.n`）并通过定理建立基本情况和递归关系。这个过程展示了如何将问题分解为更小、可证明的步骤。 虽然这种形式化方法可以得到经过严格验证的解决方案，但将其翻译成Gleam等实用语言时，会导致代码复杂且可读性降低。作者承认这种权衡，指出该方法对于绝对正确性至关重要的关键软件具有价值，尽管它不适用于日常编程。最终，这项练习是对理论概念应用于实际编码挑战的有效实践。

瑞安·山塞尔，一位被特朗普总统赦免的1月6日事件被告，正在起诉联邦政府，索赔1798万美元，指控他在四年拘留期间遭受严重虐待。山塞尔因在国会骚乱期间袭击执法人员而被判有罪，但他的律师对这一指控提出异议，并声称该警员没有受伤。 这起诉讼依据《联邦侵权索赔法》，详细描述了山塞尔在华盛顿特区、纽约和弗吉尼亚州拘留设施期间遭受的62起 कथित身体和精神虐待事件。这些包括狱警多次殴打、长时间的单独监禁并持续照明、拒绝淋浴和锻炼等基本需求，以及被公开地长时间固定在约束椅上。 山塞尔声称自己遭受了持久的身体伤害——下颌脱臼、骨折、视力丧失和慢性疼痛——以及恐慌症等精神创伤。他的律师彼得·哈勒认为，山塞尔所遭受的待遇堪比阿布格莱布监狱的虐待，强调了他所谓的酷刑持续时间之长。司法部尚未对这些指控发表评论。

客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用不同的浏览器。

一项由个人权利与表达基金会（FIRE）的新调查显示，很大一部分大学生——90%——在某种程度上认为“言语可以是暴力”，其中47%完全或大部分同意。近60%的人也认为“沉默是暴力”。FIRE警告说，这种心态可能为对言论的暴力回应辩护。 该调查在查理·柯克在犹他谷大学遭枪击后进行，突显了日益扩大的意识形态分歧。适度和保守派学生对有争议的演讲者越来越持接受态度，对破坏性策略的支持越来越少，而自由派学生则保持或增加了他们的反对意见。 值得注意的是，现在有一半的学生不太愿意参加或举办有争议的活动，并且相当一部分学生报告说，由于安全问题，在课堂上或在政治上发表意见时感到不自在。对2028名本科生的调查强调了大学生对言论自由日益增长的担忧。

南加州ABC7报道，一架F-16战斗机在海军武器站中国湖附近坠毁。Breaking911发布了疑似坠机后的图片。“F-16雷鸟5在加州特罗纳坠毁前的最后一次起飞被拍摄下来。看到六架飞机从内利斯起飞，只有五架返回，这太令人震惊了。稍后我会尝试发布雷鸟最后一次起飞的图片。这张照片只是我相机屏幕上的截图，”摄影师程 Kelvin 在X平台写道。 正在更新…

用于数据科学的R包。tidyverse是一个具有明确观点的R包集合，专为数据科学设计。所有包共享潜在的设计理念、语法和数据结构。使用以下命令安装完整的tidyverse：install.packages("tidyverse")

## 西雅图的AI反弹 最近与一位受人尊敬的前微软同事共进午餐时，发现西雅图科技工作者对人工智能普遍持负面态度——这与作者的人工智能地图Wanderfugl在其他地方获得的积极反响形成了鲜明对比。这并非针对产品本身，而是对微软等大型科技公司内部有毒环境的一种反应。 由于公司范围内推动采用（并表现出拥抱）微软的人工智能工具——通常不如替代方案——工程师们感到压抑和贬低。与“Copilot使用效率低下”相关的裁员引发了怨恨，许多人感到被贴上了“非人工智能人才”的标签，并看到职业发展停滞不前。 这形成了一个自我限制的循环：害怕使用强制工具失败，抑制独立创新，以及对任何标有“人工智能”的东西的普遍敌意。作者将此与微软过去的一种赋权和实验文化形成对比，现在已被僵化的结构和普遍的幻灭感所取代。西雅图曾经充满活力的科技圈现在正面临着信任危机，阻碍了新的创业，并扼杀了人才。

特朗普总统宣布赦免了亨利·库埃亚尔众议员（德克萨斯州民主党），他面临包括贿赂、洗钱以及充当外国政府（阿塞拜疆和一家墨西哥银行）未注册代理人等严重联邦指控。库埃亚尔及其妻子被指控在2014年至2021年间接受了60万美元的贿赂，以换取影响美国政策和立法行动。 特朗普将这些指控描述为拜登政府出于政治动机而发起的，源于库埃亚尔对政府边境政策的批评。他表示库埃亚尔“勇敢地反对门户开放”。 库埃亚尔对赦免表示惊讶和感激，并重申了他继续作为民主党人并寻求连任的承诺。此次赦免引发了民主党人的担忧，担心他可能转投其他党派或退休，从而危及他们对他在德克萨斯州的选区的控制。他向他们保证“一切都没有改变”。

## 李群：超越离散对称性 简单的形状，如三角形，表现出离散对称性（特定的旋转使其保持不变），而更复杂的物体，如飞盘，则具有*连续*对称性——无限多的旋转可能性。这些连续对称性由**李群**描述，这是一个强大的数学概念。与基本群不同，李群具有平滑的几何结构——可以被可视化为圆形、甜甜圈，甚至更复杂的流形。 这种几何性质是关键。数学家索福斯·李最初探索这些群是为了求解微分方程，但他发现了它们内在的数学价值。一个关键特征是它们与**李代数**的联系，李代数通过用直线近似弯曲的群结构来简化计算。 李群不仅仅是抽象数学；它们是理解自然世界的根本。支配引力等基本力的对称性由李群定义，解释了粒子配对和能量量子化等现象。埃米·诺特的开创性工作进一步揭示了深刻的联系：由李群描述的每种对称性都对应于物理学中的一个守恒定律（如能量守恒）。今天，李群仍然是数学家和物理学家必不可少的工具，为理解对称性在宇宙中的普遍作用提供了一个框架。

Valve正在悄然革新PC游戏，超越Steam Deck，目标是让游戏在数十亿基于Arm的设备（如智能手机）上无缝运行。Valve认识到频繁移植的低效性，因此大力资助开源技术的发展——主要包括Proton兼容层和Fex模拟器，以弥合Windows PC游戏与Arm架构之间的差距。 Fex自2016年以来一直得到Valve的秘密支持，它将x86游戏代码翻译成可在Arm处理器上运行的代码。这项技术不仅为Steam Frame头显提供动力（使其能够运行Windows游戏），还为PC游戏在Android手机上原生运行，甚至可能在基于Arm的笔记本电脑和台式机上运行打开了大门。 Valve的目标不一定是创造“Steam Phone”，而是培养一个开发者无需移植，用户可以在更广泛的设备上访问其PC游戏库的生态系统。他们设想一个未来，Arm芯片在所有性能级别上与x86竞争，扩大PC游戏的影响范围，并降低玩家和创作者的门槛。

## 新卫星数据挑战对海啸的理解 2025年7月，库里尔-堪察加地区发生8.8级地震，提供了一个独特的机会：美国宇航局和法国的SWOT卫星捕捉到了大型海啸跨越太平洋的首张高分辨率、广域图像。与之前的观测不同，SWOT揭示了一种复杂的、辫状的波能量模式——这挑战了长期以来认为大型海啸以单一、非色散波形式传播的假设。 数据表明存在显著的“色散”，即波分解成多个分量，影响能量的分布，并可能改变对海岸的影响。研究人员发现，包含色散的模型与卫星观测结果更吻合。 SWOT的数据，结合现有的DART浮标读数和地震数据，也促使人们对地震的破裂带有了新的认识。这一事件凸显了整合各种数据来源以改进海啸建模和预报的价值，可能带来更准确的预警和沿海社区更好的准备。这些发现代表了一个转折点，促使人们重新评估当前的海啸物理学和预报系统。

## 巴黎应对“汽车蔓延” 欧洲各地，大型汽车越来越受欢迎，但一些城市正在抵制这种趋势——被称为“汽车蔓延”。巴黎是其中的典型例子，由于交通和污染日益严重，积极限制超大型车辆。 2024年10月，巴黎将进入市中心的“重型”车辆的停车费提高三倍，显著增加了短期和长期停车的成本。市长安妮·伊达尔戈认为这将通过阻止污染车辆来加速环境改善。 初步结果表明，这项政策正在发挥作用，据报道，停在巴黎街头的超重型汽车减少了三分之二。此举反映了城市日益重视公共交通、自行车和行人空间，而非一味地适应越来越大的私家车。

## MBTA 宣布 12 月服务变更 MBTA 将在 12 月对橙线和绿线实施服务变更，以方便重要的基础设施升级。在 **橙线**，12 月 5 日和 6 日，Back Bay 至 Forest Hills 之间的服务将暂停，并提供免费班车和免费通勤铁路通行权作为替代方案。乘客应至少增加 30 分钟的通勤时间。 更广泛的变更将影响 **绿线**，时间为 12 月 8 日至 22 日。B、C、D 和 E 线在不同站点和 Back Bay 之间的服务将暂停。B、C 和 D 线将运行班车，在 Back Bay 与橙线连接。E 线将由 39 路公交车提供服务。免费选项包括绿线的部分线路、57 路公交车和伍斯特通勤铁路。乘客应为出行预留额外 20-30 分钟。 这些中断将允许对橙线进行信号现代化改造，并更换绿线老化的架空线路槽，以及进行其他重要的维护工作。 有关详细信息、时刻表和帮助，乘客应访问 [mbta.com/PlannedWork](mbta.com/PlannedWork)，关注 X 上的 @MBTA，或使用 T-Alerts。

众议院监督委员会的民主党人公布了杰弗里·埃普斯坦岛屿之前未公开的照片和视频，旨在对其犯罪的持续调查实现公开透明，并表达对幸存者的正义承诺。这些材料通过向摩根大通、德意志银行和美属维尔京群岛发出的传票获得，总计约5000份文件。 发布的内容包括牙科检查室、休息室和卧室等房间的图像，以及外部照片和视频。然而，此次发布受到了委员会共和党人的批评，他们指责民主党人选择性地分享信息——类似于他们声称过去被用来诋毁特朗普总统的尝试。他们特别指出一些图像经过了删减，并建议完全未删减的发布可能会揭示不同的叙述。民主党人对埃普斯坦受害者的关注时机也受到了质疑。

根据最近的声明，前总统特朗普暗示可能结束联邦所得税，这得益于关税收入的激增。他认为，对外国加征的关税——每年带来数千亿美元，可能超过1万亿美元——可以消除对所得税的需求，而是直接增加美国公民的财富。 这项计划植根于他的“美国优先”议程，旨在通过外国贸易收入来资助政府，而不是征税公民。特朗普指出历史先例，称美国在19世纪末仅靠关税就蓬勃发展。他甚至提出废除国税局的可能性。 虽然预测估计关税收入可能超过目前的所得税收入（2.7万亿美元），但批评该计划的经济学家认为这不切实际，并可能增加债务。然而，特朗普政府预计最早在2026年就能实现大幅退税和工资增长，并引用了日本、韩国和欧盟等国家的投资承诺。这种潜在的重大变革代表了经济政策的重大转变，承诺将更多资金返还给美国工人。