近30年来，FIRST LEGO League 一直在全球范围内培养青少年的 STEM 技能。现在，该项目正在不断发展，以更好地满足学生和教育工作者的需求，重点是提高可及性和课堂整合。 重新设计的 FIRST LEGO League 将使用 LEGO Education 计算机科学与人工智能套件——结合编码、硬件和教师支持——以吸引更广泛的学习者。主要变化包括无线硬件、互动式游戏模型、半合作团队游戏以及明确的玩家角色（驾驶员、操作员、技术员、专家）和引导式任务。 年龄/年级划分也简化为两个组（美国/加拿大分别为 5-7 岁和 8-14 岁），与体育类结构相一致。过渡期（2026-2028 年）将提供使用现有 SPIKE 技术的“创始版”和由新的计算机科学与人工智能套件驱动的“未来版”。最终，该项目旨在成为一种统一、简化的体验，激励下一代 STEM 创新者。

特朗普政府最近宣布对“学徒制付费”项目投资1.45亿美元，这是在最初扩大学徒制的承诺收效甚微之后的一项重大举措。这种资助模式不同于传统的劳动力资助，它将公共资金与实际成果（即学徒的实际雇佣、培训和留任）挂钩，而不仅仅是资助项目管理。 数十年以来，联邦对学徒制的投资一直有限，导致学徒制仅占美国劳动力的一小部分。这项新举措认识到行业协会和工会等中介机构在建立成功项目中的关键作用，借鉴了英国和德国等国家的做法。 学徒制现在尤其重要，可以解决熟练技工的严重劳动力短缺问题，并为传统的四年制大学提供一种可行的替代方案，尤其是在学士学位价值下降以及年轻人脱离大学的机会减少的情况下。学徒在培训后平均年收入为8万美元，为工人和雇主都提供了强劲的投资回报。虽然这项投资并非一个完整的解决方案，但它是将学徒制确立为劳动力发展核心组成部分的关键一步。

这门系统安全课程全面概述了该领域，深入探讨了隔离技术、权限分离和处理错误代码等关键领域。它还涵盖了网络/分布式系统、移动设备和网络安全，并着重关注人为因素和隐私。 课程内容包括可信硬件、CPU侧信道、缓冲区溢出防御以及WebAuthn等现代身份验证方法。客座讲座涉及供应链安全、网络安全政策和现实世界的信息安全挑战。 整个学期，学生将完成五个实验——分别侧重于缓冲区溢出、权限分离、符号执行、浏览器安全以及ACME/WebAuthn，并进行一次期中测验，涵盖前半部分的内容。阅读材料涵盖了从基础论文（1984年）到最新出版物（2024年）的各种来源。期末考试侧重于课程的后半部分，允许携带笔记本电脑。

这位作者回应了关于其财富和与大型科技公司关系的批评，澄清他们实际上*避免*了长期参与。虽然曾在谷歌、脸书和推特实习，但他们因道德问题（例如脸书的使命）而离开，并且并未从这些公司积累大量财富。他们的收入主要来自漏洞奖励、加密货币工作和节俭的生活。 相反，他们创立了两家公司——comma.ai 和 tiny corp，专注于开源机器人技术和普及人工智能模型训练所需的计算能力（特别是 petaflops）。他们的目标是挑战英伟达的统治地位，认为软件而非硬件才是关键。 作者充满激情地倡导建设更美好的未来，批评那些从事有害技术工作的人，例如监控和操纵性平台设计。他们认为，将重点从以利润驱动的“劣质化”转移到开放、可访问的技术，就能产生重大影响。

在伊朗经济危机引发两周大规模抗议后，政府镇压和互联网封锁导致街道现在已平静下来。当局实施了持续八天的封锁，以压制他们声称的“外国支持的阴谋”和扰乱利用动荡的“恐怖分子”。互联网接入正在逐步恢复，首先是短信服务。 伊朗官员指责美国和以色列参与了一场外国阴谋，最高领袖哈梅内伊声称“数千人”被这些势力杀害——这个数字远高于之前的报告。尽管美国和西方盟友对这些说法表示异议，但伊朗国家媒体报道，由于逮捕和削弱反对派网络，安全形势现已稳定。 报告还显示，存在组织化的、类似“突击队”的团体参与暴力活动，但其来源尚不清楚。由于各方宣传的影响，情况仍然扑朔迷离，独立核实困难。

