Zephyr

你所热爱的，就是你的生活

欢迎互关

[Zephyr @Amayal68]

workflow探索
用overleaf写latex整无语了
跟gpt对话式改论文 用的还是朋友两百刀一月的pro 真是屈ai才了
现在打算换用vscode写 不过有个问题 overleaf这玩意绑个git也要会员 不管了 先白嫖一个月再说了 有啥别的好方式吗 #overleaf #git #codex

[Zephyr @Amayal68]

@Ocha654258 好好看

[Zephyr @Amayal68]

Deepseek用现在的ds harness好还是zcode好？

[Zephyr @Amayal68]

为什么许多女coser的另一半都是摄影师，而非男coser？

[Zephyr @Amayal68]

为什么高校老师都强烈反对学生实习而企业hr都建议学生多多走出学校去实习

[Zephyr @Amayal68]

@NIUB100 假的开哥，除非你说你的番茄连招

[Zephyr @Amayal68]

告诉大家一个冷知识，ds4pro linux开极简模式，性能比肩fable5。极简性能大于max这一块，草台班子这一块

[Zephyr @Amayal68]

原来本屌丝也能进机场贵宾厅....

起因是暑假旅游回来中转，在白云机场要待整整俩小时。候机厅人巨多，没找到座位，蹲着刷手机发现原��贵宾厅几十块就能进？？

os：还以为头等舱专享，原来经济舱也行.... 那我必须狠狠品鉴一番了，直接就是一个全款拿下贵宾厅什么实力不多说（bushi）

座位好多啊...暗区待着好舒适，还挺安静的，��着充电摸鱼玩了会iPad，好爽^^ 还有自助餐食提供，本来打算吃泡面来着（屌丝是这样的...）就是热菜不多不过面食听说不错，我整了一碗牛腩面，现煮的还挺好吃嘿嘿 好像还有淋浴间不过要前台约，不过我还是比较习惯回家洗就算了 体验下来还是挺不错的，原来你们有钱人平时坐个飞机这么舒服嘛，如果待机时间长还是比较推荐，踩点我还是蹲大厅吧><

[Zephyr @Amayal68]

这个角色是谁呀？

[Zephyr @Amayal68]

爬天柱山5小时，消耗2185千卡，第二天两条腿都不听使唤了，反而胖了两斤，man what can i say

[Zephyr @Amayal68]

codex有哪些奇技淫巧？

先说一个大部分人不知道的隐藏功能：/goal 命令。
这是 Codex 最被低估的功能，没有之一。

正常用 Codex 是你说一句它做一句，做完等你确认，再做下一步。

/goal 完全不一样，它的运行逻辑是你给它一个目标，它就自己跑下去了，不会停下来问你，可以连续跑几个小时甚至几天。

OpenAI 内部叫它 Ralph Loop。（我觉得这是一个非常好用的功能）

有个叫 Alex Finn 的开发者，用 /goal 一个小时从零做了一个完整的射击游戏。

第��个：同时起多�� Agent 并行干活。

大家在做大项目的时候，不要一个项程干到尾，可以把任务进行拆分，让多个 Agent 并行工作。

但 Codex 有时候会太积极地自动起 subagent。如果你想控制节奏，在 AGENTS.md 里加一句 "only spawn subagents when I ask you to"。

第三个：Side Chat。

在 /goal 跑的时候，你可能想了解它目前做到哪了，但又不想打断主任务。Side Chat 就是在主线程旁边开一个侧边对话，问它"你现在做到哪了"，它会回答你，但不会影响主线程的执行。

第四个：不要太啰嗦的提示词

GPT-5.6 对指令遵循度非常高，这可能会导致冗余指令会让它输出的效果不佳。

建议是每条规则只说一次，比如：把「帮我优化一下代码换成把这个函数的时间���杂度从 O(n²) 降到 O(n log n)，不要改接口」。

或者加一个停止的条件，如：收集到足够信息后立即行动，不要过度搜索。

最后，现在Codex功能越来越眼花缭乱了，/goal、Appshots、Side Chat、分层 AGENTS.md、Skill 系统。所以有一点学无止尽的意思。

但反过来，随着模型一代比一代强，很多你今天费心研究的技巧，可能下个月就不需要了。

比如大家精心编写的各种 Skill，本质上就是在教模型"你应该先读文件再改代码""你应该先写测试再实现"。但你每次用这些 Skill 产生的行为数据，都会被收集回去训练下一代模型。

等下一代出来了，它天生就会这些，你的 Skill 就废了。

[Zephyr @Amayal68]

DeepSeek V4 Pro撤回发布

8月13日凌晨，DeepSeek V4 Pro正式版上线，没有发布会，直接改API文档完事。官宣跑分很漂亮，逼近Fable 5。 结果不到24小时，官网横幅撤了，公告删了。

API文档里还留着新版本号，但发布这事等于没了下文。 撤的原因很简单：实测翻车了。

Artificial Analysis上V4 Pro只排全球第9，跟GLM-5.2差不多，还不如Kimi K3。关键是跟Flash比，没强多少。有开发者测完直接说“不如Flash”。

官方没解释。外界猜来猜去无非四种可能：部署错了、模型推错了、真正的满血版还在后头、���者Pro就这水平。

最尴尬的是媒体——稿子提前写好了，定时8月13日上午发，一顿猛吹。等发出来的时候，模型已经撤了。V4 Pro到底是发错了还是就这水平？不知道。但那些连测都没测就开吹的媒体，应该比谁都希望——这只是发错了。#DeepSeek

[Zephyr @Amayal68]

@heyibinance nb

[Zephyr @Amayal68]

把自己的英文论文一整段扔进去chatgpt，然后让它improve the following academic writing

我觉得我再练10年英语写作也写不出这么native的句子