musk fack
38 posts


I just had DeepSeek V4 find and fix 8 memory leaks that were causing crashes in code written by Claude Opus 4.7.
DeepSeek found them all and fixed them in minutes, at a total cost of maybe three pennies.
DeepSeek is amazingly good at coding and bug fixing. And it costs almost nothing to use, even the Pro version.
Best harness? OpenCode.
English
musk fack retweetledi

原来 deepseek v4 的思考 max 模式对应的就是这段提示词注入(在最开始的位置):
REASONING_EFFORT_MAX = (
"Reasoning Effort: Absolute maximum with no shortcuts permitted.\n"
"You MUST be very thorough in your thinking and comprehensively decompose the problem to resolve the root cause, rigorously stress-testing your logic against all potential paths, edge cases, and adversarial scenarios.\n"
"Explicitly write out your entire deliberation process, documenting every intermediate step, considered alternative, and rejected hypothesis to ensure absolutely no assumption is left unchecked.\n\n"
)
原理上,可以自己在开头主动加上这段提示词,这样普通思考模式也能变成 max 模式。

中文
musk fack retweetledi

gpt 5.5 + minimal thinking slaps for bash based computer use. @davis7 was right on the low for code gen as well.
English

测试了一下 DeepSeek V4,完全无法正常调用 Skill。
指令遵循和工具调用的效果很差,不知道是他们发布的原因还是什么问题。
用我那个 PPT Skills 测试,它都没有办法读模板,自己随便实现了一个网页。

歸藏(guizang.ai)@op7418
我去,DeepSeek V4 终于来了! 有两个型号,一个 Flash,一个 Pro。 新版本的功能支持非常全面: 支持 JSON 输出 支持工具调用 支持对话前缀续写 支持 FIM 补全 价格方面: Flash 型号:每百万输入/输出的价格分别是 ¥0.2 和 ¥1 Pro 型号:每百万输入/输出的价格分别是 ¥1 和 ¥12 另外,100 万上下文的价格输出会翻一倍。
中文
musk fack retweetledi
musk fack retweetledi
musk fack retweetledi
musk fack retweetledi

Autoresearch - 全自动化软件开发工具 基于 GitHub Issue 驱动,用多个 AI Agent 轮转交叉审核实现全自动软件开发闭环。
github.com/smallnest/auto…
Autoresearch 从 GitHub Issue 出发,让 Claude、Codex、OpenCode 这几个 Agent 轮转写代码、交叉审核、迭代修复,评分到了就自动提 PR、合并、关 Issue。
不限语言,Go、Python、Rust、Java 都行。可以在 .autoresearch/里自定义 Agent 指令和规则,断了还能 -c 接着跑。

中文

@robzolkos How does this combination perform in cross-platform situations? I previously found that some plugins have issues on Windows systems and cannot be used properly.
English

If you are pi-curious but don't have the time to set everything up I made lazypi.org for you. It's a curated starting point that gets you to an exciting, useful experience immediately, without the research and configuration tax.
English
musk fack retweetledi