很抱歉，如果没有启用 JavaScript，irisc-web 无法正常工作。请启用它以继续。

梅特·奥兹医生揭露了明尼苏达州普遍存在的医疗欺诈问题，这超出了此前已知的，如与新冠相关的“为未来提供食物”计划（涉及大量索马里裔个人）的3亿美元欺诈案。奥兹在接受《大纪元时报》采访时详细描述了一场“掩盖”，涉及州政府高层，并指控一些社区正在利用宽松的系统。 调查发现，一栋建筑内有400家企业，产生了8000万美元的涉嫌欺诈性联邦账单。联邦调查范围正在扩大，财政部正在调查明尼苏达州与索马里之间的财务联系，国土安全部已向该州部署特工。特朗普政府已冻结儿童保育资金，要求提供更多数据。 奥兹警告说，明尼苏达州只是“冰山一角”，并指出加州临终关怀和家庭医疗保健领域的欺诈规模可能更大，高达40亿美元，涉及“对欺诈的容忍和接受”，以及可能来自国外的犯罪团伙，包括一个“俄罗斯亚美尼亚……黑帮”。他担心这种欺诈可能与影响选举有关，利用社会项目获取政治利益。目前，这两个州的调查仍在进行中。

## 代码贡献价值的变化 近期大量低质量、AI生成的拉取请求（pull requests）促使人们重新评估开源贡献模式，尤其是在tldraw项目中。作者最初提议自动关闭外部PR，这一举动获得了开发者社区的意外支持，他们面临着类似的问题。 然而，核心争论不在于*是否*接受AI辅助代码——作者自己也在使用它——而在于当代码生成很容易自动化时，外部代码贡献是否具有价值。传统价值在于贡献者对代码库*和*问题的理解，这通过深思熟虑的迭代和设计输入来体现。 这个问题被AI工具加剧了，这些工具基于定义不明确的问题（甚至源于作者自己生成的AI错误报告！）创建看似有效的PR。这些贡献缺乏关键上下文，并且经常解决不存在的问题，需要维护者付出大量精力来理清。 最终，作者认为在代码唾手可得的世界里，最有价值的贡献现在集中在报告、讨论和深思熟虑的参与上——将实际编码留给核心团队，他们拥有必要的上下文和对项目的关怀。在出现更好的工具来管理这种新形势之前，可能需要转向限制外部贡献。

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

1806年，乔治·帕克牧师被谋杀引发了一桩复杂的案件，最终在24年后发现了理查德·赫明斯的遗骸。帕克负责收取备受痛恨的十分之一税（一种支付给教会或地主的10%税），并且不断提高要求，从135英镑增加到包括额外的“收款费用”，加剧了当地的怨恨。 三名农民——托马斯·克鲁斯、约翰·巴内特和乔治·班克斯——以及治安法官埃文斯上尉，雇佣赫明斯杀害帕克。为了让赫明斯噤声，他们又雇佣詹姆斯·泰勒谋杀赫明斯，并将尸体藏在克鲁斯的谷仓里。 然而，一个法律漏洞使这四人得以逃脱起诉：只有直接的凶手才能被审判，而泰勒已因自然原因去世。这场丑闻，加上对十分之一税更广泛的不满，最终导致了1836年的十分之一税交换法案，用基于全国粮食价格的更公平的“谷物租”取代了该制度。这需要详细的教区地图——在当时非常准确——来确定新税收的土地所有权。

1月16日，美国联邦航空管理局发布了60天的建议，敦促航空公司因中美洲和东太平洋地区的军事活动增加以及潜在的导航干扰而谨慎飞行。此前，美国采取了包括在委内瑞拉的空袭以及逮捕尼古拉斯·马杜罗总统（因涉毒指控）在内的军事行动，导致地区紧张局势升级。 此前，美国联邦航空管理局曾警告委内瑞拉空域存在安全风险。在马杜罗被移除后，特朗普总统宣布可能对墨西哥采取地面行动，以打击贩毒集团，尽管墨西哥已拒绝了美国的援助提议。 墨西哥强烈谴责委内瑞拉的空袭，强调需要和平解决，并对地区稳定表示担忧。美国联邦航空管理局的建议涵盖墨西哥、中美洲、巴拿马和东太平洋部分地区的空域，突出了所有飞行高度的潜在风险。

