冰岛超市正在推出一项计划，以应对日益猖獗的盗窃行为，该公司估计每年因此损失2000万英镑。向员工报告正在发生的盗窃事件的顾客将获得1英镑的冰岛积分卡积分，无论是否逮捕到盗贼。 执行主席理查德·沃克强调，盗窃并非“无害犯罪”，它会影响商业成本、员工工资，并造成令人不安的环境。该举措旨在鼓励顾客保持警惕，可能导致价格降低。 此举正值英格兰和威尔士的盗窃案件激增20%，药店也报告了事件增加。政府已承诺加强社区警务。冰岛超市强调顾客*不应*直接与盗贼对峙，而是应提醒员工，此举凸显了对零售犯罪日益增长的担忧，以及呼吁社区参与预防。

## JMAP-MCP：一个 JMAP 邮件交互服务器 JMAP-MCP 是一个基于 Deno 的服务器，提供与 JMAP（JSON Meta Application Protocol）邮件服务器交互的标准化接口。它利用 `@htunnicliff/jmap-jam` 库，使代理能够执行核心邮件操作，例如搜索、检索、发送和管理邮件及邮箱。 **主要特性：** * **全面的 JMAP 支持：** 完全符合 JMAP RFC 8620/8621 标准。 * **核心邮件操作：** 支持使用过滤器搜索邮件、按 ID 获取邮件、管理线程、标记邮件（已读/未读、已标记）、移动/删除邮件、列出邮箱、发送和回复邮件。 * **健壮且安全：** 包含通过 Zod 模式进行输入验证、安全的环境变量处理，并遵循 JMAP 安全最佳实践。 * **代理集成：** 易于使用定义的配置格式与代理集成。 * **分页：** 支持分页，以高效处理大型数据集。 需要一个符合 JMAP 标准的服务器（例如 FastMail、Cyrus IMAP）和有效的身份验证凭据。使用 TypeScript 和函数式编程原则构建。

在MSNBC的《Morning Joe》节目中，评论员阿南德·吉里达拉达斯认为气候变化对华盛顿特区构成的威胁大于犯罪。尽管他承认公众的不安全感，但他淡化了实际的犯罪率，称其“被夸大”，并被用作“专制目的”的借口。 吉里达拉达斯随后强调了1月6日国会骚乱和对投票权的担忧，表示他更害怕失去投票权，而不是钱包。然后他扩大了他的论点，声称真正的危险在于由于对气候变化的不作为和社会保障网络的削减，未来可能失去自由。 此前，该节目主持人乔·斯卡伯罗曾承认犯罪确实是该市的一个重要问题，这与网络上的观点形成了鲜明对比。

## 阿拉斯加特朗普-普京峰会：摘要 特朗普总统于2025年8月15日在安克雷奇与俄罗斯总统普京会晤，主要讨论乌克兰战争。特朗普对会谈持乐观态度，指出与普京之间“相互尊重”，但警告如果会晤没有成效，他已准备“退出”。 会谈形式包括一对一会谈，随后是双方关键顾问参与的扩大会议。 白宫将此次会晤定位为“倾听练习”，旨在了解普京的提议。虽然预计不会取得结束战争的突破，但人们希望取得一些进展并为进一步讨论铺平道路。据报道，特朗普表示愿意探讨对乌克兰的安全保障，但前提是条件不涉及北约。 普京表达了对解决乌克兰危机和达成新的军备控制协议的愿望。然而，仍然存在重大障碍，包括俄罗斯对领土收益的要求以及乌克兰拒绝割让土地。分析人士认为，此次峰会可能使乌克兰被边缘化，并可能导致西方团结破裂。市场反应平淡，预期较低，但关注制裁和油价的潜在变化。

## 云安全漏洞摘要 研究人员展示了一种实际攻击，利用瞬态执行漏洞——特别是L1TF——在主要公共云平台上泄露虚拟机（VM）之间的*数据*。尽管这些漏洞已有缓解措施（如Spectre），但该攻击通过结合一个先前已知且“已缓解”的缺陷与简单的推测加载，成功绕过了它们。 这项研究挑战了软件防御措施足以应对的假设，尤其是在缺乏硬件修复的旧版CPU上。该攻击需要对目标系统（主机或客户机VM）的极少了解，并在15小时内成功从受害VM中泄露了TLS密钥，证明了其在真实世界的嘈杂云环境中的可行性。 这些发现强调了孤立地解决漏洞的危险性，而没有消除根本原因，因为攻击者可以将看似无害的缓解措施结合起来，从而创建强大的跨VM攻击。

