Core Viewpoint - The article highlights the personal journey of Dong, emphasizing how his early struggles and experiences shaped his values and approach to business, as well as his commitment to giving back to the community [1][2]. Group 1: Personal Background - Dong faced financial difficulties in 1992, gathering 76 eggs and 500 yuan from relatives to fund his education at Renmin University [1]. - Upon arriving in Beijing, he economized by eating eggs for every meal for a week [2]. Group 2: Educational Impact - Dong regards his university years as the most important four years of his life, with the university's motto of "seeking truth from facts" significantly influencing his principles [2]. Group 3: Philanthropy and Contributions - After achieving success, Dong has given back to his hometown, distributing cash gifts to elderly residents and providing annual gift packages, totaling over 30 million yuan [2]. - In 2017, Dong made a record donation of 300 million yuan to his alma mater, Renmin University, marking the highest donation in the university's history [2].

5 月 6 日 Skype 发推正式停运。 其实 Skype 早在 3 月已经发过停运预告，详见之前的推文：《 再见！Skype！—— 代码不朽，但时代无 情 》 ...

5 月 2 日有些哪吒车主反馈哪吒 APP 断网。 媒体报道说 5 日恢复正常。 知情人士： 之前断网因流量欠费，假期无人看管 还看有个网友留言调侃：欠费就去"某数字借条"借啊，秒到账。 但哪吒汽车官方否认该说法，称技术团队假期在岗值班，初步归因为系统故障 趣图: 程序员在遗留项目添加新代码 是一种什么体验 往期趣图 （点击下方图片可跳转阅读） ...

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].