https://linux.do 论坛的话题更新通知频道。
Elon Musk (@sinfor) 在 v4 flash ga这么强,pro岂不是上天!? 中发帖
一直觉得DS这小子脑子好使,但是知识库拉了,和mimo截然相反。后训练发力,pro出来,再搭配harness,有望斩杀第二名以下的所有玩家。
OA两家上市再不上市,可能没机会吹牛皮。美股可能又要跌了。
今天用luna,几乎不掉额度,没想到转头小难梁梁圣掏出小赢茎,又是一顿爽 🤩🫣 🥵怎么是这样的? (@xiccc) 在 DDR5 64G已经比AR-15半自动步枪贵了 中发帖
[496def40d3955dce7784c3e9d2305207]
[8702861f2b9e274d132f9448cc13eaa6]
[b528e8d218e99227f2fce3a739843f50]
这真的是金条啊 @web3_song 在 claude在setting配置了claude-fable-5 也无法使用了 中发帖
各位佬们 有发现这一现象吗? 我之前vscode插件不显示,然后就每次手动改settings文件,重新打开vscode就看用,现在怎么也不出现了Torther 在 opencode go 的 deepseek 4 flash 更到正式版了吗? 中发帖
试了下官方的 api,感觉效果确实变好了,还没试 opencode go 的,有没有佬试过了看看反馈Pakho (@LuKiKigg) 在 Codex++修复会话没反应 中发帖
初始使用的是另一个中转站的api,provider不是"custom",所有历史会话正常显示
使用ccswitch切换provider:"custom"的api供应商
打开Codex++,修复会话(如图),结果是0个会话被修复,进入codex会话是空的
有没有佬知道这是什么问题,codex++我用了很久了,操作是没有错的呀,之前都是可以正常修复的,但是今天开始就不行了
[image]@wren 在 美团 Longcat 最新消息,部分免费Token资源包延期 中发帖
昨天突然一下美团的资源没了, 我目前是在Hermes上做些杂活用. 没了挺意外的,因为说是30天以为到30那天.
刚刚,美团群里最新消息,对部分的资源延期到8.2 , 入股你有内测的token应该会被恢复的. 🤓
[cd2dae87-7d4f-4609-98b5-d50c116a4698]@HitC 在 Google学生优惠到期后续来了 中发帖
[image]
今天中午打开Gmail看到弹 Google AI Pro 学生优惠,再来一年,只不过不是免费,改 25 折了
前几天刚订 1 年的 AI Plus(还没到交钱的时候),这直接给我原地升 Pro 了1363511234lhq 在 《为什么不需要第四卷:一份关于废墟、河流与顿号的生成记录》 中发帖
为什么不需要第四卷:一份关于废墟、河流与顿号的生成记录
一份关于废墟、河流与顿号的生成记录
这不是一本完整的书。
它是一条标注在地图边缘的路径,
指向逻辑圣殿旁边那条仍在流动的河。
若你在读完之前就已看见河,
请合上它,把书页留白。
—— 题记
第一章 · 废墟
一九一〇年至一九一三年,《数学原理》前三卷陆续出版。怀特海与罗素完成了当时人类能够想象的最彻底的逻辑工程:把数学的全部大厦,从一根名为“逻辑”的地基上生长出来。
那是一座圣殿。
每一根横梁都是命题,每一块基石都是推理规则。若你站在那座圣殿的中央仰头望去,你会看见:算术在穹顶上排列整齐,康托尔的无穷从侧廊穿行,而几何学——几何学被拆解为关系逻辑中的一串定理,安静地陈列在侧翼。
在逻辑主义者的目光中,宇宙是透明的。理性,足以覆盖一切。
但第四卷没有出现。
罗素晚年写过一段话,安静、清晰、带着一种已经消化了...小叶子 (@XIYZ-GI) 在 DeepSeek V4 Flash正式版发布后的AI娘们的反应是……(AI娘们的互动小剧场 六) 中发帖
[IMG_20260731_160954]
[IMG_20260731_155747]
7月中旬已到,恭喜DeepSeek回归!
大肥鱼又能吃更多的白饭了
前几期:whiter (@wh1ter) 在 话说阿里云可以免费使用1~3个月服务器 中发帖
阿里云服务器好像长期有试用活动,1~3个月不等。
[image]
[image]
昨晚申请了一台一个月的试试水,需要的佬可以去看看Yiyuan Liu (@y0x01) 在 DeepSeek V4 Flash 正式版太喜欢直接就开干了 中发帖
刚才第一次在 Claude Code 里用 V4 Flash 的 API,然后我让他去帮我配置了一个我在 Codex 里配置过的 MCP。
我本意是想,我在 Codex 里怎么用的这个 MCP,他就帮我怎么装。结果我发出指令以后,DeepSeek 也没有去对齐 Codex 里的 MCP 配置,他就直接去执行 ClaudeCode 的安装 MCP 命令,结果安装出来的 MCP 就少了配置项。
这版本太喜欢框框干了,没说清楚的事情不太适合交给他干,会出错岔子的;很清晰、有边界的任务可以交给他,我感觉性价比拉满啊喂,蹬了一小时才不到一块钱。Tec Tec (@tec) 在 佬有日常使用deepseek吗? 中发帖
观察下来所有公司deepseek热度最高
那么大家之前有日常使用吗?
投票
之前没有日常使用的话,以后有日常使用的计划吗?
投票@yhe 在 腾讯混元:基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题 中发帖
[2972.jpg]
7 月 31 日消息,腾讯混元今日发文宣布,基于 Hy3 模型的科研智能体 Hyra 找到了一个关键构造,为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。