Core Viewpoint - Xiaomi has changed its vehicle ordering page terminology from "Intelligent Driving" to "Assisted Driving" in response to stricter regulatory policies and safety considerations [4][5][6]. Regulatory Changes - The Ministry of Industry and Information Technology (MIIT) held a meeting on April 16, announcing that terms like "Intelligent Driving" and "Autonomous Driving" cannot be used loosely, as they may lead to misunderstandings. Car manufacturers must adopt the terminology "Assisted Driving" or "Intelligent Driving Level + Assisted Driving" [6]. Safety and Responsibility - The previous use of "Intelligent Driving" led to consumer confusion with "Autonomous Driving," resulting in potential misuse. An incident involving the Xiaomi SU7 highlighted the risks associated with vague terminology. The name change aims to clarify functionality and reduce the risk of user errors [7]. - The China Association of Automobile Manufacturers issued a statement urging car manufacturers to adhere to the national standards for advertising and naming driving assistance features, emphasizing the importance of clear and responsible communication to prevent dangerous misuse [7]. Industry-Wide Impact - Xiaomi's renaming is part of a broader trend, with several other car manufacturers also adjusting their terminology. Tesla, BYD, Li Auto, Horizon Robotics, and XPeng have all modified their promotional language to align with the new regulatory standards [8]. - This wave of renaming represents a significant shift in the intelligent driving industry, emphasizing safety and accountability in advertising practices [8].

作为一个技术 趣图博主， 必须要发这个技术趣图 ↓↓↓ 往期趣图 （点击下方图片可跳转阅读） ...

在用 Windows 的童鞋肯定发现了，Office 启动速度太慢啦。 不仅用户知道，微软也知道。 所以微软想到一个「妙招」： 推出"启动加速"功能，在 Windows 启动时预加载 Office 应用。 技术实现与系统要求 网友评论 这个消息在 HackerNews 引发热议，将近 1000 个留言，好多吐槽的。 网友：vjk800 我每天工作时都会使用办公软件，我真不明白那破玩意儿怎么能他妈这么慢。 它还严重影响工作效率；我经常拖延一些小任务，就因为我知道做这些任务的时间有一半都花在等待办公软件 的各个部分加载上了，而且不知怎么的，这真的让人压力很大。 好消息：Office 启动加快了 坏消息：Windows 启动时间变慢了 在 Windows 登录后延迟 10 分钟运行，确保系统处于稳定空闲状态。 预加载 Office 应用到内存中，保持暂停状态，直到用户实际启动应用或系统需要回收资源。 "启动加速"功能的具体实现包括以下步骤： 然而，这一功能并非适用于所有设备。根据官方要求，设备需满足以下条件： 禁用方法 有 3 种： 我来这儿就是为了找这个内容。这是个老思路了，在过去那个机械硬盘（读写速度慢）是限制 ...

TikTok 的反应 以下文章来源于算法爱好者 ，作者小蒜 除罚款外，DPC 还要求 TikTok 在 6 个月内使其数据处理符合《通用数据保护条例（GDPR）》规定。 TikTok 对此决定表示强烈反对，并计划上诉 。 算法爱好者 . 算法是程序员的内功！「算法爱好者」专注分享算法相关文章、工具资源和算法题，帮程序员修炼内 功。 2025 年 5 月 2 日， 据欧盟数据保护委员会官方和路透社消息，爱尔兰数据保护委员会（DPC）作为 TikTok 在欧盟的主要监管机构，宣布 对 TikTok 处以 5.3 亿欧元的行政罚款，折合人民币约 43.62 亿 。 DPC 专员表示，TikTok 未能证明欧盟用户的个人数据（其中一些数据可被中国的工作人员远程访问）得到了 欧盟法律所规定的高级别保护。 据路透社报道，TikTok 声称其已使用欧盟的标准合同条款（Standard Contractual Clauses）来控制数据访 问，并于 2023 年推出了数据安全措施，强调大部分批评已不适用。 PS：这并不是第一次被罚款。 2023 年，TikTok 被欧盟罚款 3.45 亿欧元，原因处理儿童用户数据不合规。 推 ...

Core Viewpoint - Redis has returned to open source under the AGPL license after a period of using dual licensing, which was not recognized by the Open Source Initiative (OSI) [1][3][6]. Group 1: Licensing Changes - Redis was initially released under the BSD-3-Clause license, which allowed commercial use without fees [2]. - In March 2024, Redis changed its licensing to a dual model (RSALv2 and SSPLv1), which led to the loss of its open-source status [3][4]. - The change was motivated by the desire to prevent cloud providers from using Redis without contributing back [4][5]. Group 2: Return to Open Source - Antirez, the creator of Redis, rejoined the project and advocated for a return to an open-source license, specifically AGPL, which gained internal support [6][7]. - The first version under the new AGPL license, Redis 8, was officially released on May 1, 2024, featuring new functionalities and performance improvements [7]. Group 3: Community Reactions - The community has mixed feelings about Redis's return to open source, with some expressing distrust while others support the decision [11][12][14]. - Comments from users highlight the importance of Redis in their development processes and the excitement surrounding new features [16][17].

