还有意外之喜，居然有雪映白！
未来摸鱼的心情更愉快了hhh.
幸亏我机智，多问了句！

- 阅读剩余部分 -

因为内容相关性较差本文没有发表在Linux用户站。

DeepSeek V4正式版来了，但只来了一半：Flash版“倒反天罡”，Agent能力暴打Pro预览版

xfox.fun/archives/{cid}/

因为内容相关性较差本文没有发表在 Linux 用户站

2026年7月31日午后，DeepSeek通过API文档发布日志，宣布DeepSeek-V4-Flash正式版API上线公测。消息一出，DeepSeek迅速冲上知乎热搜第一。

但与常规认知中“Pro强、Flash弱”的分层逻辑完全不同——这次Flash正式版在Agent能力上实现了对自家Pro预览版的全面反超。

一、“倒反天罡”：Flash凭什么暴打Pro Preview？

DeepSeek-V4-Flash正式版（模型版本号DeepSeek-V4-Flash-0731）的模型结构、尺寸与预览版完全一致——总参数2840亿，激活参数仅130亿。官方表示，仅重新进行了后训练。

就是这个“仅重新进行了后训练”，带来了质的飞跃。官方公布的9项Agent基准测试成绩如下：

最夸张的是DeepSWE测试——从预览版的7.3分暴涨到54.4分，性能提升超过6倍。而V4-Pro预览版在Terminal Bench 2.0上的得分仅为67.9分。

虽然Terminal Bench 2.0与2.1并非同一版本测试集，直接对比不完全公平，但一个激活参数仅130亿的轻量版模型，在Agent能力上跑出这样的分数，已经足够说明问题：后训练阶段的优化空间，可能比单纯堆参数更具杠杆效应。

海外模型评测机构Artificial Analysis在7月31日更新的智能指数测试中，给予V4-Flash-0731（最高推理档位）50分，在同类可比模型中明显高于平均水平（可比模型的中位数为17分）。

二、后训练仙人：同样的骨架，不同的灵魂

这次升级的技术路径值得深思。

DeepSeek官方明确表示，V4-Flash-0731的模型结构和尺寸与预览版完全一致，仅重新进行了后训练。这意味着DeepSeek在训练方法和数据质量上找到了突破口——同样的模型“骨架”，经过更精细的训练策略调优，就能在基准测试中产生质的飞跃。

DeepSeek-V4-Pro总参数1.6万亿，激活参数490亿；V4-Flash总参数2840亿，激活参数130亿。两者在模型规模上相差一个数量级。如果Flash能通过后训练把Agent能力拉到接近Pro预览版的水平，那意味着对于特定任务而言，模型规模并非决定性因素。

网友评论精辟：“DeepSeek这一波真的是后训练仙人了”。

此外，官方还特别注明，公开基准测试中的Code Agent任务使用了DeepSeek Harness极简模式作为框架进行测试。这是DeepSeek官方自研Harness首次以正式命名出现。据透露，DeepSeek的Harness团队组建于今年3月，挂帅者崔添翼是90后，浙大计算机出身，手握6枚ACM亚洲区域赛金牌。

三、生态暗战：原生支持Responses API，适配Codex

这次更新另一个值得关注的信号是生态层面的布局。

正式版V4-Flash原生支持Responses API格式，并针对性适配了Codex。Responses API是OpenAI用于统一处理模型输出、推理过程和工具调用的一套接口格式，也是Codex客户端与模型交互的主要接口之一。现在，开发者可以在Codex CLI、ChatGPT桌面端和VS Code的Codex插件中，将DeepSeek配置为模型提供方。

这意味着DeepSeek正在从模型层向工具链层渗透。目前Responses API只支持V4-Flash，V4-Pro预计8月初接入。

四、资本加持后的第一次技术兑现

这次升级距离DeepSeek完成首轮融资不到两个月。今年6月，DeepSeek完成首轮外部融资，总额超74亿美元（约合500亿元），投后估值超500亿美元（约合3380亿元） ，创下中国AI行业单轮融资纪录。

资本加持下的第一次技术兑现，Flash版交出了一份令人瞩目的成绩单。

五、美中不足：只来了一半

当然，也有一些遗憾。

本次升级仅限于DeepSeek-V4-Flash的API接口，DeepSeek-V4-Pro API及APP/WEB端模型均未做更改。大家常用的App和网页端暂时无法体验最新能力。

DeepSeek表示，V4-Pro正式版将会“尽快发布” 。有消息称V4-Pro预计8月初正式发布。

