Anthropic正在实施身份验证，以增强平台安全性、执行政策并满足法律要求。用户在访问某些功能时可能会遇到验证提示。此过程由合作伙伴Persona Identities处理，需要有效的政府颁发的带照片的身份证件和实时自拍，耗时不到五分钟。 您的数据受到保护：Anthropic控制着验证数据的使用和保留方式，而Persona安全地收集和存储数据，Anthropic仅在必要时（例如申诉）访问记录。**重要的是，此数据*不*用于模型训练或与第三方共享用于营销。** 由于图像质量或身份证件问题，验证可能会失败；允许多次尝试，并可通过提供的表格获得支持。验证后，因违反政策可能会导致帐户被封禁，并提供申诉流程。有关详细信息，请参阅Anthropic的隐私政策和常见问题解答。

Roblox正在实施年龄限制和新的账户等级——儿童（5-8岁）、精选（9-15岁）和标准（16岁以上），以应对日益增长的安全问题以及一起指控其审核不足，导致年轻用户接触有害内容和掠夺者的诉讼。这些变化包括年龄验证（可能使用面部识别）、内容评级和扩展的家长控制。 虽然避免了澳大利亚最近对Facebook和TikTok等平台的影响，Roblox的举措受到了澳大利亚官员的欢迎，他们之前曾敦促该公司改善安全措施。该平台旨在提供适合年龄的体验，将年轻用户限制在较温和的游戏中，并默认禁用通讯，同时逐步为年龄较大的青少年引入聊天功能并提供保障。 Roblox拥有超过1.51亿的日活跃用户，公司领导人承认需要全行业协调，以保护儿童在各种在线平台上的安全。尽管可能存在规避年龄验证的方法，但官员们认为新的法规为在线安全建立了一个重要的文化标准。

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

## Windows UI 的失落艺术 作者对当前 Windows 桌面应用程序的状态表示沮丧，这些应用程序越来越多地依赖于 Electron 和 Tauri 等基于 Web 的框架。这些应用程序体积庞大、资源密集，并且缺乏较早 Windows 软件的独特性。他们遗憾微软似乎放弃了原生 Win32 开发，转而选择优先考虑 Web 开发者而非优化的解决方案。 核心论点是 UI 设计中 *身份* 的丧失。 过去的 Windows 应用程序并不局限于单调、矩形的形状；它们采用了独特、视觉上引人入胜的设计——类似于硬件或有趣的物体。 现代 UI 优先考虑可用性而非个性，隐藏了操作系统的功能。 作者展示了一个 GitHub 仓库，证明 Win32 API 仍然允许高度定制的窗口——椭圆形、位图定义的形状，甚至动画桌面吉祥物——而无需使用笨重的框架。他们详细介绍了底层机制，强调了 Win32 的消息驱动架构以及使用窗口区域 (HRGN) 定义自定义形状。 虽然承认完全实现自定义窗口的复杂性（处理拖动、调整大小等），但作者提倡 Win32 提供的自由和控制，提醒我们矩形窗口是一种 *选择*，而不是限制。

## 太阳能海蛞蝓：库岛海蛞蝓 *Costasiella kuroshimae*，通常被称为叶海蛞蝓或海羊，是一种迷人的海蛞蝓物种，发现于日本、菲律宾和印度尼西亚等热带水域。这种小型（5-10毫米）软体动物于1993年被发现，以其非凡的光合作用能力而闻名。 与大多数动物不同，*C. kuroshimae* 实行**窃绿体**——它从它所食用的藻类*Avrainvillea* 中窃取叶绿体，并将它们整合到自身的细胞中。这些被窃取的叶绿体使海蛞蝓能够从阳光中产生能量，本质上像植物一样运作！ 海蛞蝓的叶状外观，由一排排的cerata（指状突起）形成，有助于伪装和呼吸。即使在不主动进行光合作用时，储存的叶绿体也提供了一个有价值的营养储备，使海羊能够在没有食物的情况下存活较长时间。这种独特的适应性使*Costasiella kuroshimae* 成为动物界进化创新的杰出例子。