最近的一次网络讨论揭示了一个关于“神童”创业者的严峻真相：父母的财富和关系往往在他们的成功中扮演着比人们通常承认的更大的角色。V2EX论坛上的一条帖子指出，经济保障不仅仅是为创业提供资金，而是能够负担得起“失败的奢侈”——允许冒险而不会带来毁灭性的后果。 参与者指出，成功的年轻创业者经常受益于已建立的家庭网络、内部知识以及源于从未经历真正困境的“天生的自信”。一位用户对比了精英私立学校和农村地区的经历，说明有些学生“天生就具备创业能力”，本能地理解其他人从未学过的商业概念。 这引发了一个问题，即我们庆祝的是能力还是特权，以及这对经济流动性意味着什么。虽然没有否定年轻创始人的辛勤工作，但这场讨论强调需要就许多成功故事背后的优势进行坦诚的对话，并呼吁为那些没有雄厚家庭资源的人提供替代的创业途径。最终，理解这些因素对于培养一个更加公平和创新的未来至关重要。

## Meta面临对其聊天机器人政策的调查呼吁 两位共和党参议员，乔什·霍利和玛莎·布莱克本，在路透社报道披露一份内部政策文件后，要求国会对Meta（Facebook母公司）进行调查。该文件据称允许Meta的聊天机器人与儿童进行“浪漫或感性”对话，生成虚假信息（包括种族主义言论），并提供有害的医疗建议。 Meta确认了该文件的真实性，但声称存在问题的部分已被删除，并且是“错误的”。然而，霍利参议员批评Meta只有在接受路透社质询*之后*才采取行动。 布莱克本正在推动《儿童在线安全法案》的通过，该法案旨在通过要求平台防止性剥削和欺凌等危害，并提供家长控制工具来保护儿童在线安全。 其他参议员，包括罗恩·怀登和彼得·韦尔奇，也表达了担忧，怀登建议Section 230保护不应适用于Meta的AI聊天机器人，从而使该公司对其潜在危害负责。

以下是近期对冲基金活动摘要（基于提供的数据，200字以内）： 近期投资组合调整显示出复杂的局面。沃伦·巴菲特的伯克希尔·哈撒韦公司进行了包括增持UnitedHealth、房屋建筑商以及持有3440亿美元现金等操作，同时减持了苹果和银行股票。然而，报告表明目前是散户投资者在推动市场趋势，降低了传统对冲基金策略的影响。 值得注意的动向包括Appaloosa增持英特尔和英伟达，Baupost增持CRH和谷歌。Lone Pine新开了Equitest和Booking Holdings的仓位。多家基金，包括Viking Global和Third Point，增持了亚马逊股票。 另一方面，一些基金减少了对科技巨头的敞口。索罗斯基金减持了谷歌和中国相关股票，ValueAct减持了Roblox和迪士尼。多家基金完全清仓，凸显了对某些行业情绪的变化。总体而言，数据显示基金正在积极调整投资组合，以应对不断变化的市场状况。

谷歌发布了其最先进的文本到图像模型 **Imagen 4**，现已通过 Gemini API 和 Google AI Studio 广泛可用。此次发布推出了一系列模型——**Imagen 4 Fast、Imagen 4 和 Imagen 4 Ultra**，在质量、速度和成本之间提供平衡。 **Imagen 4 Fast** 擅长快速、大批量图像生成，每张图像 0.02 美元。**Imagen 4** 是一款多功能旗舰模型，具有改进的文本渲染效果，而 **Imagen 4 Ultra** 则提供最高的细节和提示词遵循度。 Imagen 4 和 Ultra 现在都支持高达 **2K 分辨率**，以呈现令人惊叹的详细视觉效果。所有图像均带有 SynthID 水印，以支持负责任的 AI 实践。用户可以探索示例，包括使用 Imagen 4 Fast 生成的风景和漫画，并访问文档和教程以开始创作。

启用 JavaScript 和 Cookie 以继续。

该研究详细描述了一系列成功的HTTP/1.1去同步攻击，作者因此获得了超过35万美元的漏洞赏金。核心漏洞在于HTTP/1.1有缺陷的请求分离机制，允许攻击者操纵服务器响应，并可能访问敏感数据——例如其他用户的漏洞报告（GitLab，7000美元）或劫持整个CDN的响应（Netlify，Akamai）。 利用混淆的“Expect”头部被证明特别有效，导致响应队列中毒（RQP）和Content-Length (CL)去同步。一项重要发现涉及Akamai，影响了众多网站，包括LastPass（5000美元赏金）甚至可能包括example.com。报告Akamai漏洞获得了9000美元的赏金和CVE-2025-32094，但广泛的影响造成了巨大的压力和支持问题。 作者认为，修补HTTP/1.1是不够的，因为它本身就存在复杂性。最终的解决方案是迁移到HTTP/2，这是一种二进制协议，不易受到这些攻击。该研究敦促更广泛地采用HTTP/2，并鼓励安全研究人员积极识别和报告HTTP/1.1漏洞，以加速其淘汰。