网友已经开始期待：“V4-Flash已经这么强，真不敢想象V4-Pro会有多强！该不会是明天吧！？”

六、行业视角：Agent战争的大幕刚刚拉开

如果说2023年的大模型竞争是“拼通用能力”，2024年是“拼长上下文”，那么2026年的关键词，毫无疑问是Agent。

Agent能力——即模型自主规划、调用工具、执行复杂任务的能力——正在成为衡量大模型实力的新标尺。从全球范围看，Agent能力的第一梯队目前仍由闭源巨头把持。但DeepSeek-V4-Flash正式版在多项Agent基准上的表现已经逼近Opus 4.8，而价格只有Claude的1/90。

有网友让GPT整理了V4 Flash对比其他大模型的性能测试，结论是性价比上Flash依然无敌，比降价后的GPT-5.6 Luna还要少一半的费用。

V4-Flash只用1/10到1/3的参数量就做到了前沿级性能。而V4-Pro是1.6万亿参数量，规模大了4倍以上。按照这个幅度来算，V4-Pro正式版的性能达到甚至超过K3、Opus 5、GPT-5.6 Sol都是有可能的。

总结： 2026年7月31日，DeepSeek-V4-Flash正式版API上线公测。Flash版以2840亿总参数、130亿激活参数的“小身板”，在9项Agent基准测试中全面超越V4-Pro预览版，DeepSWE测试更是从7.3分暴涨至54.4分，性能提升超6倍。同时原生支持Responses API并适配Codex，生态野心初显。V4-Pro正式版预计8月初发布——Flash已经这么强了，Pro得有多猛？

本文数据来源：DeepSeek官方API更新日志、IT之家、凤凰网科技、观察者网、快科技等

当事人自己怎么说的：

对7月25日凌晨飞牛官方回应的答复

讨论之前先说清楚两家是谁：
广州铁刃智造技术有限公司——“飞牛 fnOS”的亲爹。2024年8月启动公测，铺天盖地的宣发应该不少花费，最终攒了一大波关注。

福州市热铁盒软件有限公司——当前代表作“青柠起始页”，一个简约免费的浏览器起始页产品。这家公司手里攥着“青柠起始页”的商标（注册号56022613，42类-网站服务），但“热铁盒”这个核心品牌名，现在出事了。

我猜年龄稍大的佬友都知道在青柠之前，热铁盒最早的核心业务是“虚拟主机/网页托管”，从2020年开始就专门面向站长和开发者，提供开箱即用的建站服务。这推出的比他们公司成立还要早，甚至我说这是他们成立公司的契机也应该八九不离十。）

- 阅读剩余部分 -

四眼仔摘了眼镜这几天上班免不了受了点小罪，掏出手机十分钟花了几百块钱怒买n件商品。
​如果花钱能让你未来一段时间更舒服，我劝你花，早买早享受。
​如果花钱只能让你现在更舒服未来还那样或者没什么起色，那不妨再忍一忍，毕竟你兜里没多少钱。
​

为了征兵，去郑州做了全飞秒手术，双眼。
目前近处视力还是明显高斯模糊，远处好些。
近期不便长时间使用电子设备，不会积极上线。
没什么事情的话这就是近一个月最后一条文章。

首先，在你的终端尝试一条命令：plasma-discover --backends packagekit-backend --mode Update
如果不出意外的话，你的Discover会直接弹出到更新页面并快速的加载完成，这就证明你和我遇到了同一个问题：Flatpak后端拖慢Discover更新页面
那么最快的解决方式显而易见了：sudo dnf remove plasma-discover-flatpak

为什么会出现这个问题？

默认情况下 Fedora KDE Discover会在打开更新页面时加载所有可用后端进行更新包括：packagekit，Flatpak ，Snap
众所周知，后面这俩常见的默认仓库服务器地址在境内可用性处于薛定谔的猫态，你可以进行如下尝试：

xfox@Loong5-76s:~$ flatpak update 
正在查找更新…

没有更新。
正在为远程仓库 fedora 更新 appstream 数据

如果你没有使用TUN 模式全局代理我猜你会卡在这个界面很久直到忍不住按下⌃C，Snap也同理。

我的建议

在任何情况下，优先使用系统原生适配的软件包而不是Flatpak和Snap。Debian就用apt和deb包，Fedora就用dnf和rpm包。