欧洲正在起草战后计划，据《华尔街日报》报道，旨在独立于美国确保霍尔木兹海峡的安全，因为与伊朗的紧张局势正在升级。该提议设想一个“中立”联盟——不包括美国、以色列和伊朗——由欧洲海军力量领导，可能包括扫雷行动。 该计划旨在释放目前被阻碍的船只，进行广泛的扫雷，并最终恢复通过这条重要水道的安全通行。然而，仍然存在重大障碍。法国外交官认为，美国的参与会阻止伊朗的合作，而英国官员担心排除美国会限制行动的有效性，并可能激怒华盛顿。 至关重要的是，该计划依赖于伊朗和美国自愿放弃控制——这种情况被认为不太可能发生。欧洲在没有实质性影响力的情况下，在该海峡强制执行存在并维持秩序的可行性也值得怀疑，这引发了对该计划实用性的质疑。

## 气候变化与水稻生产：日益严峻的挑战 研究强调气候变化速度与主要粮食作物（特别是水稻）适应能力之间的严重不匹配。研究表明，气候变化*已经*对全球粮食生产产生影响，水稻产量对高温和低温都表现出敏感性。虽然水稻的驯化和在亚洲的传播是对过去气候变化的响应，但目前的气候变暖趋势已经超过了该物种的自然适应能力。 生态位模型显示，适宜水稻种植的区域可能会发生变化，引发了关于作物迁移的讨论。然而，适应并非必然；水稻的整体适应性较弱。利用具有更大遗传多样性的水稻地方品种（传统品种）、改善灌溉以及开发耐热品种等策略，可以提供潜在的解决方案。 更复杂的是，当前作物模型难以准确预测产量对极端天气的反应。分析历史气候数据以及基因组信息，对于了解水稻的适应潜力并为育种计划提供信息以确保未来的粮食安全至关重要。最终，积极的适应和遗传资源保护对于减轻气候变化对水稻生产的影响至关重要。

启用 JavaScript 和 Cookie 以继续。

学习编写编译器常常被现有的教科书弄得不必要地困难，那些书过于全面和理论化，就像用一本臭名昭著的入门书来学习高级编程一样。Jack Crenshaw的《让我们构建一个编译器！》提供了一种令人耳目一新的替代方案——一个实用的、易于理解的教程，即使是初学者也能胜任，最初是用Pascal编写的（也有C和Forth版本）。 然而，Crenshaw的方法跳过了创建抽象语法树，这是编译器灵活性的关键组成部分，因为Pascal的限制。像Python或Lisp这样的现代语言可以轻松地进行树操作。 Sarkar、Waddell和Dybvig的论文概述了一种更近期的“纳米通道”框架：将编译分解为程序内部表示形式的许多简单转换。这强调了模块化和清晰度。 核心信息是？首先从实际实现入手，*然后*根据需要深入复杂的理论。你可能会发现，你可以在不需要那本著名的、晦涩难懂的“龙书”的情况下构建功能齐全的编译器。

在复杂系统中维持安全依赖于持续管理约束，以应对不可预测的环境因素。这并非通过预编程步骤实现，而是通过**动态控制**——一个持续的观察、预测和行动循环。 多个“控制器”通过接收系统当前状态的**反馈**，利用**心理模型**预测未来状态，并发出**控制动作**来相应调整，从而防止危险状况。 当这些组件中的任何一个不足时，就会发生故障：缺乏准确的信息（反馈）、糟糕的预测（心理模型）或无效的调整（控制动作）。这些问题可以独立存在，也可以组合出现，有时甚至表明缺少控制器。 控制器在各个层面运作，从发动机控制等自动化系统到飞行员、主管甚至监管机构等人类因素——这表明安全是一个多层次、不断适应的过程。

