https://linux.do 论坛的话题更新通知频道。
@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 找到了一个关键构造,为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。jinlingyuan (@zhengqi) 在 notion注册的一种方法 中发帖
首先尽量使用指纹浏览器(条件好的可以加动态家宽)来访问notion网站的startups来注册账户;然后账号使用域名邮箱,站里面有一些免费的可以试试;再然后输入合作伙伴,我用的是 21242acbdc12,key是 21242acbdc12,最后就成功了@HiCoding 在 最近工作没事想学逆向,各位佬来聊聊 中发帖
最近看见很多文章、博客,多多少少都提到了逆向,我本身是java程序员,包括Claude的订阅漏洞那些,还有抢票那些,就觉得很帅,想要了解一下,玩一下。但是没有啥完整从0-1的渠道,从AI那里得知看雪学苑这些平台,有完整的课程,也得知国外也有一些课程。想请教各位,愿意付费学习,是在看雪学呢?还是在国外的网站学,因为好像国外那些,比如俄罗斯还有些地方好像技术很牛逼,哈哈。另外就是我应该从安卓开始呢?还是直接iOS,都是从0开始,只是安卓好像作为java程序员更容易理解一些,好像是这样吧。但是iOS呢感觉亮眼一些,嘿嘿,瞎扯的。还请各位佬给个方向,感谢了。@lixius 在 deepseek v4 flash的鹈鹕单车有点强啊 中发帖
[202607212161448]
用pi接dsv4f画出来的,感觉真有点强了 🤩
提示词就一句:创建一个HTML,内容是SVG绘制一个鹈鹕骑自行车的2D动画。爱伦·坡 (@Allan) 在 所以到底用哪个中转站啊... 中发帖
所以到底是使用哪个中转站比较好呢…
目前是在AIHub,主要是有时候会断开需要自己选择有点麻烦了…但是好的是价格低
然后想着去看看快跑AI,结果又刷到快跑AI的负面消息…
看到下面的FastAI,又看到FastAI的负面消息…
佬们都是用哪个的?有啥稳定渠道推荐吗?LLMeme 在 用 Hermes Agent 的可以且切到 DS V4 Flash 试试 中发帖
Hermes Agent 如果接原厂 API 的话开销很大
过去接 DS 容易有一些莫名其妙的行为
刚刚测了下 DS V4 Flash 0731,主观感觉至少是 ≥ DS V4 Pro
更关键的是:回复明显变快,价格明显变便宜
无疑对于使用者身心健康是很有益的🏯🏫⛪ (@devinglaw) 在 发一个卖小号的诈骗网站 中发帖
网址:https://ldhzy.com/
[image]
充值过后购买小号后根本不发账号,也不能提现,让你再充值100才能提现……