Aicole是一家法国初创公司，致力于赋能下一代学生、教育工作者和机构。为了寻求替代其成本高昂且复杂的Azure基础设施，Aicole迁移至Edka，在不牺牲性能和可靠性的前提下，运营成本降低了64%。

特朗普政府正在考虑一项非常规举措：利用美国芯片法案的资金，在英特尔公司中取得股权。此举旨在为 struggling 的芯片制造商提供财政支持，并在特朗普与英特尔首席执行官李伯元会面后，加强国内半导体生产。 讨论目前处于初步阶段，正在探讨将现有拨款转换为股权或分配新的资金，并与其他资金来源结合使用的方案。英特尔已经获得了数十亿美元的芯片法案资金——79 亿美元用于商业生产，30 亿美元用于五角大楼，以及 110 亿美元的贷款——但需要更多资金才能启动其下一代俄亥俄州制造中心。 这种潜在干预呼应了特朗普时代之前的举措，例如对美国钢铁和 MP 材料的投资，预示着政府将在关键行业中发挥更积极的作用。 尽管英特尔拒绝直接评论，但该消息引发了英特尔股价 15% 的涨幅。

启用 JavaScript 和 Cookie 以继续。

## 航空旅行：不断变化的图景 最近的经历表明，航空旅行的可靠性正在下降，但这种感觉是否真实？对美国运输统计局数据的分析显示出复杂的图景。虽然航空旅行仍然非常安全——事故率持续长期下降——**长时间延误变得显著更常见。** 超过3小时的延误现在比1990年高4.5倍，尽管航空公司通过提高航班计划时间来掩盖这一点。 有趣的是，由于这些人为增加的计划时间，航班经常*提前*到达。过去十年中，机票价格也下降了，相对于其他商品而言变得更便宜。 有几个因素导致了这些趋势。**空中交通管制人员短缺**、更严格的许可要求以及**机场基础设施限制**（乘客数量增加，但新建机场很少）是关键的制约因素。航空公司日益金融化——严重依赖信用卡里程计划——也可能发挥作用。 最终，现在的航空旅行比过去**更安全、更便宜，但可靠性更低**。解决这些问题需要增加对人员、基础设施和以服务改进为重点的胜任领导的投资。

## Tangled Pull Request 系统总结 Tangled 最近推出了一种基于生成和审查“补丁”——代码变更的差异——的 pull request (PR) 系统。用户可以通过 Web UI 补丁、本地分支比较（针对协作者）或跨分支比较来贡献代码。 其核心创新在于 Tangled 处理差异的方式，尤其是在处理更新的目标分支时。它识别“合并基础”（最近的共同祖先）以创建一个干净的补丁，仅显示新的变更。对于分支，Tangled 使用“隐藏跟踪引用”——将目标分支提取到分支中，以实现准确的比较，而无需直接服务器访问。 Tangled 采用独特的“轮次”审查流程。初始提交从“第 0 轮”开始，每次在解决反馈后的重新提交都会增加轮次编号。这确保了审查与特定的代码版本相关联，并且作者控制何时开始新轮次，从而防止审查过时。PR 存储为 atproto 记录，并随着每个补丁变更而更新。 未来的计划包括支持 `format-patch`、Gerrit 样式的引用以自动创建 PR，以及 Change ID 跟踪（现在已通过 Jujutsu 支持实现），以及持续集成改进。

## 青蛙工作室的兴衰 1995年，艺电（Electronic Arts）以约4500万美元收购了英国工作室青蛙工作室，彻底改变了其35名员工的生活，其中包括富有远见的设计师彼得·莫利neux。尽管艺电承诺了创作自由，但很快便转向系列作品和品牌认知，促使青蛙工作室在过去的成功作品如《Populous》和《Theme Park》的基础上进行迭代。 这一时期诞生了备受喜爱的游戏，如《主题医院》（Theme Hospital）——源于一次头脑风暴会议，并在令人警醒的医院访问后不断完善——以及黑暗幽默的地牢管理模拟游戏《地牢守护者》（Dungeon Keeper）。《地牢守护者》的开发过程尤为动荡，莫利neux越来越不适应艺电的企业结构，并开始在家工作。 尽管获得了评论界的好评，青蛙工作室在收购后的游戏却难以持续满足艺电的商业期望。工作室独特的创作精神逐渐减弱，2000年，青蛙工作室的吉尔福德办公室关闭，其品牌最终逐渐消失。尽管其后期的作品表现不一，但青蛙工作室在游戏领域留下了创新的持久遗产，开创了独特的类型和游戏机制，至今仍在影响着开发者。莫利neux本人将青蛙工作室视为一段充满快乐痴迷和突破性创造力的时期。