Kernel是John Nathan Shutt创建的一种Lisp方言，汲取了近70年的Lisp历史——从1958年的起源到Clojure和Julia等现代实现。其核心创新在于通过一种称为“vau”的概念统一了宏和过程，旨在实现单一的元语言系统。Shutt的工作，最终体现在SINK解释器和Kernel规范中，试图形式化这个想法，但面临着一个长期存在的理论障碍：由于潜在的求值不确定性，无法使用fexprs（函数表达式）编译代码。 最近的突破，特别是Kraken编译器，证明了通过对动态环境强制执行不变性，可以实现fexprs的*高效*编译。这使得静态分析和优化能够与其它Lisp系统相媲美。Kernel的“vau”与传统的宏系统（如syntax-rules和syntax-case）相比，提供了一种更精简的代码转换方法，后者将宏展开与运行时执行分离。基准测试表明，Kernel（通过Seed）在各种任务中实现了与Chez Scheme相竞争的性能，证明了这种方法的实际可行性。该项目在AI编码辅助下进行，代表了一种由智力好奇心和对更优雅的Lisp的渴望驱动的验证概念。

英国已批准在威尔士北部怀尔法（Wylfa）选址建设三座小型模块化反应堆（SMR），这是该国能源领域迈向“黄金时代”的重要一步。该项目由劳斯莱斯SMR和英国能源（核）公司主导，旨在提供国产、低碳能源，足以供约300万户家庭使用超过60年，预计运营时间为2030年代。 怀尔法曾是英国最老的核电站所在地，于2015年关闭，现在正通过25亿英镑的投资重塑为高科技能源枢纽。SMR的模块化设计——90%在场外建造——承诺更快速、更具破坏性的建设。 该举措是英国推动能源独立和净零目标的核心，并得到国家财富基金5.99亿英镑的承诺支持。该项目预计将创造8000个就业岗位，对安格尔西（Anglesey）地区产生重大影响，并惠及整个国家供应链。

启用 JavaScript 和 Cookie 以继续。

教皇利奥十四世历史性访问阿尔及利亚期间，布利达市发生两起自杀式爆炸，该市距离首都阿尔及尔约30英里。官方已确认袭击，但目前没有证据表明袭击与教皇或其代表团直接相关。 初步报告显示，爆炸目标是安全设施和食品加工厂，可能导致两名警察死亡，但由于官方声明有限，细节尚未得到确认。目击者称，一些人试图携带爆炸腰带接近目标，但在被警察拦截之前未能成功。 尽管发生袭击，教皇的访问仍在继续，没有受到干扰，但安全措施可能已加强。此次访问的重点是促进基督教与伊斯兰教的对话，并探索阿尔及利亚古老的基督教遗产。他计划继续为期11天的非洲巡游，访问喀麦隆、安哥拉和赤道几内亚。

## 道路照明弹成分与硝酸锶提取：摘要 道路照明弹成分各异，但通常包括硝酸锶以产生红色，以及诸如硝酸钾或高氯酸盐等氧化剂，和硫、木炭、镁以及环氧树脂或漆等粘合剂等燃料。硝酸锶本身不是强氧化剂，因此需要添加其他化合物才能燃烧。 从照明弹中提取硝酸锶是*可能的*，但过程复杂且通常不值得。该过程包括将照明弹的成分溶解在水中，然后通过冷却和过滤利用溶解度的差异。然而，获得纯度很困难。提取的材料可能被硝酸钾或高氯酸盐污染，从而可能影响其可用性。 提取的成功取决于精确的条件——浓度、温度——以及照明弹的原始成分。不当的方法可能导致纯度低、硝酸锶损失严重或最终产品高度不纯。最终，从烟花供应商处购买硝酸锶比尝试提取更实用、更安全。

## AI辅助开发：优先考虑思考而非速度 作为技术负责人，作者发现虽然AI加速了软件开发，但它可能导致技术上可行但理解不足、隐藏问题众多的代码。解决方案？**在编写任何代码*之前*将核心工作转移到思考阶段。** 这种工作流程以“书面思考”为中心，利用AI进行*实现*，同时保留关键*思考*给开发者。它是一个多阶段过程： 1. **自由形式规划：** 初始的、非结构化的头脑风暴。 2. **通过访谈生成PRD：** 一个结构化的“访谈”过程（使用AI工具）将规划转化为详细的产品需求文档。 3. **通过垂直切片分解问题：** PRD被分解为小的、端到端的“切片”——可演示的工作单元。 4. **通过聚焦提示分解任务：** 每个问题进一步划分为AI可执行的任务，优先考虑模式和测试。 5. **代码生成与审查：** AI根据任务描述生成代码，然后进行严格的、多轮代码审查。 6. **最终审计：** 最终的跨领域审查确保系统的一致性和安全性。 这种工作流程并非为了追求速度，而是为了**有目的性**。它前期会更慢，但能大幅降低调试和维护成本。它需要持续的人工验证——AI *建议*，开发者 *决定*。关键在于每个阶段的结构化审查，确保每个输出都建立在对问题和期望结果的清晰理解之上。

