小米汽车更名事件 - 2025年5月4日小米汽车将新车订购页面的"智驾"宣传语统一更名为"辅助驾驶" [1] - 具体修改包括：SU7标准版的"小米智驾Pro"改为"小米辅助驾驶Pro" SU7 Pro/Max版的"小米智驾Max"改为"小米端到端辅助驾驶" [5] 监管政策驱动 - 4月16日工信部明确禁止车企使用"智驾"或"自动驾驶"等易引发误解的术语 要求采用"辅助驾驶"或"智驾等级+辅助驾驶"的规范命名 [6] - 4月21日中国汽车工业协会发布倡议书 要求车企严格遵循《汽车驾驶自动化分级》国家标准 禁止夸大宣传和误导性命名 [7] 行业集体响应 - 特斯拉3月25日将中国官网的"Autopilot自动辅助驾驶套件"更名为"辅助驾驶套件" [8] - 比亚迪将"高阶智驾"更名为"驾驶辅助" 理想汽车将"智驾版"改为"智能版" 地平线和小鹏也同步调整相关宣传术语 [8] 安全责任考量 - 3月底小米SU7事故暴露"智驾"宣传可能导致用户混淆功能边界 更名旨在明确技术定位并降低误操作风险 [7] - 行业通过统一术语强化责任意识 避免消费者将辅助驾驶与完全自动驾驶概念混淆 [7][8]

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

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

TikTok被欧盟罚款事件 核心观点 - TikTok因违反欧盟《通用数据保护条例（GDPR）》被爱尔兰数据保护委员会（DPC）处以5.3亿欧元（约43.62亿人民币）罚款，主要涉及欧盟用户数据未达到法律要求的保护级别[1] - 公司需在6个月内完成数据处理合规整改[2] 事件细节 - **罚款依据**：GDPR第83条规定的第二级罚款标准（最高全球年收入4%），涉及核心原则违规[8] - **历史罚款**：2023年因儿童数据处理不合规被罚3.45亿欧元[5] TikTok回应 - 公司表示强烈反对并计划上诉，声称已采用欧盟标准合同条款控制数据访问，且2023年推出的安全措施已解决大部分问题[3] 监管背景 - DPC是GDPR主要执行机构，监管Meta、TikTok等科技巨头[6] - GDPR自2018年实施后，对大规模数据处理活动监管趋严[7]

Redis再度开源事件分析 核心观点 - Redis之父Antirez推动Redis重新采用AGPLv3开源许可证，标志着Redis项目回归开源社区[1][6][7] - Redis 8版本同步发布，引入新特性及核心性能提升[7] - 此次开源决策源于公司内部长期讨论，旨在解决社区认可度问题[6][7] 协议变更背景 - 2024年3月Redis公司曾将许可证改为RSALv2/SSPLv1双重许可，导致失去OSI认可的开源身份[2][3] - 变更动机为防止云厂商免费使用Redis代码[4][5] - 类似策略曾被MongoDB和Elastic等开源公司采用[5] 技术发展动态 - Redis 8新增向量集合(Vector Sets)数据类型，支持稠密向量和自定义搜索等AI相关功能[7][16] - Antirez强调API设计优势，新功能可通过RESP协议直接调用[16] 社区反应 - 部分开发者表示不信任Redis公司，倾向使用Valkey等分支版本[13][14] - 支持者认为AGPLv3符合道德标准，赞赏Antirez的回归[15][16] - 法务部门对AGPLv3的合规性存疑，BSD协议的竞品仍具吸引力[14] 公司历史沿革 - Antirez 2009年以BSD-3-Clause许可启动Redis项目[12] - Redis公司前身为Garantia Data，经多次更名和品牌整合[12] - 2020年Antirez退出时将知识产权转移给Redis公司[12] - 2024年12月Antirez回归并推动开源改革[1][12] 行业影响 - 开源许可证变更反映商业化与社区利益的平衡难题[4][5][14] - 事件可能影响其他采用非标准许可证的开源公司策略[15] - 向量集合功能显示Redis向AI基础设施领域扩展[7][16]

来源： 广州日报 编辑，综合字 九派新闻、橙柿互动、当事人社交账号、新黄河、海报新闻、新闻晨报、 CCTV 生活圈 近日 话题"月薪3万35岁程序员 长期熬夜导致脑干出血" 冲上微博热搜 刺痛职场人神经 35岁程序员长期熬夜 致脑干出血 据报道，该程序员姓吴，是一位有8年工作经验的程序员。 因长期熬夜，脑干出血5毫升，昏迷15天， 在ICU躺了28天。 他在接受媒体采访时表示， 自己从事的工作月薪3万元，每天早上7点起床凌晨一两 点睡下。 4月23日晚，当事人发长文讲述发病经过以及现状。他表示， 自己在ICU一共待了28天，后来又去康复 医院待了70多天， 回家之后也一直在康复和锻炼， 现在已经恢复了大约70%，但可能没有办法完全康 复了。 之前在一家创业型公司工作，当面临裁员时，精神压力比较大。生病之后，基本上没了收入， 家庭经济压力也比较大，女儿现在还小，自己也在想方设法考虑如何回归社会去挣钱，现在选择做自媒 体也是一个尝试。 吴先生在短视频平台分享自己康复前后状态对比。图源：视频截图 "现在的我看待生活，觉得让自己开心很重要，活得自由一点。之前想着我要挣钱，会在很多方面压制 自己，现在的话我觉得更多的可 ...

DeepSeek-Prover-V2-671B发布 - 公司于4月30日正式推出DeepSeek-Prover-V2-671B模型，标志着AI数学推理能力进入新阶段 [2][4] - 该模型基于6710亿参数混合专家（MoE）架构，专为Lean 4证明辅助框架优化 [4] 技术架构特性 - 采用动态参数激活机制，单次推理仅调用约370亿参数，平衡性能与计算效率 [4][6] - 上下文窗口约128k tokens，支持高阶数学证明中的复杂长逻辑链处理 [6][7] - 可能延续多头潜在注意力机制（MLA），显著降低KV缓存需求并提升吞吐量 [7] 核心突破价值 - 实现形式化数学的"GPT-4级"突破，处理复杂数学证明能力显著提升 [7] - MoE架构相比稠密模型大幅降低内存需求并提高运算速度 [7] - 开放商用许可，预计在Hugging Face开源权重，支持学术与工业应用 [7] 应用场景拓展 - 形式化验证：应用于密码学安全证明、芯片设计验证等自动化流程 [7] - 数学研究加速：辅助定理形式化、新猜想探索及奥赛级难题证明 [7] - 智能教育工具：构建可验证步骤的交互式数学教学系统 [7] - 关键系统安全：通过Lean集成验证核心代码逻辑的正确性 [7] 基础训练数据 - 基础预训练可能超过14.8万亿tokens（基于V3基础），提供广泛知识储备 [6]

以下文章来源于算法爱好者 ，作者算法爱好者 算法爱好者 . 算法是程序员的内功！「算法爱好者」专注分享算法相关文章、工具资源和算法题，帮程序员修炼内 功。 ❶ 离谱的事故 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 ...