Core Viewpoint - The article highlights the alarming health risks associated with long working hours and poor lifestyle choices, particularly in high-pressure jobs like programming, as exemplified by the case of a 35-year-old programmer who suffered a brainstem hemorrhage due to chronic late-night work and stress [3][14]. Group 1: Case Study of the Programmer - The programmer, Mr. Wu, experienced a brainstem hemorrhage of 5 milliliters, leading to a 15-day coma and 28 days in ICU, followed by over 70 days in rehabilitation [3][7]. - He reported a monthly salary of 30,000 yuan and a demanding work schedule, waking at 7 AM and sleeping around 1-2 AM [3][8]. - Post-recovery, he has regained about 70% of his health but acknowledges the likelihood of never fully recovering [7][9]. Group 2: Health Implications of Brainstem Hemorrhage - Brainstem hemorrhage has a high mortality rate of 80%, with even a small volume of bleeding (5 milliliters) being potentially fatal [15]. - Symptoms such as sudden headaches, vomiting, and limb numbness require immediate medical attention to improve survival rates [15][16]. Group 3: Causes and Prevention of Brainstem Hemorrhage - Contributing factors include the increasing prevalence of hypertension among young people, unhealthy lifestyle habits like late-night work, and substance abuse [16]. - Preventive measures suggested include regular blood pressure monitoring, maintaining a healthy diet, avoiding late nights, and steering clear of alcohol and tobacco [17][18]. Group 4: Recommendations for Healthy Living - Experts recommend that young individuals should aim to sleep before 11 PM to maintain overall health [18]. - The article emphasizes the importance of a balanced sleep schedule, suggesting that individuals should recharge adequately to avoid long-term health issues [19][20].

Core Viewpoint - DeepSeek has launched DeepSeek-Prover-V2-671B, marking a significant advancement in AI mathematical reasoning capabilities, particularly in automated theorem proving [2][4]. Group 1: Model Overview - DeepSeek-Prover-V2-671B is a next-generation automated theorem proving expert model with 671 billion parameters, optimized for proof generation and verification in the Lean 4 framework [4][6]. - The model employs a mixture of experts (MoE) architecture, activating approximately 37 billion parameters per inference, enhancing computational efficiency while maintaining strong reasoning capabilities [4][6]. Group 2: Key Breakthroughs - The release signifies three major milestones, including the potential for innovation across various application domains [6]. - The model's specifications include a context length of approximately 128,000 tokens, allowing it to handle complex reasoning chains and lengthy proofs [6][7]. - The attention mechanism is likely a multi-head latent attention (MLA), which compresses key-value (KV) cache, significantly reducing memory requirements [6][7]. Group 3: Applications and Impact - The model supports formal verification in areas such as cryptographic security proofs and chip design validation, enabling rigorous mathematical checks in automated processes [7]. - It aids mathematicians in formalizing theorems, exploring new conjectures, and proving complex mathematical problems, potentially accelerating mathematical research [7]. - The model can be utilized as an interactive educational tool, guiding students in mastering rigorous mathematical proof methods [7].

以下文章来源于算法爱好者 ，作者算法爱好者 算法爱好者 . 算法是程序员的内功！「算法爱好者」专注分享算法相关文章、工具资源和算法题，帮程序员修炼内 功。 ❶ 离谱的事故 4 月 28 日 17:40，数码荔枝发了 一个离谱的 故事 事故 。 有个 10 万多用户的软件，数据托管在腾讯云，因欠费 2 元，结果停服 7 天后，数据被删。 × l 0 1 2 . 我投诉了,他们那边反应就是欠费超过7天就删库 微软 Azure 的话,可以保留数据 半年。可惜了。没有备份 明? : 因为是云开发，他就没有备份能力啊 我中间有做过一次架构变化尝试,就是把数据库单独拎出 来,可惜没有做完 然后只有一些表给留下了,但是那些表偏偏又是非常没有价 價8 非常难受 是的 ·公众号· 算法爱好者 荔枝:微软 Azure 的话，可以保留数据 半年。可惜 沿有各份吗7 - 0 × ... 我的理解数据至少得保留 他们真的很喜欢直接删掉 请问这个事情我可以截图马赛克发一下推特吗? 我觉得完全可以 太离谱了,主要是 不指明软件,不露出头像 反震就是吐槽"腾讯云不够人性化" 呢,我相信有很多独立开发者,他们也是用的腾讯云。然后 我强烈建议大 ...

4 月 18 日， 外媒 WSJ 发了一篇几千字的马斯克的超级大瓜： "造娃大业"跟他的"后宫争端"！ 里面提到他本 人确认的娃有 14 个。 28 日， 马斯克在国内又上热搜了。 美国《大西洋月刊》的记者伊丽莎白最近在一档博客节目中表示，马斯克实际拥有的孩子数量可能已经超 过 100 个，远远高于目前公众所知道的 14 个。 （ 签保密协议，补偿费用 1500 万美刀。参考这篇旧文 ） 马斯克的娃 ≥ 100 个，离「军团」又进一步了。 ...

我因为 Linux 失去了妻子 ↓↓↓ 往期趣图 （点击下方图片可跳转阅读） 趣图 :" 说走咱就走 , 关闭页面用......" 趣图: 自动驾驶的困境 趣图: git merge new_branch ...