安德鲁·科里布科认为，欧盟可能会批准对乌克兰900亿欧元的贷款，可能通过排除匈牙利来实现，以确保持续的资金支持，并可能助长一场“永远战争”。 这笔资金是在未能没收俄罗斯资产后达成的妥协方案，旨在覆盖未来两年乌克兰预算的三分之二，即使美国援助转向*销售*武器而非捐赠，也能激励其继续提供援助。 然而，乌克兰面临着严重的国内问题——普遍的逃兵现象和兵力短缺——这表明其长期抵抗不可持续。 尽管普京尚未将冲突升级为全面战争，这可能是出于对更广泛升级的担忧或对俄乌共同身份的信念，但欧盟却假定他不会这样做。 欧盟的战略似乎寄希望于2029年民主党重返白宫，希望恢复拜登时代的政策。 然而，这场旷日持久的冲突可能会加剧紧张局势，加剧欧洲能源安全问题，并最终可能对欧盟造成比俄罗斯更大的损害。

## 避免原型陷阱：初创公司的一课 来自潜在B2B客户的原型请求，可能迅速变成代价高昂的干扰。避免资源浪费的关键在于一个至关重要的问题：**如何将这个演示转化为采购订单？** 许多初创公司，急于留下深刻印象，陷入“原型陷阱”——在不了解买方内部流程或承诺的情况下，投入大量工程时间构建定制演示。一位创始人就惨痛地学会了这一点，花费数月时间制作演示，结果却被对方无视。 教训是：存在多种“产品/市场契合”——与用户以及控制预算的组织。在构建任何实质性内容之前，严格验证机会。询问潜在买家关于决策时间表、预算可用性、关键利益相关者和成功标准。 一个巧妙的策略是发送一份**完全可取消的采购订单**，概述演示的功能和价格。这种“礼貌的强制机制”能够迅速区分认真的潜在客户和仅仅“试探”的人，揭示完整的审批流程并大幅提高转化率。不要追逐热情，而是要求清晰度和明确的收入路径。

MDalgorithms是一家快速发展的、以人工智能为驱动的消费科技公司，旗下拥有MDhair和MDacne等品牌。他们正在寻找一位实操型的创意策略师来推动增长。公司通过人工智能分析和定制治疗方案，提供个性化的护肤和头发再生解决方案，弥合了皮肤科医疗的可及性差距。 该全栈职位直接向CEO汇报，对营销策略和预算有重大影响。理想的候选人应具备3年以上DTC/电商增长营销经验，数据驱动的思维方式，以及成功扩大品牌的经验。 职责包括构建获客渠道、设计和执行实验（A/B测试）、撰写电子邮件营销序列、贡献创意策略，以及构建落地页——尽可能利用人工智能工具。具有健康/美容和订阅电商经验者优先。 MDalgorithms提供完全远程、灵活的工作环境，并有机会塑造人工智能驱动的个性化健康领域的未来。

## WACLI：WhatsApp 命令行界面 WACLI 是一个基于 whatsmeow 构建的第三方 CLI 工具，提供本地 WhatsApp 消息历史同步、离线搜索以及消息/联系人管理功能。它利用 WhatsApp Web 协议，与 WhatsApp 无关联。 主要功能包括：同步消息（首次认证通过二维码，然后持续同步）、搜索消息历史（包括表情反应和媒体）、发送文本和文件（可覆盖文件名）以及管理群组。 可以通过 Homebrew 或本地构建进行安装。数据默认存储在 `~/.wacli` 目录。 “历史回填”功能尝试检索较早的消息，需要您的主设备在线，但属于尽力而为，可能无法返回完整历史。 WACLI 提供人类可读和 JSON 输出选项，并受到 `whatsapp-cli` 项目的启发。详细设计说明可在 `docs/spec.md` 中找到。

