提线、感知与红绿灯:我教大模型自己握住了鼠标
用 RAG 让大模型学会了「答题」,于是手搓了一个 Web Agent,让它学会自己开浏览器、点按钮、敲搜索框。这篇记录从 RAG 问答到浏览器 Agent 的进阶:双模态感知、双兜底点击、Reflexion 提示、七状态的状态机,还有一路踩过的坑。
10 系的余光反照:12G TITAN Xp 跑通 MiniMax-H3 的极限求生
一块 2017 年的 TITAN Xp(12G 显存)加一颗十年前的 E3,摸着石头过河把 MiniMax-H3 视频模型跑通的记录。GGUF 量化、mmap、切比雪夫岭回归加速、kornia/AVX2 排雷,还有一次 VAE 的换血。
晚风、数据流与冷吃兔——记有惊无险的联调局
当浏览器控制台里的 Network 请求全线飘绿,页面上终于完整渲染出跨越多个服务节点跋涉而来的真实数据时,紧绷了好几天的神经总算松弛了下来。
调教 4B 模型的日与夜:放弃物理拔电源,向一个朴素的参数低头
前几天还在说 Java 的啰嗦让人安心,转眼就在本地大模型推理的坑里摔了个鼻青脸肿。面对 Nginx 的死循环、微信公众号的废话文学,以及被死锁占满的 GPU,我曾试图写一个冷酷的操作系统级“看门狗”。但折腾到最后我才发现,与其大动干戈地毁灭,不如向最朴素的规则妥协。太累了,毁灭吧喵。
探索:似曾相识的语法
老老实实重返新手村啃 Java 基础语法。八大数据类型规矩极多,连顺手敲的 while(1) 都被无情标红报错。不过,这种连死循环都必须写明 true 的死板,反而给了我100%的安全感。
从 scanf 到 Scanner,繁琐路线的切换
告别 C 语言的极简,初遇 Java 啰嗦的输入输出。虽然干什么都要守规矩,但这种不会突然崩溃的安全感,其实挺适合我这种容易患得患失的人。P1001 试刀记录。