0x15 架构图 C4 模型的四层抽象

1. 共同抽象比共同记号更重要在电气工程里，电阻有好几种符号，但电阻有真实存在的对象，虽然记号有好几种，对象是明确的。软件行业也有 UML、SysML、ArchiMate 这些共同符号，但像组件（component）这样的词定义却是含糊的。

实测腾讯Hy4：我用它复刻《王者荣耀》，WorkBuddy 真能接大活了

我把王者荣耀打开录了段视频，拖进 WorkBuddy，心里其实是有点虚的。一句话概括当时的心情：“行，你说你能复刻，那我就拿这全国人民都认识的，看看你到底行不行。

4岁儿子学英语，我用混元Hy4做了个网站：7轮对话，一行代码没写

Hy4 发布，CodeBuddy 限免到 15 号，别当成永久免费

今天确实发布了，也确实能免费用。但「免费」后面跟着一串限定条件。我把公告和官方文档翻完，头一个想记下来的反倒是这些条件。中午刷手机，看到腾讯混元发新模型的消息。Hy4，正式版。我第一反应不是去看跑分，是去翻日期。

实测腾讯Hy4：我用它复刻《王者荣耀》，WorkBuddy 真能接大活了

根据 Hy4 的模型技术博客，这次 Hy4 在多个 Benchmark 上的表现都比之前的预览版要更好，直接来到了最强开源模型之列，超过 DeepSeek V4.1 Flash，GLM-5.3，Kimi K3.1 Pro 等多款国产模型。

准备升级澎湃OS4，12款适配机型基线版本区分干货

不少小米和REDMI的机主最近都在蹲澎湃OS4的推送消息，官方已经正式公布适配推送计划，一共12款机型可以升级。很多人看到推送名单第一反应就是，只要在名单里面，升级之后体验就完全一致。

混元Hy4实测：基模有了视觉、Agen能跨应用，干活能力到底如何？

11月4日，腾讯混元正式推出新一代大语言模型Hy4，并且旗下AI助手元宝也同步完成了能力接入。现在，在元宝App、PC客户端、网页端，用户都能把模型切换到Hy4使用。

澎湃OS4砍掉MIUI老代码，真实日常差距到底有多大

很多小米老用户都有一个共同感受：MIUI好用，但手机用久了，总会慢慢变卡。哪怕清理缓存、重启手机，用上大半年之后，打开相册滑动、切换APP，偶尔还是会出现掉帧、动画卡顿，后台软件动不动就重载。这个问题，根源就是MIUI十几年迭代积攒下来的大量遗留冗余代码。

手机清理内存别再乱点，这4个隐藏代码，普通机主很少会正确使用

不知道大家有没有这种感受，手机用了一年多，明明照片、视频已经删了不少，APP也卸载了好几个，可存储空间还是天天告急，动不动就弹出内存不足的提示。点开存储一看，其他杂项缓存占了一大块，自己又分不清哪些能删、哪些碰都不能碰。

REA「逆向一切」实测：Gemini 4 Argon和GLM 5.3 复刻故宫名画记，细节决定还原度

逆向工具可以帮模型找出软件的结构与行为，但哪些功能该保留、哪些细节不能省，仍要由模型判断。作者丨吴海明编辑丨李娜 岑峰01软件已死？AI开始逆向复刻显示世界“Software is done.（软件已死）。