意大利已暂停其与以色列的国防协议自动续签，此举源于近期美国-以色列与伊朗冲突（目前在停火下暂停）加剧的紧张局势。 首相乔治亚·梅洛尼宣布暂停续签，此前西班牙和法国等其他欧洲国家也对美国行动提出了类似批评。 这项2005年协议促进了军事装备交换和技术研究。 协议本月到期续签，但面临来自意大利国内的反对，原因是加沙地带平民伤亡引发公众愤怒。 这一决定也反映了意大利与美国和俄罗斯关系的更广泛紧张。 意大利曾阻止一些美国军用飞机使用其空军基地，引发特朗普的批评，并继续捍卫其禁止俄罗斯天然气的决定，尽管能源成本上升，但仍优先考虑对俄罗斯施加长期压力以实现和平。 梅洛尼公开捍卫她与华盛顿的意见分歧，甚至批评特朗普对教皇反战立场的攻击。

## 多租户系统中的API密钥设计 这篇博文详细介绍了作者为具有数据库分片的多租户系统设计API密钥的过程。最初，作者希望超越简单的“身份验证字符串”来更好地理解API密钥的功能，并探索了各种将API请求高效路由到正确数据库分片的方法。 传统方法包括对API密钥进行哈希处理，并将它们映射到中央“元分片”中的帐户ID。虽然可行，但这感觉是多余的。考虑的替代方案包括为公司分配唯一的 前缀，以及使用Base-62/70编码哈希值以创建更短、可映射的字符串。然而，性能测试揭示了编码方法中BigInt操作效率低下。 最终，作者采用了SHAKE256哈希算法（SHA3的一种变体）。这种“海绵”算法允许生成固定大小的输出，从而降低计算成本和索引大小，同时保持强大的安全性。哈希值的10字符base64url编码在性能、抗碰撞性和索引效率之间提供了平衡。 这次经历强调了彻底测试、挑战假设以及理解底层技术（如B树索引和哈希算法）的重要性。最终的解决方案提供了一个功能性的API密钥系统和宝贵的经验教训。

彼得·马加尔最近在匈牙利的选举胜利促使欧盟委员会主席乌尔苏拉·冯德莱恩推动取消欧盟成员国的否决权。此举直接回应了奥尔班支持者的一种担忧——一个更强大、不受制衡的欧盟能够在关键问题上果断行动，例如外交政策、健康和移民。 预计马加尔将优先解决与布鲁塞尔的争端，以释放350亿欧元的资金，这表明他将转向一种更具建设性的关系。虽然他保持了右翼立场和对边境保护的承诺，但他似乎愿意与欧盟合作，这与他的前任不同，前任经常利用否决权——特别是关于对乌克兰的援助和对俄罗斯的制裁——来阻碍欧盟措施。 冯德莱恩认为，现在是过渡到多数决投票的“势头”。然而，有些人，例如波兰议员埃娃·扎扬奇科夫斯卡-赫尼克，认为这侵蚀了国家主权，并且是欧盟“伪精英”的权力攫取。

## Enlightenment E16 与一个20年的Bug 作者是一位长期使用轻量级Enlightenment E16窗口管理器（最初于1997年发布）的用户，详细描述了他修复一个罕见、存在十多年的bug的经历。在使用Atril处理PDF时，桌面冻结，最终追溯到imlib2字体渲染中的一个缺陷——具体来说，是牛顿算法在截断长窗口标题时的错误实现。 这个bug在将标题拟合到有限空间时导致无限循环，牛顿方法中缺少关键的迭代限制。作者通过限制迭代次数、向下取整以防止除以零以及确保终止来解决了这个问题。 这次经历突出了现代软件与稳定但老化的系统之间的权衡。虽然较新的软件会引入新的bug和供应链漏洞（例如XZ Utils后门），但维护较旧的代码库可以实现直接控制和降低bug率——前提是有专门的维护者。作者提倡自给自足的好处以及像E16这样维护良好、"老旧"软件的稳定性。