尽管人工智能快速发展，但其经济可行性日益受到关注。纽约时报专栏作家兼经济学家塞巴斯蒂安·马拉比预测，OpenAI可能在18个月内面临财务破产，理由是预计将出现巨额亏损——2025年可能高达80亿美元，到2028年将增加到400亿美元——尽管目标是在2030年实现盈利。 这源于极高的基础设施成本，特别是数据中心（仅OpenAI预计就需要1.4万亿美元），以及商业模式依赖于目前免费的服务，用户很容易转换。虽然投资者通常弥合创新与盈利之间的差距，但人工智能公司烧钱的速度*太*快了。 像微软和Meta这样的成熟科技巨头处境更好，它们拥有现有的收入来源来支持人工智能开发。这种情况凸显了整个行业可能存在的8000亿美元“黑洞”，表明并非所有人工智能先驱的未来都有保障，即使像OpenAI这样获得创纪录投资的公司也是如此。

## CDC 修改疫苗与自闭症关联立场 美国疾病控制与预防中心（CDC）已显著改变其关于疫苗与自闭症关联的官方立场，承认“疫苗不会导致自闭症”的说法已不再是基于证据的陈述。最近的网站更新显示，科学研究并未排除可能的关联，尤其是在婴儿疫苗方面。 这一转变，在特朗普-肯尼迪政府下发生，承认了此前被忽视的研究表明存在关联，并以《数据质量法案》作为依据——要求联邦通讯的准确性。虽然仍表示未观察到与麻疹、腮腺炎、风疹（MMR）疫苗的关联（但承认研究存在局限性），但CDC承认证据“不足以接受或否定”幼儿疫苗与自闭症之间的因果关系。 此次改变具有政治色彩，似乎与卫生部长罗伯特·F·肯尼迪小先生长期以来的观点一致，但CDC表示部分措辞是与参议院委员会主席妥协的结果。专家称赞此次更新是朝着透明和诚实迈出的重要一步，可能重塑关于疫苗安全、知情同意的讨论，并促使人们对疫苗与自闭症之间潜在机制进行新的研究。这标志着与数十年一贯的明确否认的背离，并为合法的科学探究打开了大门。

## 传统软件开发的终结 Effectful Technologies 首席执行官 Michael Arnaldi 认为，人工智能正在从根本上改变软件开发，使许多传统编码变得过时。像“Ralph”这样的技术，它使用人工智能代理进行迭代循环，仅仅是个开始——高级用户已经在使用人工智能迅速“复制”整个公司。 重点不应该放在*哪个*人工智能模型最好，而应该放在开发有效*流程*来利用它们。一个拥有“足够好”模型的良好流程，将始终胜过一个没有流程的更优模型。这种转变正在很大程度上秘密进行，因为掌握先进技术的人们理解其颠覆性影响。 Arnaldi 通过仅用两个小时构建一个类似于彭博终端的 Polymarket 分析工具，并且没有编写任何代码来证明这一点。他现在正在构建一个开源会计应用程序（“Accountability”），以进一步证明这一点，只使用基本工具并记录整个过程。 这不是*软件工程*的终结，而是一种转型。工程师将从*编写*代码转变为*设计*生成代码的系统，专注于更高层次的思考和架构直觉。我们正在进入一个“软件工业革命”，稀缺性将被丰裕和可负担性所取代，需要对当前实践和团队结构进行彻底的重新评估。

