我给 Codex 做了个额度体检
Codex 用久以后,最想知道的不是还能不能用,而是额度什么时候恢复、reset credits 还有几次。本文记录一个本地安全查询方法,也顺手整理这个通道还能看到哪些使用率信息。
Codex 用久以后,最想知道的不是还能不能用,而是额度什么时候恢复、reset credits 还有几次。本文记录一个本地安全查询方法,也顺手整理这个通道还能看到哪些使用率信息。
Codex 用久以后,最想知道的不是还能不能用,而是额度什么时候恢复、reset credits 还有几次。本文记录一个本地安全查询方法,也顺手整理这个通道还能看到哪些使用率信息。
《我与 IT 这三十年》第十七篇。2012 年,我离开百度,进入上市前冲刺阶段的微博。百度那边的组织气味开始变化,微博这边则站在移动互联网、社交媒体和大数据平台的交汇点上。我的技术栈也从搜索大厂转向更杂、更快的业务现场。
vibe coding 真正有价值的地方,不是把一个页面糊出来,而是借助真实数据快速摸到产品形态,再把它交给工程系统接住。本文用一个 QVeris 数据案例,聊聊如何把 AI 原型做成能继续演进的产品。
《AI时代的程序员修养》第十二篇,也是这个专栏的收束篇:回到计算机基础、系统思维、产品判断、表达能力和团队协作,讨论哪些能力会被 AI 放大。
vibe coding 真正有价值的地方,不是把一个页面糊出来,而是借助真实数据快速摸到产品形态,再把它交给工程系统接住。本文用一个 QVeris 数据案例,聊聊如何把 AI 原型做成能继续演进的产品。
现在技术圈真正热的,不是又出了一个模型,而是 AI Coding Agent 开始进入真实开发流程:接任务、改仓库、跑测试、提 PR,也把上下文、安全和 review 这些老问题重新推到台前。
NVIDIA DGX Spark 是一台很容易被标题党误解的机器:它不是给普通人买来跑聊天机器人的玩具,也不是缩小版数据中心训练集群。它真正卖的是 128GB 统一内存、Grace Blackwell、NVIDIA 软件栈和桌面形态。
NVIDIA DGX Spark 是一台很容易被标题党误解的机器:它不是给普通人买来跑聊天机器人的玩具,也不是缩小版数据中心训练集群。它真正卖的是 128GB 统一内存、Grace Blackwell、NVIDIA 软件栈和桌面形态。
面向北京 2026 高考志愿填报,系统拆解北方工业大学本科普通批 9 个专业组,使用 2025 年正确投档线和分专业最低/最高分,结合 2026 招生计划、专业六保一、中外合作和新增低空技术,给出专业组选择与分数梯度建议。
从小服务到高流量平台,聊清楚服务埋点为什么要做,前端、后端、网关和队列各自怎么采,PostgreSQL、MongoDB、ClickHouse 如何选,成本和性能怎样估算。
把一个地铁 18 号线赶车问题写成数学建模案例:从最小概率模型出发,拆解发车间隔、停车时间、跑步速度、距离分布和连续事件,并说明什么时候会用到积分。