## PCBWay 评测 & BurgerDisk 项目更新 最近，PCBWay 提供了赞助来评测他们的服务，用于 BurgerDisk 项目。作者最初犹豫不决，因为重视独立性。 之前曾使用 PCBWay 制作 BurgerDisk 的早期版本，他们接受了赞助，认为该服务对原型制作来说价格实惠——5 片双层 PCB 大约 12 美元。 他们之前切换到 JLCPCB 是因为支付选项，但 PCBWay 现在提供了更方便的替代方案。 虽然 JLCPCB 的自动化 BOM 功能很有用，但作者强调可能会出现错误（例如缺少接地层）。 PCBWay 更手动的方式，在制造前进行审核，感觉更安全，即使速度较慢。 作者通过订购一个全尺寸 SD 卡模块进行了测试，该模块在 AliExpress 上无法找到带有必要电平转换器的版本。 PCBWay 对开源的支持是一个主要吸引力，为 Kicad 设计提供 10% 的项目贡献，并提供“分享 & 销售”平台，方便开源制造。 20 个 SD 模块的成本为 75 美元（每个 3.75 美元），略高于 JLCPCB，但额外的质量控制和社区支持是合理的——PCBWay 大力捐赠给 Kicad 等项目。 总体而言，体验是积极的，尤其欣赏人工审核流程。

## Agile 的衰落：回顾 本文认为，“Agile”尽管被广泛采用，但实际上是为解决一个早已被解决的问题而存在的——这个问题的解决方案早在几十年前的软件工程实践中就已存在。作者认为，《Agile 宣言》提供了一些含糊的原则，这些原则常常以缺乏具体定义的“真正的 Agile”为借口进行辩护。 关键在于，迭代开发、客户参与和原型设计这些核心理念，早在 1970 年就被温斯顿·罗伊斯等工程师所倡导，比《宣言》早了 25 多年。Agile 主要通过它*不是什么*来定义自己——瀑布模型——而瀑布模型本身已经被理解为存在局限性。 大型语言模型 (LLMs) 的兴起现在正在推动回归全面的文档和规范，证明了详细的规划实际上可以*产生*可用的软件——这直接与 Agile 优先考虑“可用的软件而非全面的文档”相矛盾。最终，作者认为 Agile 只是对现有思想的重新包装，它的时代已经过去，并倡导回归健全的规范和设计实践。

安杰伊·奥德日沃沃克最近发表的论文提出，所有初等函数都可以仅使用函数 *E(x,y) = exp x - log y*、变量和常数1来表达，他称之为“EML项”。虽然这一说法在网上引起了兴奋，但其有效性取决于“初等函数”的定义。 奥德日沃沃克使用一组包含36个特定符号的定义来定义“初等”，在他的定义下，他的定理成立，并接受对标准对数的修改。然而，传统的数学定义，源于19世纪李ouville等数学家的工作，包括代数函数和任意多项式根。 该论文的核心论点在于证明EML项具有“可解的单调群”，这是科瓦斯基拓扑伽罗瓦理论中的一个概念。然而，作者认为这不足以支撑他的结论。具体来说，EML项*无法*表示像一般五次方程的根这样的函数，而这需要一个不可解的单调群。因此，可以用EML项表达的函数类别是标准初等函数的严格子集，这意味着该论文的广泛主张在传统的数学理解下并不成立。

## 最佳锻炼时间以优化健康 最新研究表明，最佳锻炼时间并非一成不变，而是应与您的自然生物钟相协调。一项针对40多岁和50多岁成年人的研究发现，“早起者”从早晨锻炼中获益最多，而“夜猫子”则在晚上锻炼时效果更佳。 将锻炼与您的生理类型（您自然的清醒偏好）相匹配，可以改善血压、健身水平、睡眠质量和代谢指标。研究人员认为，这是由于内部时钟对全天激素水平和能量的影响。 专家强调一致性是关键，提倡设定小而可实现的目标。虽然健身房正在适应以提供灵活的时间，但优先进行规律的运动比严格的时间安排更重要。建议结合有氧运动和力量训练，例如靠墙深蹲或平板支撑，以促进整体健康。 进一步的研究仍在进行中，但研究结果支持根据个体的生物节律来调整锻炼计划。