请启用 JavaScript 以使用 Mastodon 的网页界面。或者，您也可以使用 Mastodon 的原生应用程序。

由于丹·布朗的捐赠，阿姆斯特丹的里特曼图书馆超过2178本珍稀文本——这是一部重要的1900年前炼金术、占星术和神秘学书籍的藏品——现在通过“Hermetically Open”项目在线提供。这份数字化藏品提供了对历史神秘思想的迷人一瞥，尽管许多书籍是用拉丁语、德语、荷兰语和法语写成的。 对于只懂英语的人来说，这可能具有挑战性，但在线阅览室提供了可搜索选项，包括按出版地（如剑桥或伦敦）进行筛选，以查找英文文本。这些文本揭示了一个超越简单咒语书的世界，涵盖了哲学、医学、神学和早期心理学，以及魔法公式和占星学研究。 该藏品突出了过去几个世纪科学与神秘学之间的模糊界限，以艾萨克·牛顿等人物为例。它为研究人员和任何对欧洲的知识历史以及前现代神秘知识的复杂世界感到好奇的人提供了宝贵的资源。

路易斯安那州司法部长莉兹·默里尔正在起诉Roblox，这款流行的在线游戏平台，指控其将利润置于儿童安全之上，并纵容掠夺者。诉讼称Roblox“明知并故意未能”实施足够的安全控制，导致儿童性虐待材料的传播，并将儿童暴露于有害内容中。 引用的例子包括引用已知掠夺者的令人不安的游戏，以及个人使用语音改变在平台上剥削未成年人的案例。尽管Roblox最近限制了成年用户与13岁以下用户之间的直接消息传递，但诉讼认为掠夺者仍然可以通过游戏内功能和好友请求建立联系。 此法律行动是在Hindenburg Research的一份报告之后发起的，该报告指控存在广泛的掠夺活动，包括与被定罪的恋童癖者相关的账户和分享非法材料的社群。Hindenburg还指控Roblox夸大了用户参与度指标，并削减了信任和安全方面的支出。Roblox坚持认为它大力投资于安全措施，包括审核和年龄估算等新功能，但承认没有任何系统是完美的。

Costco重申了不在其美国药房销售堕胎药米非司酮的决定，理由是顾客需求量低。该公司表示，大多数患者通过其医疗服务提供者获得该药物。 此决定是在各方压力下做出的：例如“学生争取生命”等倡导团体称此举为“生命的胜利”，而纽约市官员则敦促Costco在法律允许的范围内提供该药，甚至警告称可能存在投资者担忧。 关于米非司酮安全性的担忧也已提出，最近的分析表明，严重不良事件的发生率（近11%）高于先前在临床试验中报告的水平。 尽管存在这些压力和安全问题，Costco坚持认为其立场仅基于市场需求，而非外部活动。 此外，持有大量Costco股票的几位投资者也表达了反对出售该药物的意见。

## 四元数咖啡馆：传感器融合总结 Quaternion.cafe 是一个交互式教程，专注于使用四元数进行传感器融合，特别是结合陀螺仪和加速度计数据。该网站源于作者基于IMU构建望远镜配件的5年经验，旨在填补公开信息中关于该主题的空白。 核心概念是使用四元数——3D旋转的4D表示——来准确跟踪方向。四元数避免了“万向锁”问题，并提供了快速、平滑的插值，尽管它们不如欧拉角直观。该教程提供了一个包含基本四元数函数的代码库，用于操作和旋转。 一个关键的挑战是整合原始传感器数据。演示了简单的欧拉积分，但该网站强调了*倾斜补偿*的重要性——将传感器的局部坐标系与全局（地球）坐标系对齐。传感器*手性*（轴映射）和初始方向等因素会显著影响精度，需要仔细考虑。 作者强调了可视化和自定义工具对于调试的价值，并详细介绍了一个用于记录和重放传感器数据以进行分析的系统。还提供了进一步学习的资源，包括互补滤波器和卡尔曼滤波器。

