## 在 Claude Code 中更换模型 本指南详细介绍了在 Claude Code 中选择不同 Claude 模型的三种方法。最快的方法是在 Claude Code *内部* 使用 `/model` 命令,可以即时更改 – 使用 `/status` 检查当前模型。 对于会话期间的一次性模型更改,请在从终端启动 Claude Code 时使用 `--model` 标志(例如,`claude --model claude-opus-4-7`)。 要设置永久默认模型,请修改您的 shell 配置文件(macOS 上的 `.zshrc`,或 Linux 上的 `.bashrc`)。添加一行,例如 `export ANTHROPIC_MODEL="claude-opus-4-7"`,然后 source 该文件(Bash 的 `source ~/.bashrc`),并重新启动您的终端。 支持的模型包括 Opus 4.7、Sonnet 4.6、Opus 4.6、Opus 4.5、Haiku 4.5 和 Sonnet 4.5,每个模型都有一个特定的模型名称用于命令。这使您可以根据您的特定需求和偏好定制 Claude Code。
最近,美国执法部门查获了约1万磅非法毒品。4月20日与哥伦比亚当局的联合行动在哥伦比亚水域拦截了一艘“快速船”,查获创纪录的6400磅大麻,价值约700万美元。
另据海关与边境保护局(CBP)在加利福尼亚州奥泰梅萨设施的官员称,他们发现超过3000磅冰毒——价值492万美元——藏在一辆伪装成纸板箱的货运拖车内。
这些查获行动凸显了当前政府应对非法毒品危机的一个重点。白宫旨在减少过量用药死亡人数,并破坏毒品供应链,包括针对提供前体化学品的国家。战争部报告称,自9月以来,加勒比海和东太平洋地区的毒品船只活动减少了20-25%,这归功于对 suspected 毒品运输船只的打击。跨机构合作是这些努力的核心,官员们正在协调,将拦截数据整合到针对犯罪网络的调查中。
## talkie:一段与1930年代语言模型一同踏入过去的旅程
Anthropic的研究人员推出了“talkie”,一个拥有130亿参数的语言模型,它仅使用1931年之前的文本进行训练。这个“复古”的语言模型旨在模拟与过去的人进行对话,提供一个独特的窗口,了解历史知识和观点。通过Claude Sonnet 4.6提示,可以进行一个实时演示,与talkie进行互动。
该项目通过考察这些模型预测未来事件的能力(在截止日期后显示出增加的“惊讶性”)以及生成新颖想法的能力来探索人工智能的理解力。重要的是,talkie是“无污染的”——避免了现代数据偏差——从而能够进行独特的测试,例如评估它在没有先验计算机知识的情况下学习编码的能力。
虽然目前性能不如现代语言模型,但talkie展现了潜力,尤其是在规模方面。挑战包括数据质量(OCR错误)以及防止“时间泄漏”——即1930年之后的信息泄露。研究人员正在积极改进数据转录和后训练方法,使用历史文本来保持符合时代的回应。未来的计划包括将talkie扩展到GPT-3/3.5的水平,并使用大幅扩充的历史语料库,并邀请研究人员和机构进行合作。
Talkie的输出反映了其训练数据的价值观,可能包含冒犯性内容。
明尼夸酿酒公司,一家由民主党活动家柯克·邦斯塔德拥有的威斯康星州啤酒厂,因一篇似乎嘲笑最近对前总统特朗普的刺杀未遂事件的社交媒体帖子而面临强烈反弹。该帖子引用了此前承诺特朗普去世后提供免费啤酒的誓言,写道“好吧,我们差点迎来#免费啤酒日”,引发了愤怒。
该啤酒厂之前曾宣布特朗普去世后将举办“免费啤酒日”,并销售相关商品。虽然该帖子已被删除,但它受到了共和党官员(称这种言论“令人作呕”)和威斯康星民主党发言人的谴责,后者认为这是“不可接受的”。
这起事件发生在科尔·托马斯·艾伦试图闯入白宫记者协会晚宴安全警戒线后,据称他在一份宣言中表达了对特朗普的敌意。该啤酒厂的行为引发了一场政治风暴,凸显了分裂的气氛,并促使人们呼吁更广泛地谴责煽动性言论。
最新报告显示,特朗普政府严重低估了伊朗对中东美国基地造成的损害程度。美国全国广播公司(NBC)援引美国官员消息称,伊朗的袭击造成的破坏远比公开承认的要大,包括伊朗战斗机轰炸科威特美国基地的一次罕见事件——这是数十年来首次。
五角大楼被指控向国会隐瞒了全部损害范围,甚至要求卫星图像公司屏蔽与战争相关的照片。袭击已在七个国家发生,导致至少13名美国士兵死亡,400多人受伤。据报道,基地,特别是科威特和巴林(第五舰队总部所在地)受损严重,维修费用可能超过50亿美元。
尽管声称拥有强大的防御,但一些袭击,例如科威特的一次致命无人机袭击,利用了防御漏洞。许多基地由于易受攻击,已基本撤空。
## NaN 的秘密生活:摘要
IEEE 754 浮点标准包含一个“非数值”(NaN)值,旨在表示未定义的结果。然而,双精度 NaN 包含 51 位未被标准使用的“有效载荷”——这一特性被巧妙地利用起来。
IEEE 754 最初的目的是在不同处理器上标准化浮点数的表示,它为诸如无穷大和 NaN 之类的值定义了特定的位模式,区分了“安静”NaN(用于传播错误)和“信号”NaN(可能引发异常)。关键在于可用的 NaN 位模式数量众多。
这种未使用的有效载荷在诸如 JavaScript(通过 JavaScriptCore 和 SpiderMonkey 等引擎中的 NaN-boxing)和 LuaJIT 等动态类型语言中被巧妙地重新利用。这些实现将非浮点数值*和*其类型信息存储在 NaN 有效载荷中,从而在 64 位空间内表示所有数据类型。
虽然这是一种复杂的实现,并存在潜在的安全问题,但 NaN-boxing 提供了诸如节省内存和更快操作之类的优势。它展示了一个迷人的例子,即利用看似错误处理功能来实现强大的优化技术。该标准有意允许有效载荷的灵活性,鼓励将额外信息“临时组装”到 NaN 中。
全球对电动汽车(EV)的需求正在反弹,这得益于地缘政治紧张局势——特别是美国-伊朗冲突以及潜在的石油供应中断——导致油价上涨。高盛分析师报告称,主要国家电动汽车的销售占比大幅增加,从1月份的30%跃升至3月份的80%。
此次激增并非与较低的贷款利率有关,而是与“油价在加油站的冲击”有关。随着石油价格预测被上调,预计这种趋势将持续,表明能源危机将持续。
区域亮点包括泰国(电池电动汽车和混合动力电动汽车)表现强劲,中国新能源汽车的折扣缩小提振了比亚迪,以及对能源存储系统(ESS)的需求增长,支持了特斯拉和比亚迪等电池制造商。虽然印度天然气价格上涨对马鲁蒂铃木等CNG汽车制造商构成担忧,但电动汽车行业的整体前景日益乐观。
## 法院扩充与制度规范的侵蚀
乔纳森·图利(Jonathan Turley)的分析强调了一种日益增长的激进提议趋势,特别是扩充最高法院的呼声,这源于双方的政治愤怒。尽管历史上一直反对,但像比尔·克里斯托尔(Bill Kristol)这样以前的保守派人物现在也提倡扩大法院以确保自由派多数,将其定位为对共和党人对民主的所谓攻击(如选区划分)的相称回应。
这种呼声,民主党人詹姆斯·卡维尔(James Carville)和伊丽莎白·沃伦(Elizabeth Warren)等人也持相同观点,其中心在于实现期望的政治结果,无论是否符合宪法规范。沃伦建议将判决与“公众舆论”保持一致,这直接违背了法院作为对冲动政治的制衡作用。
图利认为这种“无情”的做法——克里斯托尔称赞其是维护自由民主的必要手段——具有讽刺意味地反映了它声称与之抗争的“非自由民主”。他指出金斯伯格大法官(Justice Ginsburg)警告说,扩充法院将对党派造成损害,并强调了建国者们创建一种理性辩论体系的意图,而不是屈服于“暴民统治”。最终,图利警告说,在愤怒中破坏机构会威胁到美国共和国的根基。
美国住房和城市发展部(HUD)正在推翻拜登政府时期关于性别认同的政策,在其法规中恢复对性别的生物学定义。住房部长斯科特·特纳宣布了这些变化,将影响大约50条规定,以优先保障弱势女性的安全,尤其是在庇护所中。
此前,HUD要求庇护所根据个人自我认同的性别来接纳人员,无论其生理性别如何,这可能导致潜在的虐待。修订后的政策将专门为生理女性保留女性庇护所,并根据生物学事实来定义“男性”和“女性”等术语。
特纳表示,这些变化反映了对“生物学真相”的承诺,并符合上帝创造了两种性别的信念。此举履行了二月份的命令,即根据生理性别提供HUD资助的住房和服务,该指令源于特朗普总统的一项行政命令,旨在将生物学事实恢复到联邦政府政策中。
根据政治学博士杰罗姆·科西的说法,2026年中期选举将是反对民主党普遍选举舞弊的主要战场。科西声称,29个州存在系统性的选民登记不准确问题,登记名单中充斥着已故、不符合资格和不存在的个人——这一问题已得到司法部在合作州进行的调查证实。
他解释说,民主党利用算法创建虚假的选民记录,然后利用邮寄投票计划为这些捏造的身份投票。科西以最近弗吉尼亚州的选区划分投票为例,指出计票结果中出现可疑的“激增”,与邮寄选票登记时间相吻合。
由于“拯救美国”投票法案在国会受阻,科西认为特朗普总统需要利用行政权力,可能部署国民警卫队前往拒绝合作的州,以监督选举的公正性。他预测这种干预是必要的,因为民主党*必须*作弊才能获胜,如果举行公平选举,他们将面临巨大损失,并预计可能会出现需要强力安保人员存在的暴力事件。
前以色列总理纳夫塔利·贝内特和亚伊尔·拉皮德合并他们的政党,成立“共同体——贝内特领导”,以挑战现任领导人本雅明·内塔尼亚胡在即将到来的选举中。贝内特将领导联合竞选名单,将联盟定位为超越传统左右分歧的统一力量,专注于国家团结。
他们已向前陆军总参谋长加迪·埃森科特发出邀请,这可能会使他们的席位数量增加到41席——超过内塔尼亚胡的利库德党。然而,在没有阿拉伯政党支持的情况下,组建执政多数仍然具有挑战性,而贝内特已经排除了这种可能性。
两位领导人都强调需要一个优先考虑安全、教育、经济稳定和全民兵役的“犹太复国主义政府”。民意调查显示,“共同体”可能赢得27个席位,从而显著提升他们的实力。贝内特直接呼吁结束内塔尼亚胡的长期执政,而拉皮德强调为了以色列的利益,应该搁置个人野心。
## l123:对 Lotus 1-2-3 的现代诠释
l123 是一款基于终端的电子表格应用程序,旨在重现 DOS 版 Lotus 1-2-3 Release 3.4a 的体验,同时利用现代技术。它使用 Rust 和 IronCalc 引擎构建,提供原生 .xlsx 兼容性,并采用键盘优先的工作流程和熟悉的斜杠菜单界面。
目前正在积极开发中(已达到里程碑 M10),l123 具有 3D 工作表、命名范围、撤销功能、打印到各种格式以及一个功能齐全的图形库等功能。它甚至包含一个支持鼠标的所见即所得图标面板,镜像了原始 1-2-3 的布局。
主要功能包括 1-2-3 公式语法、三行控制面板和广泛的键盘快捷键。l123 并非模拟器,而是优先考虑对原始版本的函数保真度,确保有经验的用户可以直观地操作它。该项目强调严格的测试和文档,专注于真实性和与现代电子表格格式的干净往返兼容性。
源代码和详细文档可在 GitHub 上找到:[https://github.com/duane1024/l123](https://github.com/duane1024/l123)。
印度一名医学生巧妙地利用人工智能创建了一个名为“艾米丽·哈特”的完全虚假的网络红人来资助他的学业。由于无法通过传统方式赚取足够的钱,他使用了诸如谷歌Gemini之类的工具来塑造一个角色——一位年轻、保守的美国女性,拥有强烈的政治观点。
针对特定的人口群体,即保守派美国男性,发布亲基督教、拥枪和反移民的内容取得了巨大的成功。“艾米丽·哈特”在几周内积累了大量粉丝,并通过Fanvue等平台上的订阅和商品每月产生数千美元的收入,且每日所需精力 minimal。
该学生承认,专注于分裂性的政治内容是该账号快速增长的关键。尽管最终因违反平台规则而被移除,但此案例凸显了逼真的人工智能生成角色在线上获得关注和盈利的容易程度,引发了人们对欺骗和潜在操纵的担忧。该学生现在已经放弃了这个项目,专注于他的医学学习。
## 詹姆斯·霍华德·昆斯特勒对政治暴力的分析摘要
昆斯特勒认为,白宫记者协会晚宴的枪击未遂事件并非孤立事件,而是民主党和主流媒体持续散布负面叙事——特别是针对唐纳德·特朗普——的直接结果。他认为枪手科尔·托马斯·艾伦被这种“宣传”激进化,并受到诺拉·奥唐奈尔等人的助长,后者在采访中放大了艾伦的反特朗普言论。
昆斯特勒指责巴拉克·奥巴马和“沼泽”(包括建制媒体和政治人物)正在策划持续的针对特朗普的政变,并以“通俄门”、疫情应对以及所谓的选举干预为例。他预测,在 midterm 选举前,将出现升级的“抵抗”策略,由自由派亿万富翁资助,可能包括旨在激使特朗普援引《暴乱法》的暴力行为。
他认为特朗普可能被迫利用《暴乱法》,甚至召集军事法庭来处理反对派的所谓叛国行为,包括可能涉及司法部门成员。昆斯特勒最后提倡严格的选举程序——公民身份验证、纸质选票和单一选举日——以防止进一步的操纵和不稳定。
## 南加州墨西哥黑帮打击行动
最近,联邦和地方执法部门联合行动,逮捕了43名涉嫌与墨西哥黑帮监狱团伙有关联的成员和同伙。逮捕行动主要在加利福尼亚州奥兰治县进行,指控包括谋杀、绑架、毒品贩运(芬太尼、甲基苯丙胺、海洛因、可卡因)、敲诈勒索和非法赌博。
调查显示,该团伙通过商场和民居经营毒品销售和赌博团伙,通过暴力手段控制并收取“税款”。执法部门查获了大量毒品、25支枪支以及超过3万美元的现金。
值得注意的是,一名被告人涉嫌使用违禁手机*在狱中*指挥犯罪活动,另有两人被指控犯有在黑帮经营的汽车旅馆中实施的谋杀罪。墨西哥黑帮,被称为“La Eme”,在南加州对西班牙裔街头帮派拥有重大影响力,从监狱内部指挥犯罪并从非法活动中获利。
科尔·托马斯·艾伦,31岁,因涉嫌包括企图刺杀总统在内的三项联邦罪名被指控,起因是白宫记者协会晚宴上的事件。检察官指控艾伦携带霰弹枪、手枪和刀具跨州旅行,意图伤害特朗普总统和政府官员,证据是他在一份宣言中详细列出的“杀戮清单”。
艾伦周一出庭,被告知了指控,但未作答辩,目前仍被拘留。他没有犯罪记录。
该事件引发了立即的政治反应。白宫新闻秘书卡罗琳·利维特将企图刺杀归咎于“左翼仇恨邪教”以及民主党人、媒体和评论员对特朗普总统的妖魔化。报道称,艾伦受到左倾媒体和非政府组织的影响,导致信息环境充满敌意。听证会将于周四举行,以确定是否批准其保释。
## 2026年世界杯:旅行成本成主要担忧
前往美国举办的2026年世界杯的球迷旅行,正成为一项重大的后勤和财务挑战。彭博社报道称,由于需求旺盛、停车位有限,以及对昂贵选择的依赖(例如网约车,短途行程可能高达数百美元,甚至豪华直升机接送,最高可达3万美元),交通成本预计将飙升。
公共交通正在为大规模人流做准备,但面临资金短缺和潜在的票价上涨——一些线路的往返票价可能超过100美元。一个关键的争论点是*谁*将承担扩大服务和基础设施改善的成本。
主办城市认为国际足联应该贡献资金,而国际足联则坚持现有协议允许通过票价收回成本,拒绝了追加资金的要求。这场分歧凸显了日益紧张的局势,因为各城市正在为数百万游客做准备,并努力避免将世界杯相关的费用转嫁给当地通勤者。