## 氛围探索：无计划构建 本文详细介绍了一种名为“氛围探索”的新型软件开发方法，其目标*并非*预先定义。作者使用 Termux、Claude Code，以及快速构建-测试-迭代循环，在一部五年前的 Android 手机上完全构建了一个 WebGL 大理石游戏“Inertia”——一切都源于提示：“创建一个利用加速度计的创意网页游戏。” 与“氛围编码”（AI 实现已知想法）不同，氛围探索涉及通过迭代的 AI 辅助原型设计*发现*产品。作者最初并非打算创建一个大理石游戏；它是在六次迭代中产生的，每一次都响应于前一版本的不足。 速度和环境所有权是此过程的关键。直接在手机上开发，利用加速度计作为核心输入，并避免沙盒生成器或云端 IDE，可以获得即时反馈和完全的工具自由。作者设想利用分析、自动化测试和模拟用户来自动化人类反馈循环，最终创建一个完全自主的开发周期。该项目展示了 AI 如何不仅可以*构建*你想要的东西，还可以*帮助你弄清楚你想要什么*。 你可以在提供的链接中玩最终游戏并探索代码演变。

遵循其竞选承诺的透明度，特朗普总统在就职后开始回避有关埃普斯坦档案的问题。关于埃普斯坦罪行的范围的 revelations 浮出水面——包括可能存在“数万”个视频和“数百”名受害者——以及总检察长帕姆·邦迪掌握的完整客户名单的说法。 尽管在11月通过了埃普斯坦档案透明法案，要求公开档案，但司法部回应的文件却经过了大量删减，似乎侧重于民主党关系。马西和卡纳代表团随后寻求一位特别调查员进行独立监督，认为司法部并未完全遵守。 司法部现在正在积极阻止特别调查员的任命，声称该请求不当企图重新开启已结案，且缺乏法律依据。他们认为卡纳和马西并未证明自己受到个人伤害，且法院不应监督司法部的文件制作。司法部称，已有超过500名审查员正在处理文件的发布。

## macOS 亮度逐渐提升与深色模式的兴起 多年来，“浅色模式”一直是默认设置——电脑就是以浅色为标准。然而，最近的分析显示，macOS 的浅色模式在过去 16 年里一直在稳步变亮。通过分析 macOS 截图库的截图并计算平均亮度，作者证明了 UI 亮度持续增加，从雪豹 (2012) 的 71% 跃升到像 Tahoe 这样的最新版本的 100%。 这种亮度增加与作者持续使用深色模式相对应，最初觉得深色模式不吸引人，但最终为了避免过于明亮的显示屏而不得不使用。这一趋势凸显了设计上可能存在的偏向更亮元素的倾向，这源于对视觉上“更干净”的亮色选项的自然偏好。 作者指出深色模式的一个缺点——窗口之间缺乏对比度——并表达了对中灰色 UI 作为舒适替代方案的渴望。最终，他们呼吁设计师抵制最大化亮度的冲动，并考虑更平衡的色彩方案的优势，甚至建议将大胆的 50% 灰色作为起点。

启用 JavaScript 和 Cookie 以继续。

## ChunkHound：深度代码库智能 ChunkHound 是一款优先本地运行的工具，它超越了简单的代码搜索，能够深入理解代码库的架构、模式和机构知识——即使在巨大规模下也能实现。与仅仅*搜索*代码的 AI 助手不同，ChunkHound 使用基于研究的 cAST 算法进行语义分块和多跳语义搜索，从而*研究*代码。 它通过结构化解析（Tree-sitter）和基于文本的解析支持 30 多种语言，并通过 MCP 与流行的 IDE（VS Code、Cursor 等）无缝集成。你可以使用自然语言（“查找身份验证代码”）或正则表达式进行查询。 主要优势包括：仅本地运行以确保安全、实时索引以及混合语义/正则表达式方法，从而提供强大而准确的结果。ChunkHound 在大型复杂项目、多语言环境以及需要离线访问的情况下表现出色。 了解更多信息并开始使用，请访问 [chunkhound.github.io](https://chunkhound.github.io)。

宾夕法尼亚州自2015年以来，人口和经济持续下降，在人口外流州中一直名列前茅。最近的U-Haul报告显示，宾夕法尼亚州在迁入人数排名中位列第44位，居民越来越多地搬迁到德克萨斯州、佛罗里达州、北卡罗来纳州和田纳西州等红色州——这些州通常拥有更低的税收和更有利的经济环境。 2012年至2022年间，宾夕法尼亚州总收入减少了超过160亿美元，其中佛罗里达州和德克萨斯州是主要受益者。这种外流与州级政策有关，作者认为高税收和工会影响力是导致问题的原因。 作者警告说，民主党控制州长职位和两院（“三权分立”）将加速这一趋势，可能使宾夕法尼亚州变成像加利福尼亚州、伊利诺伊州或新泽西州一样的州。全国民主党正在积极争取2026年的宾夕法尼亚州参议院席位，如果成功，可能会巩固宾夕法尼亚州的长期蓝色转变，并进一步加剧人口外流。

