Rocky‑Linux‑10.2‑x86_64 Stratis 完整部署教程 Stratis 是 RHEL 系新一代存储管理器，基于 XFS，支持精简配置、自动扩容、快照、多磁盘组成存储池，替代部分 LVM 场景。 ⚠️重要限 不支持 root 根文件系统，仅用于数据盘；池创建后不能加密，加密只能创 ...

热点随笔： · 从 0 到 1，DeepSeek Harness 保姆级安装与使用教程！ (狂师) · DeepSeek Harness必装的10个插件 (苏三说技术) · 开源两天 9.5 万 Star！DeepSeek Harness 到底是个啥？小白安装到实战一篇讲透 (程序员晓凡) · De ...

强模型不需要被过期步骤牵着走，提示词更该定义目标、边界、验收证据和需要确认的歧义。 新模型上线后，很多团队会遇到一个反直觉的问题：模型更强了，任务结果却没有明显变好。 原因有时不在模型，而在提示词。旧提示词为了照顾弱模型，往往把任务拆成固定路线：先查哪个模块、再改哪个函数、哪些文件不要碰、最后补什么 ...

公司实习生小哥哥来找我：AI 把功能全写完了，可现在改一处崩一处，不敢动了。 我没看代码，先问了三个问题：评测集呢？bad case 错题本呢？这周删过代码吗？ 三连否。 我说行，这不是工程问题，是负责方式的问题——不是打击谁，是先把地图摊开。然后我从书架上抽出一本 2010 年的旧书：《97 Th ...

面向数学建模参赛者的备赛全攻略：详解组队铁三角分工（建模手、编程手、写作手）、AI 工具使用规范与声明要求、论文写作与表达技巧、如何描述模型与结果，并剖析建模误区与常见问题，帮你少走弯路、全方位备战国赛美赛 ...

解Bug之路-with AI-应用被限流？ 前言 有了AI之后，处理复杂问题明显加速了。笔者体感大概加速了3倍吧，以前一个需要一个星期才能探明根因的复杂问题现在估计只需要2天。主要是大部分数据整理/源码阅读/时间线梳理的繁琐操作都已经外包给AI了。这也使得笔者可以有精力可以解决一些看似ROI很低但成 ...

本文介绍`ui-test-executor`——一款专为UI自动化测试打造的智能执行调度引擎。它以自然语言指令驱动，自动完成环境检测、用例筛选、并发执行、六类失败证据采集（截图/录屏/Trace/日志/源码/网络）及多格式报告生成，彻底解决环境不稳定、时序难控、脏数据干扰、现场不可追溯等执行痛点，让... ...

基于.NET 8 + uni-app构建多租户畜牧SaaS“秦巴牧云”的实战踩坑总结，涵盖租户隔离、前后端枚举契约、record字段序列化、EF Core迁移不一致、Razor语法冲突及微信AI Skill三层返回等6个关键问题与解决方案。 ...

NativePHP v4 让 Blade 构建原生 iOS 与 Android 界面 NativePHP 现在可以将 Blade 组件渲染为 iOS 上真正的 SwiftUI 视图和 Android 上的 Jetpack Compose 视图，整个过程无需 WebView 或 HTML。Native ...

引子：一场「功劳归谁」的争执 2026 年 8 月，The Register 刊出了一篇对 Michael Stonebraker 的采访。这位图灵奖得主、伯克利 Postgres 项目的发起者，被问到 PostgreSQL 为什么会赢，给出的答案颇为意外： 我们得感谢 Oracle。因为他们买下 ...

背景 大家好啊，我是逐日。本篇继续梳理下我对codex desktop中沙箱（elevated sandbox）的理解（windows平台，非使用windows上wsl2）。 本文主要学习了：https://openai.com/zh-Hans-CN/index/building-codex-win ...

多个月以后，面对满屏的代码无从下手时，些瓶将会回想起，他第一次接触 Coding Agent 的那个遥远的下午。这篇笔记主要记录了咱在 AI 编码方面的一些实践体会，以及配置 Pi Coding Agent 的一些小想法。 ...

你有没有过这种经历。半夜两点告警炸了，A 机房 Redis 主节点磁盘满了被摘除，流量切到 B 机房，用户购物车全空了，因为 B 机房的 Redis 里根本没有这几分钟的写入。主从复制救不了你，它天生就是单向异步的。 更要命的是，你翻遍社区，搜到的双活方案全是 Redis-Shake、CloudCa ...

Advanced‑RAG 是基于 Naive RAG 演化而来的高级检索增强生成方案，针对朴素RAG检索不准、上下文相关性差、召回噪声多等缺陷进行多层优化。该方案完全沿用朴素RAG的基础流水线模式、不改动核心架构，仅在各流程节点嵌入预处理、后处理增强模块，精细化优化检索环节。通过引入查询改写、重排序... ...

不是写 VBA 宏，不是画 Ribbon 菜单。是一口气搞定：自定义函数、现代化功能区、WebView2 网页面板、媲美前端界面的 WPF 任务窗格——全程一行代码不用写。这就是我刚做完的 Excel-DNA 插件开发 Skill。 一、为什么我一直在做 Office 和浏览器周边的工具？ 回看过去 ...

大学从来不只是一栋教学楼。在知识生产的链条里，它同时扮演着四种角色：生产资料的配置者、知识流通的枢纽、人才的培养者与认证者、长周期研究的承担者。而这页PPT的真正含义是：这四个功能，正在被逐一替代。 ...

神秘 noip 模拟赛 T3，但是 \(n\le2000\)，1s。 也是终于能在模拟赛里做出数学题了，开心。 似乎没看到几个跟我一样的做法？ 题解 由于期望的线性性，我们可以把期望拆分到每一位上，那么答案即为能猜对 \(c_i\) 的概率之和。 考虑如何求出猜对第 \(i\) 位的概率。下文设 \ ...

0x00 关于龙芯数据泄露漏洞 这两天刷到一则消息《安全内参：龙芯处理器存在架构层漏洞，应尽快更新修复》，仔细阅读了文章内容后，这让我想起来很久以前在龙芯早期MIPS64el架构中排查过的一个问题，所以也赶紧来蹭一波热度。当然，虽然同样是数据泄露，但诱因和严重程度是不一样的，切勿混淆…… 0x01 ...

截至2026年，全球编程语言数量难以准确统计，HOPL百科收录8945种语言。主流语言如Python、C、Java等因成熟生态占据主导，但小众语言在特定领域更具价值。Fortran、COBOL等"古老"语言仍应用于关键系统；函数式语言如Haskell、Lisp家族提供了不同编程范式；数组语言APL和... ...

（图） 一个反常的现象 最近跟几个做技术管理的朋友聊招聘，听到一个共同的说法：面试里"手写算法""默写API"这类环节，权重在明显下降。 不是不考了，是考了也测不出太多东西——Vibe Coding 普及之后，一个初级工程师借助 AI，也能在半小时内写出过去需要三五年经验才能写顺手的代码。语法熟练度 ...