cottman

我要自由！我要毕业！

[cottman @lfly97786343]

GPT-6 Astra 完美解决AI生成拼豆图边界不清的问题

先AI生成一遍，再让GPT6在绘图软件里面临摹一遍
操作真的太快了，审美还不错。

[cottman @lfly97786343]

No idea whether any of this will prove useful, but improving the infrastructure for AI agents in EDA is rather addictive

— especially watching the latency come down and the results become steadily more reliable.

[cottman @lfly97786343]

@MaximeRivest 天才的想法，这个交互和读书批注+AI解答绝配

[cottman @lfly97786343]

@gengdaJ 我之前遇到过， plan mode 和 goal mode 同时打开就会卡住，去掉 plan mode 才会开始

[cottman @lfly97786343]

@andrewmccalip 或许来一点漫画、小说、短剧、短视频之类的广告，放松下大脑

[cottman @lfly97786343]

@GoGoFly23 射频工程师有福了，太强了，GPT 5.5 能做到什么水平🤔

[cottman @lfly97786343]

@xmgplus 这就去试一下，这个问题真让人头疼😵‍💫，失去了信任感，不敢放心使用 goal 模式了

[cottman @lfly97786343]

codex 怎么开始无法压缩上下文，烦死我了😡

[cottman @lfly97786343]

啊！这么激进吗，直接跳过远程，在眼睛上编程了吗！？

[Candy樂兒 @candyyueliu]

Introducing Monako Glass 👓

The world's first wearable Linux computer in glasses form.
Run Claude Code, Codex, and any coding agent — anywhere.

[cottman @lfly97786343]

@vista8 好像只需要安装 codex 即可，远端不需要登录

[cottman @lfly97786343]

不错不错

[cottman @lfly97786343]

Codex 竟然真的可以自己创建新的线程，有趣！

不过好像还不能创建新的项目来组织线程

[cottman @lfly97786343]

不到一个月怒花 50 亿 token，不管怎么算 ChatGPT Pro 都赚翻了

[cottman @lfly97786343]

@RobinSeun 大家的远程体验都很丝滑吗？
为什么我加载会话历史要很久，而且一些图片预览还失效

[cottman @lfly97786343]

大家的 codex remote 都很丝滑吗？
为什么我的移动端加载会话记录很慢🥲
没有我直接 windows app RDP 丝滑

[cottman @lfly97786343]

@labrin 我选择古法 windows app 远程桌面

[cottman @lfly97786343]

折腾了一圈 Codex 的 Windows 远程控制，发现对单设备远控来说，还是 Tailscale + Windows App 远程桌面 最稳。

延迟、稳定性都更好。Codex 展开后，Windows App 会自动适配屏幕比例，观感接近原生 App。

最关键是不用等上下文同步，点开屏幕就能用。

[cottman @lfly97786343]

@Jane_S_Eye 26 岁也没明白😵‍💫

[cottman @lfly97786343]

最后再让 AI 把整个推导整理成 LaTeX 推导过程，并直接生成 PDF，基本就可以作为论文中的推导部分或者附录使用。
这一整套流程下来，推导公式会比传统方式稳很多，而且效率也非常高。

[cottman @lfly97786343]

最近在写论文推导电路公式的时候，对比尝试了一下 ChatGPT 和 Gemini，发现 ChatGPT 在这种科研推导任务上体验明显更好。
总结了一套稳定的 workflow：
首先不要让 AI 直接推公式，而是先和 AI 一起把问题整理清楚——把模型、边界条件、已知参数和最终目标都定义好，让问题变成一个标准的数学推导题。

[cottman @lfly97786343]

然后在推导过程中，让 AI 调用 Python 做符号计算和数值计算辅助验证。
符号推导用 sympy 处理复杂表达式，数值计算则用来验证特定条件下的结果，两者交叉验证可以有效减少 AI 推导中的“幻觉”。