## 儿童、屏幕与有缺陷的法案：KOSMA解读 华盛顿正在讨论如何应对科技对青少年心理健康的影响，重点关注一项名为《儿童远离社交媒体法案》（KOSMA）的法案。尽管该法案旨在“保护儿童并赋能家长”，但讽刺的是，它反而将控制权移交给大科技公司——正是这些公司一直受到议员们的批评。 尽管存在广泛担忧，各大平台已经禁止13岁以下用户使用，这主要是由于现有的隐私法律。然而，研究表明，大多数13岁以下用户的社交媒体使用并非秘密；大约90%是在父母知情甚至协助下进行的。KOSMA将*要求*平台监管家庭，如果发现未成年人使用“合理推断”，即使得到父母同意，也必须终止账户。 这意味着共享家庭账户——例如孩子与父母一起观看教育YouTube视频——可能会被锁定或需要进行侵入性的年龄验证（例如身份证扫描）。KOSMA不是尊重父母的指导，而是迫使平台根据算法推断来推翻家庭的决定。 批评者认为，KOSMA无法解决问题，反而会将权力集中在科技公司手中，阻碍正常的、受监督的在线体验。他们建议，更有效的方法是加强对*所有*用户的隐私保护，而不是授权科技公司来决定谁可以访问互联网。

适用于嵌入式设备的微内核操作系统。Xous是一个为中等规模嵌入式系统设计的微内核操作系统，具有清晰的进程分离。几乎所有内容都在用户空间实现，消息传递是基本的通信方式。您可以在Xous Book中了解更多信息。该项目由NGI0 PET基金资助，该基金由NLnet建立，并得到欧盟委员会下一代互联网计划的财政支持，受DG Communications Networks, Content and Technology的管辖，协议编号为825310。

四个月前，我辞掉了工作，与佩德里克共同创立Skald，最初的动力更多是追求独立，而非什么颠覆性的想法。我们获得了天使投资（包括前老板）和Broom Ventures的资金，优先考虑对创始人友好的条款，而非快速扩张。我最初的计划是不断尝试想法，直到找到一个有潜力的，但佩德里克的财务状况要求我们尽快融资。 融资后，我意外地承受了巨大的压力。尽管外部看起来很成功，但我感觉自己无法达到期望——这些期望既真实又源于过去对我的“创业潜力”的赞扬。这导致了无效的自我怀疑，以及将注意力放在增长指标上，而不是健全的战略。 我意识到我优先考虑向投资者展示成功，而不是建立可持续的业务，并且根据感知到的潜力而非真正解决问题来进行调整。最终，我认识到信任我们的流程、专注于创造价值以及记住投资者相信的是*我们*，而不是某个具体的想法的重要性。我现在重新集中精力，充满动力，并分享这段经历，希望它能引起其他创始人的共鸣。

明尼苏达州州长蒂姆·沃尔兹已调动国民警卫队，协助州和地方执法部门，以应对明尼阿波利斯市中心预计的周末抗议活动。国民警卫队目前尚未部署在街头，但将提供交通支持并帮助确保公共安全，允许公民和平集会。 此举正值司法部对沃尔兹州长和明尼阿波利斯市长雅各布·弗雷的调查，指控他们合谋妨碍联邦移民执法。调查细节有限，但据报道，调查的中心是官员们发表的言论以及在城市运营的一系列左翼非营利组织。 尽管存在潜在动荡，但极寒天气（目前华氏9度，最低华氏-3度）预计将影响抗议人数。当局已敦促民众“注意安全，保持和平”。