这也是为什么我现在极其厌恶Ubuntu，现状就是Ubuntu正在故意使用Snap替换关键的软件包增大OS资源开销，并且Snap Server并不开源也没有开源替代完全依赖Canonical。Flatpak性能比Snap更好并且允许用户自己搭建新的仓库替代Redhat官方仓库！

综合安全和性能开销，推荐遵循如下降序安装使用软件：
原始软件包 > Flatpak > Snap > Appimage

所以，如果你不得以必须使用更糟糕的软件包，宁可去配一下Flatpak镜像源也最好别碰Snap

你可能已经发现我的Mastodon上刷了一大串帖子，这正是刚才测试文章同步造成的。

同步使用了项目：FediverseSyncForTypecho 原始仓库为：jkjoy——FediverseSyncForTypecho
原仓库不支持使用代理完成网络请求，使得该插件在某些Mastodon站点被GFW屏蔽的情况下完全无法使用。
我的仓库把Release版本号刷到了1.6.5 主要增加了对http和socks5代理的支持。也是顺便测试借助DeepSeek 彻彻底底Vibe Coding了一回，确实很方便，花小钱办大事，比自己慢慢扣效率高太多了。

本次Vibe Coding使用Visual Studio Code搭配DeepSeek V4 for Copilot Chat

这个项目我自从看到GS在用就注意到了，当时就下载测试发现不支持代理试图自己添加代理支持（简单写死的）可惜学艺不精没一直扣完，太简陋不想公开最终拖到了今天。
我已经尽自己所能的审查了AI生成的代码，但是为了避免Vibe Coding可能潜在的混乱和污染问题，这个仓库的更新我不会推送到原始仓库，就让本项目作为我的个人试验品好了

具体更新如下：

Fediverse Sync for Typecho - 更新日志

版本 1.6.5 (2026-06-18)

新增功能

• SOCKS5/HTTP 代理支持

  • 新增可选代理配置，支持 HTTP 和 SOCKS5 两种代理类型
  • SOCKS5 使用远端 DNS 解析（CURLPROXY_SOCKS5_HOSTNAME），避免 DNS 污染
  • 支持代理认证（用户名/密码）
  • 适用于中国大陆等网络受限环境

重构优化

• HTTP 请求统一重构

  • 将分散在 Plugin.php、Action.php、Api/Sync.php 中的 6 处原始 cURL 调用集中到 Utils/Http.php
  • 新增 postForm() 方法，统一处理 Mastodon/GoToSocial 的表单编码 POST 请求
  • Header 去重处理，避免重复 header 导致 400 错误
  • 代理逻辑由 Utils/Proxy.php 集中管理，一处配置全局生效

调试改进

• 增强 HTTP 层错误日志

  • 请求失败时自动记录 URL、HTTP 状态码、cURL 错误号和错误描述、响应体预览
  • Proxy 应用代理时记录代理类型和地址，便于确认代理是否生效

文件结构

FediverseSync/
├── Utils/
│   ├── Proxy.php           # 增强：支持 SOCKS5+HTTP 代理类型选择
│   └── Http.php            # 增强：新增 postForm() + 代理集成 + 日志增强
└── Plugin.php              # 新增5个代理配置项

留几块老硬盘，偶尔通电可以看到过去的自己在忙碌什么。

因为酷Q ，我第一次接触到了Docker和基于Openbox窗口管理器和Wine 的Linux下Windows服务软件运行方案。

我是中国境内较早一批接触并实用AI chat模型的非计科高中生。​

那时候腾讯还在ai.qq.com持续测试传统NLP 算法的chat模型，即便效果远不能与现在的LLM相比拟，这些现在可以称为古董的早期产品还是给当时的我还有其他朋友带来了极大的震撼。

​那年，眺望世界已经不能依靠原版shadowsocks实现，新的替代者是Trojan

那年，Discuz是境内主流论坛服务软件。

​那年，Python有了一个国产IDE NovalIDE。

​那年，SSH 还是XShell Plus的天下。

​那年，PanDownload 和无私分享的cookies拯救无数被百度云盘困住的用户。

那年，PCL替代不掉难忘的旋律

那年，联机侠跨越时空提前挤占了网易的用户空间

​那年，我第一次玩孤岛危机2 大型开放世界FPS游戏。

那年，第一次体验COD 4颠覆性游戏制作水平

​那年，激活Windows只需要启动AAct 。

​那年，酷Q与论坛还在，开发可用易语言。

​互联网有记忆，我们也有，缺少的记忆欢迎补全。