Matt Pocock 的 agent skills 好用，但国产 spec-superflow 更狠
上周我让 Claude Code 给项目加个权限控制，它啪一下甩出 200 行代码，跑起来直接 500。我盯着报错看了三分钟，才意识到问题不在模型，是我没跟它讲清楚「权限」到底指什么。 这个场景你熟不熟。AI 编程 agent 写不出好代码，根因往往不是模型笨，是我们没把需求讲清楚。TypeScri ...
【开源】《QuickTodo》一个终端里的 Todo CLI
【开源】《QuickTodo》一个终端里的 Todo CLI QuickTodo 是一个用 Go 编写的终端 Todo 工具，默认命令名是 qtd。它的用途很直接：在命令行里快速添加、查看、修改、完成和删除待办事项。 如果你的日常工作主要在终端里完成，qtd 可以把临时任务记录、任务状态更新和待办列 ...
Rocky‑Linux‑10.2‑x86_64 Stratis 完整部署教程
Rocky‑Linux‑10.2‑x86_64 Stratis 完整部署教程 Stratis 是 RHEL 系新一代存储管理器，基于 XFS，支持精简配置、自动扩容、快照、多磁盘组成存储池，替代部分 LVM 场景。 ⚠️重要限 不支持 root 根文件系统，仅用于数据盘；池创建后不能加密，加密只能创 ...
上周热点回顾（8.17-8.23）
热点随笔： · 从 0 到 1，DeepSeek Harness 保姆级安装与使用教程！ (狂师) · DeepSeek Harness必装的10个插件 (苏三说技术) · 开源两天 9.5 万 Star！DeepSeek Harness 到底是个啥？小白安装到实战一篇讲透 (程序员晓凡) · De ...
强模型时代，提示词要从步骤清单改成任务契约
强模型不需要被过期步骤牵着走，提示词更该定义目标、边界、验收证据和需要确认的歧义。 新模型上线后，很多团队会遇到一个反直觉的问题：模型更强了，任务结果却没有明显变好。 原因有时不在模型，而在提示词。旧提示词为了照顾弱模型，往往把任务拆成固定路线：先查哪个模块、再改哪个函数、哪些文件不要碰、最后补什么 ...
AI 都会写代码了，我为什么还逼小伙伴们读一本 2010 年的旧书？
公司实习生小哥哥来找我：AI 把功能全写完了，可现在改一处崩一处，不敢动了。 我没看代码，先问了三个问题：评测集呢？bad case 错题本呢？这周删过代码吗？ 三连否。 我说行，这不是工程问题，是负责方式的问题——不是打击谁，是先把地图摊开。然后我从书架上抽出一本 2010 年的旧书：《97 Th ...
数学建模第四课：参加数学建模比赛应该注意什么
面向数学建模参赛者的备赛全攻略：详解组队铁三角分工（建模手、编程手、写作手）、AI 工具使用规范与声明要求、论文写作与表达技巧、如何描述模型与结果，并剖析建模误区与常见问题，帮你少走弯路、全方位备战国赛美赛 ...
解Bug之路-with AI-应用被限流？
解Bug之路-with AI-应用被限流？ 前言 有了AI之后，处理复杂问题明显加速了。笔者体感大概加速了3倍吧，以前一个需要一个星期才能探明根因的复杂问题现在估计只需要2天。主要是大部分数据整理/源码阅读/时间线梳理的繁琐操作都已经外包给AI了。这也使得笔者可以有精力可以解决一些看似ROI很低但成 ...
AI 测试 ｜ 把 UI 自动化测试执行固化成五步流程，这套 AI Skill 思路可以直接抄
本文介绍`ui-test-executor`——一款专为UI自动化测试打造的智能执行调度引擎。它以自然语言指令驱动，自动完成环境检测、用例筛选、并发执行、六类失败证据采集（截图/录屏/Trace/日志/源码/网络）及多格式报告生成，彻底解决环境不稳定、时序难控、脏数据干扰、现场不可追溯等执行痛点，让... ...
用 .NET 8 + uni-app 做一套多租户畜牧 SaaS：我们在秦巴牧云踩过的 6 个坑
基于.NET 8 + uni-app构建多租户畜牧SaaS“秦巴牧云”的实战踩坑总结，涵盖租户隔离、前后端枚举契约、record字段序列化、EF Core迁移不一致、Razor语法冲突及微信AI Skill三层返回等6个关键问题与解决方案。 ...
NativePHP v4 让 Blade 构建原生 iOS 与 Android 界面
NativePHP v4 让 Blade 构建原生 iOS 与 Android 界面 NativePHP 现在可以将 Blade 组件渲染为 iOS 上真正的 SwiftUI 视图和 Android 上的 Jetpack Compose 视图，整个过程无需 WebView 或 HTML。Native ...
从 PostgreSQL 到 Kubernetes：开源的护城河，从来不写在代码里
引子：一场「功劳归谁」的争执 2026 年 8 月，The Register 刊出了一篇对 Michael Stonebraker 的采访。这位图灵奖得主、伯克利 Postgres 项目的发起者，被问到 PostgreSQL 为什么会赢，给出的答案颇为意外： 我们得感谢 Oracle。因为他们买下 ...
codex windows平台中elevated sandbox机制学习
背景 大家好啊，我是逐日。本篇继续梳理下我对codex desktop中沙箱（elevated sandbox）的理解（windows平台，非使用windows上wsl2）。 本文主要学习了：https://openai.com/zh-Hans-CN/index/building-codex-win ...
【小记】上手 Pi，记录一下我的 AI 编码实践
多个月以后，面对满屏的代码无从下手时，些瓶将会回想起，他第一次接触 Coding Agent 的那个遥远的下午。这篇笔记主要记录了咱在 AI 编码方面的一些实践体会，以及配置 Pi Coding Agent 的一些小想法。 ...
我把Redis双活塞进Spring，业务代码零改动
你有没有过这种经历。半夜两点告警炸了，A 机房 Redis 主节点磁盘满了被摘除，流量切到 B 机房，用户购物车全空了，因为 B 机房的 Redis 里根本没有这几分钟的写入。主从复制救不了你，它天生就是单向异步的。 更要命的是，你翻遍社区，搜到的双活方案全是 Redis-Shake、CloudCa ...
LangChain 实现AdvancedRAG增强向量检索生成
Advanced‑RAG 是基于 Naive RAG 演化而来的高级检索增强生成方案，针对朴素RAG检索不准、上下文相关性差、召回噪声多等缺陷进行多层优化。该方案完全沿用朴素RAG的基础流水线模式、不改动核心架构，仅在各流程节点嵌入预处理、后处理增强模块，精细化优化检索环节。通过引入查询改写、重排序... ...
我十年 Office 开发的终极大招：一个 Skill，让 AI 帮你做出最专业的 Excel 插件
不是写 VBA 宏，不是画 Ribbon 菜单。是一口气搞定：自定义函数、现代化功能区、WebView2 网页面板、媲美前端界面的 WPF 任务窗格——全程一行代码不用写。这就是我刚做完的 Excel-DNA 插件开发 Skill。 一、为什么我一直在做 Office 和浏览器周边的工具？ 回看过去 ...
人工智能最先替代的，是人工智能学院自己
大学从来不只是一栋教学楼。在知识生产的链条里，它同时扮演着四种角色：生产资料的配置者、知识流通的枢纽、人才的培养者与认证者、长周期研究的承担者。而这页PPT的真正含义是：这四个功能，正在被逐一替代。 ...
题解：CF1765C Card Guessing
神秘 noip 模拟赛 T3，但是 \(n\le2000\)，1s。 也是终于能在模拟赛里做出数学题了，开心。 似乎没看到几个跟我一样的做法？ 题解 由于期望的线性性，我们可以把期望拆分到每一位上，那么答案即为能猜对 \(c_i\) 的概率之和。 考虑如何求出猜对第 \(i\) 位的概率。下文设 \ ...
一起关于龙芯MIPS64el的“数据泄露”排查纪实
0x00 关于龙芯数据泄露漏洞 这两天刷到一则消息《安全内参：龙芯处理器存在架构层漏洞，应尽快更新修复》，仔细阅读了文章内容后，这让我想起来很久以前在龙芯早期MIPS64el架构中排查过的一个问题，所以也赶紧来蹭一波热度。当然，虽然同样是数据泄露，但诱因和严重程度是不一样的，切勿混淆…… 0x01 ...