## DevOps 的演变与人工智能的影响 DevOps 的核心目标——将开发者直接连接到生产反馈——由于技术不足在很大程度上未能实现。现有的工具往往*增加*了工作量，而不是简化代码部署与实际影响之间的循环。虽然在理论上拥有无限资源的情况下可行，但实际的可观察性对于大多数团队来说仍然是一个挑战。 然而，人工智能改变了游戏规则。首次，现成的技术能够为普通的工程组织提供快速有效的反馈循环。但这同时也带来了一个新的挑战：现有系统无法应对人工智能辅助开发将产生的“代码冗余”。 关键在于从被动式运维循环（响应故障）转向主动式、价值创造循环：部署、观察、学习。人工智能现在允许将遥测数据*带给*开发者，并将其置于他们现有的环境中，从而消除了他们成为可观察性专家的需求。 这意味着开发者将花费更少的时间编写代码，而将更多的时间用于验证、实验和理解生产行为。瓶颈从代码*编写*转移到代码*理解*，将工程师转变为更像科学实验者。虽然 DevOps 本身并未消亡，但其最初的目标终于在人工智能的帮助下得以实现，这要求采用新的仪器化和分析方法。

乔纳森·图利的文章剖析了迈克尔·科恩一贯以自我为中心的行为，科恩是唐纳德·特朗普的前律师。科恩被描述为一名“法律恶棍”，有违反道德和威胁的历史，他一再改变忠诚，以谋取自身利益——最初帮助特朗普，然后为了认罪协议而背叛他，现在又批评他之前协助过的检察官。 图利强调了科恩长期不诚实的模式，指出他被指控向国会、法院和各种机构撒谎。即使在特朗普的审判期间，科恩也承认过去的虚假陈述，声称最初是为了*帮助*特朗普。 现在，在特朗普获得法律胜利后，科恩声称纽约州总检察长莱蒂蒂亚·詹姆斯和地区检察官阿尔文·布拉格向他施压，要求他捏造对特朗普的证词。图利将科恩描绘成一个根本不值得信任的人，将其比作经典寓言中的蝎子——受其天性驱使背叛他人，无论后果如何。文章暗示科恩再次寻求有利地位，可能正在“向出价最高者兜售自己的可用性”。

## Kip：一种受语言学启发的编程语言 Kip 是一种实验性编程语言，它独特地将土耳其语语法整合到其类型系统中。它利用土耳其语名词格——例如主格、宾格和与格——来定义函数参数之间的关系，从而实现灵活的参数顺序。该项目探索了语言学和类型论的交叉点，用作研究和教育工具，而非生产就绪的语言。 Kip 支持代数数据类型、用于泛型的类型变量、使用土耳其语条件后缀进行模式匹配以及命名常量。它包含用于整数和字符串的内置类型，以及基本的算术、比较和 I/O 操作。 该语言利用 TRmorph 工具包进行土耳其语形态分析，通过在编译过程中携带多个解析来处理歧义。Kip 使用 Haskell 实现，并提供 REPL、文件执行和基于浏览器的游乐场。它缓存类型检查的文件以加快执行速度，并在编译器更新时使缓存失效。 尽管仍在开发中，Kip 展示了一种新颖的编程语言设计方法，展示了自然语言结构如何影响代码结构和可读性。

抱歉，此网站需要 JavaScript。

启用 JavaScript 和 Cookie 以继续。

小型企业管理局（SBA）的8(a)项目，旨在扶持“社会弱势”小型企业，因普遍存在的欺诈和滥用行为正受到严密审查。战争部长皮特·海格塞斯宣布对战争部（DoW）进行重大改革，称该项目是一个充斥着“通道”计划的、历经数十年的多元化、公平和包容性（DEI）倡议。 经詹姆斯·奥基夫和彼得·施韦泽的报道引发的调查显示，许多8(a)企业在未完成合同工作的情况下收取高额费用（高达50%），并将合同外包给更大的公司——通常被称为“腰带强盗”。战争部占8(a)项目支出的最大份额，现在将审计所有超过2000万美元的单一来源合同。 目标是消除对国家安全无贡献合同的浪费性支出，并瓦解困扰该项目的欺诈行为。官员们旨在将联邦采购重新聚焦于 merit（能力）和成本效益，而不是DEI考虑因素，并认为战争部的审计只是一个必要的、全机构重置的开始。