https://linux.do 论坛的话题更新通知频道。
稀饭 (@xifan) 在 fcitx5 根据指定程序，自动切输入法各位佬有需求吗 中发帖
我自己是这样的就是有一些是那种纯键盘操作的软件然后经常打完中文然后又切回忘记切回中文很烦，我希望当我下次 focus 他的时候他就切回我给他设置的那个输入法 比如 终端 qutebrowser 各种 ide 等等，微信之类的又默认切中文。
投票是小绵羊咩 (@LittleSheepQuQ) 在 鱼找了个每天888刀的Claude无限卡，佬们能不能帮我看看能不能买 中发帖
[image]
所有调用都是0.3，包括OPUS
一个月300，每天888刀模型看了一下，感觉是反重力反代的？根据佬说的
这是根据https://linux.do/t/topic/1741541/5，跑的测试信息
[image]
[image]
[image]
[image]
[image]
算了一下，可以调用2960次一天，不知道划不划算@fmvp742637 在 为什么使用沉浸式翻译翻译长网页的时候电脑会卡死，但跑分的时候不会？ 中发帖
跑分的时候应该算是电脑最大负载的时候了，为什么沉浸式翻译在翻译长网页的时候，电脑会比跑分的时候还卡？卡到鼠标滑动都没反应的那种。为啥 Windows 可以在跑分的时候至少保持操作界面流畅，但是在用沉浸式翻译的时候就不行呢？谨言慎行 (@Anano) 在 OpenAI创始成员：12月以来没写过一行代码，Agent用不好？那是你菜！菜就多练 中发帖
vibecoding概念提出者、OpenAI 创始成员 Andrej Karpathy 在 No Priors 播客中透露，去年 12 月是他工作方式的分水岭。此前他自己写代码与委托 Agent 的比例约为 80:20，12 月之后反转为 20:80，「到现在可能已经不止了」，「我大概从 12 月起就没打过一行代码」。
他将这种状态称为「AI 精神病」（AI psychosis）：Agent 的能力边界尚未被充分探索，「一切皆有可能，而一切失败归根结底都是技能问题（skill issue）」。他开始像 PhD 时期看 GPU 利用率一样关注 Token 吞吐量，「订阅额度没用完就意味着你没有最大化产出」。他还描述了 Agent 的「锯齿感」：「我同时感觉在和一个极其聪明的、做了一辈子系统编程的博士生对话，又在和一个十岁小孩对话。」
[image]
[image]
[image] ...tau 在 Vibe Coding只能“vibe”?细节控制也太差了！ 中发帖
本来想着用$\LaTeX$优雅的写毕业论文的，在Github上找到一个模板，遗憾的是年久失修，上次提交已经是2019年了，7年前啊！不出意外的，已经跑不起来了。
于是我就想着让Codex Vibe Coding一下，一开始很流畅能一下子就运行了，但是后面折腾几天细节死活就是不对。这可是排版、版式啊，要求很严格的…遂只能放弃。
感觉现在Vibe Coding，细节处理还是不太行啊。还是$\LaTeX$这种不属于Coding的范围？bue 在 一个专为 Vibecoding 打造的项目架构师 Skill 中发帖
让你的 Cursor/codex 免受上下文崩溃困扰：一个专为 Vibecoding 打造的项目架构师 Skill
前两天在水贴的时候，看到不少佬吐槽用大模型写代码（Vibecoding）经常写到一半上下文雪崩。尤其是给 Cursor 喂了一大堆需求，最后一次性生成出来的代码前后端乱接、数据库连不上、组件状态乱飞。
这次拿出来一个我刚搓好的工具：vibepm。
vibepm 它做了什么？
它是一个纯 Markdown 构建的项目经理级 System Prompt。在 Cursor 或 GSD 开始写代码前，先通过对话结构化你的需求，锁定技术栈并强行做 MVP 裁剪，最后吐出高结构化的原子级执行计划。
具体来说，它在前期对话中包含四大硬核卡口：
核心卡口
干什么
P1 规模裁剪
意图防膨胀。超额需求自动要求切分 MVP，死保单次 AI 编码的上下文安全。
P2 技...Graye (@Graye_Draisey) 在 看见“焦虑”这两词我立马就开始焦虑了 中发帖
看见“焦虑”这两词我立马就开始焦虑了
看见引起焦虑的词，我立马也就焦虑了
“失业”，焦虑
“考公考研”，焦虑
“疾病”，焦虑
……
并不是有意传播焦虑，只不过看见这些典型的词，立即就条件反射一般的，焦虑了
我想，是太敏感了，不知道其他人是怎样
给我一个选择，我希望将这些词从我的世界消除掉
毕竟，大多时候，看见这些词，一点也没有缓解我的问题，只是提醒我：
“现在，你焦虑一会吧。”
对了，也许可以使用屏蔽插件，可以试试@vrustx 在 求推荐windows系统版本 中发帖
最近真的被win11折腾够呛。
具体原因不描述了，懂得都懂。
我现在看上了win10 老坛酸菜版本的，请问编程来说是否可以正常使用。
或者有其他推荐的吗？长期使用不更新的那种。advent (@OceanTHU) 在 开源+抽奖被标记为违规推广 中发帖
[Screenshot_2026-03-21-14-10-39-587_com.microsoft.emmx]
给参与抽奖贴的佬友说明一下情况😢@666888 在 第一次在spaceship购买域名使用PayPal无法使用PayPal余额支付必须用PayPal绑卡支付，有遇到的吗？ 中发帖
PayPal还有点＄余额，就想着注册个域名，在spaceship购买域名付款选择的PayPal，付款的时候没有余额支付扣款选项，提示用PayPal添加银行卡
PayPal没问题，在其他场景支付是正常的@zzzzquan 在 关于LLM方向入门与职业发展的一些思考与困惑 中发帖
省流版：
一、如何真正入门LLM科研/工程？ 二、我性格偏向组织与交流，我把目标定为AI算法岗是否合适？我该如何发挥这一性格特点？
我目前是北京某中九大二学生，成绩大概在前10%，希望未来从事AI相关工作。
在大学期间，我做过比较多方向的探索，包括系统部署（如服务器搭建）、项目开发（前端和全栈）、以及AI工具的深入使用。同时，我还建立了一个校内计算机交流群（约750人），并基于此组织了一个面向全校的资料分享计划（用户交流群有约400人）。
但我目前有两个比较核心的困惑。
首先，我的技术能力整体偏浅，虽然接触面还算可以（各种工具、api、本地部署微调等都试过），但缺乏一个真正深入的技术方向。我在学校进过某组，但只是做一些杂活（读论文、做ppt、跑实验等），而且我不太认可周围同学在做的idea（感觉纯在扯），整体体验一般，和我想象中的科研有一定落差。所以我就在思考，如何才能真正入门L...谨言慎行 (@Anano) 在 美团开源560B参数定理证明模型：72次推理通过率97.1%，刷新开源模型SOTA 中发帖
[image]
模型将形式化推理拆解为三项独立能力：自动形式化（将自然语言数学问题转化为 Lean4 形式语句）、草图生成（产出引理风格的证明框架）和完整证明生成。三项能力均通过 Agent 工具集成推理（TIR）与 Lean4 编译器实时交互验证。
训练方面，团队提出 Hybrid-Experts Iteration Framework 生成冷启动数据，并在强化学习阶段引入 HisPO 算法稳定 MoE 模型的长程任务训练，同时加入定理一致性和合法性检测机制防止 reward hacking。
基准测试显示，LongCat-Flash-Prover 在开源权重模型中刷新了自动形式化和定理证明两项 SOTA。MiniF2F-Test 上仅用 72 次推理即达 97.1% 通过率，ProverBench 和 PutnamBench 分别达到 70.8% 和 41.5%，每题推理次数不...浮墨败笔 (@QixYuan) 在 新人报道，抽一个火山CodingPlanRRO KEY 中发帖
抽奖主题：火山CodingPlanPro API KEY
🏆 奖品详情：
如题，之前春节买的Pro套餐，瞪起来不爽，一直闲置，到五月份，不如让各位佬友开蹬
🕒 活动时间：
开始时间：2026/03/21 14:10
截止时间：2026/03/21 18:00
📝 参与方式：
在本帖下回复。
🔍 抽奖规则：
每位用户仅允许参与一次。
使用L站抽奖工具随机抽取中奖者。
⚠ 注意事项：
本活动将在活动截止时间后关闭回帖，以确保公正性。
中奖者将在活动结束后2小时内在本帖公布，并通过本贴重复编辑通知领奖方式。
所有规则及抽奖结果由活动发起人和论坛管理团队最终解释。
期待您的积极参与，祝您好运！如有任何疑问，欢迎随时联系抽奖发起人。