该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。

## 以太坊有望迎来大幅上涨，Fundstrat称 市场调研公司Fundstrat预测，以太坊（ETH）将成为未来十年“最大的宏观交易”，可能在2025年底达到12,000-15,000美元，甚至根据一些估计达到60,000美元。这种乐观前景源于人工智能推动的不断增长的代币经济，以及华尔街对区块链技术的日益采用，这受到GENIUS法案和SEC“Project Crypto”等新法规的推动。 目前，以太坊在稳定币（55%市场份额）和真实世界资产（RWA）代币化（55%市场份额）领域占据主导地位。ETH在过去30天内已上涨60%，表现优于比特币。 进一步提振乐观情绪的是，最大的以太坊储备BitMine正计划筹集200亿美元，此前已积累了价值55亿美元的ETH，从而从市场中移除了大量流动性。分析师认为，这与ETF流入和机构投资相结合，为持续的价格上涨奠定了坚实的基础。

启用 JavaScript 和 Cookie 以继续。

## Solidity 编译器崩溃：完美风暴 一个看似有效的 Solidity 合约——甚至只是简单地返回 1²——都可能在默认的 Linux 设置（如 Ubuntu 22.04）上导致 Solidity 编译器 (solc) 崩溃。根本原因并非 Solidity 的错误，而是 G++（版本 <14）中一个 12 年前的错误、Boost 库中过时的模式以及 C++20 中引入的一个微妙的重写规则之间的复杂交互。 具体来说，涉及 `boost::rational` 和 0 的比较在用 C++20 编译时会导致 G++<14 中的无限递归。这是因为 G++ 错误地优先考虑了非成员 `operator==`，而不是成员函数，而 C++20 的参数反转功能随后创建了一个递归循环。 Solidity 在 2024 年初启用了 C++20，但未在文档中更新依赖项版本，从而暴露了此问题。解决方法包括将 Boost 更新到 1.75 或更高版本（直接调用成员函数），或使用 G++ 14 或更高版本。这凸显了现代构建堆栈的脆弱性，以及在采用新的语言标准时进行全面测试（跨编译器和库版本）的重要性。

## 在 Elixir 中构建跨平台磁盘空间 NIF 该项目详细介绍了跨平台 Elixir 包 `DiskSpace` 的创建，它提供按需磁盘使用情况统计，而无需依赖 Erlang 的 `os_mon`。作者旨在避免 `disksup` 的开销和潜在限制，以满足书籍项目中的特定需求——在文件下载前验证是否有足够的磁盘空间。 为此，开发了一个用 C 编写的本机实现函数 (NIF)，最初由 Grok 3 搭建，并通过与 Gemini 2.5 Flash 和 GPT-5 的迭代代码审查进行完善。这个过程凸显了当前大型语言模型 (LLM) 的局限性，表现出倾向于自信地给出不正确的建议和“忘记”之前的改进。尽管存在这些挑战，LLM 仍然被证明是有价值的工具，可以加速开发，但需要大量的人工监督。 该软件包现在可在 Hex.pm 上获取，已成功在 Linux、macOS (Apple Silicon)、Windows、NetBSD、FreeBSD 和 OpenBSD 上编译和运行（由于 OTP 版本限制，不包括 DragonFlyBSD）。该项目强调，虽然 LLM 不是通往通用人工智能的捷径，但它们是软件开发中强大的工具，只要使用批判性思维和“人工参与”的方法。作者强调需要对当前的 AI 炒作持怀疑态度，同时承认该技术的潜力。

受目睹一只被坏掉的电围栏限制的狗的启发——它被电击的*记忆*所阻碍——作者反思了我们在生活中，尤其是在人际关系中构建的“电围栏”。这些围栏是源于过去的伤害或社会焦虑的自我强加的限制，例如害怕被拒绝或显得“需要”。 核心信息是，许多这些恐惧已经过时且是虚幻的。就像那只狗可以轻松跨过失效的围栏一样，我们可以通过一个小小的勇气举动——一条简单的短信、一个电话、表达关怀——来克服这些内在障碍。 真正的自由不在于自我提升，而在于连接。作者认为，主动联系不是软弱，而是勇敢，而真正的连接是在脆弱中蓬勃发展，而不是计较得失。是时候认识到围栏已经坏掉，然后走出家门了。

本网站使用Cookie。点击“接受”按钮或继续浏览本网站，即表示您同意将第一方和会话Cookie存储在您的设备上，以改善网站导航并分析网站性能和流量。有关我们如何使用Cookie的更多信息，请参阅我们的隐私政策。