本文详细记录了 ModelSim 10.4c (64位) SE版 的保姆级安装与激活全过程。针对初学者常遇到的“环境变量失效”及“Fatal License Error”报错，提供了手把手的解决方案。教程不仅涵盖了基础安装步骤，还深入讲解了物理地址修改、License 变量配置，并最终通过一个 Ve... ...

四、 事件的循环和异步 半年前写的这个js的事件系列，一直没完结。中间又写了个V8引擎入门的系列，也写到了执行部分。先把这个js事件系列写完。事件本身是强依赖浏览器的，尤其是循环和异步，所以在深度上，可能会比前三部分略微深入一点。对V8感兴趣的朋友可以看我写的另一个系列 V8引擎精品漫游指南 。 这 ...

背景 考虑这样一个问题： 给定 \(n, r, p\) ，求 \[\binom{n}{r} \bmod m \]不保证 \(m\) 是质数。\(1\le r\le n\le 10^{18}\)。 显然此时普通 Lucas 定理就无能为力了。这时需要用到扩展 Lucas 定理（exLucas）。 前置 ...

XCPC 2026 WEEK 14 C - Quadratic Jumps tag(s): math, brute force CodeForces - 2231F 首先由 Fermat Polygonal Number Theorem，答案不会超过 4。 考虑什么时候答案为 1，直接检测 \(b ...

多Agent开发笔记:为什么4个Codex加1个Claude会把9700X跑满 好家伙, vscode里开了四个codex拓展 + 一个 claude把我cpu吃满了,不是哥们,我9700X啊 按理说,8 核 16 线程的桌面 CPU,日常开发应该不算弱. 但我同时开了: 4 个 Codex 1 个 ...

tldr: 1、好 prompt 是激活正确分布：底层原理 2、对于强 agentic 模型，过度规则会造成模型开始“执行规则”，而不是进入状态：不同模型，不同策略 3、编写prompt的采样也是在挖掘自己的真正需求：模型可以走多远、现在这个路径是不是正确的？ 4、模型采样输出prompt和对应回答 ...

声明：本文在写作过程中使用了AI辅助工具进行资料整理、结构优化与语言润色。核心观点、技术判断与工程经验均为作者原创。 一、问题：卡在渲染层 项目里有这样一条链路：用 LLM 按指定的 schema 抽取领域数据（structured output），拿到结构化数据后，前端写代码把它渲染出来： typ ...

AiInsight 问数框架将大模型、技能包、数据源、工艺知识库和工具执行统一到一个智能体流程中。用户可以用自然语言或明确命令发起任务，系统根据已选大模型、技能、数据源、文件和知识库构造上下文，分步骤完成数据查询、工艺推理、脚本分析和报告生成等过程。 ...

做测试的同学都知道，用例评审是个"苦力活"。 每次需求变更，都要手动对比：现有用例覆盖了哪些功能点？需求里的功能是否还有遗漏？边界条件考虑了吗？异常场景测了吗？ 拿着Excel用例，对着几十页的PRD文档，一条一条核对，眼睛看花了不说，还容易漏。更要命的是——评审结果全靠人工判断，不同人评审标准还不 ...

做 Manim 动画时，我想让抛物线 $ y=x^2+bx+2 $随着系数 b 的变化，自动、精准地显示它与 x 轴的交点。 手写求根公式不仅繁琐，还要自己处理判别式为负的情况，稍不注意 math.sqrt 就会让整个动画崩溃。 本文我们就用 SymPy 彻底解决这个痛点。 1. 痛点场景还原 假设 ...

自建 Copilot Cli 代理：让 GitHub Copilot 真正"Bring Your Own Key" Github: https://github.com/wosledon/copilot-auto-byok 一个基于 .NET 10 的轻量级模型代理，解决 Copilot Cli 只 ...

在 AI 训练、数据集管理等大规模文件访问场景中，随着文件数量和访问并发增加，元数据层往往更早成为性能瓶颈。无论是删除百万级小文件、克隆大规模数据集，还是高并发目录遍历，元数据引擎的响应能力都会直接影响上层业务效率。 JuiceFS 社区版 1.4 在元数据引擎层面引入了三项优化：批量删除（Batc ...

从口袋里的手机屏幕，到工厂里不知疲倦的生产线；从农田里监测土壤的探头，到管道中识别介质的开关，电容传感器早已成为现代社会中 “看不见的感知触手”。它无需物理接触，却能感知万物的细微变化，以多样的形态适配着消费电子、工业控制、农业监测等无数场景，渗透到我们生活与生产的每一个角落。 ...

你是不是也有台旧安卓在抽屉里吃灰？其实只要装上Termux，再跑个FileBrowser，十分钟就能变成一台7×24小时在线的私人云盘，再也不用忍受网盘限速和和谐。这篇文章不仅手把手带你实战搭建，还会横向对比几种常见方案，把我踩过的坑、最稳的配置一次讲清楚，让你少走冤枉路。 ...

公网镜像中心 Docker Hub 和阿里云都是Docker 的公网镜像中心，用户可以将镜像push到镜像中心的镜像仓库里，可以将仓库设为私有库，他人无法访问，保证镜像安全。 但是，实际工作中，一般在公司内部搭建一个私有镜像中心。 发布镜像到阿里云 注册一个阿里云账号，并完成实名认证 创建镜像中心实 ...

说实话，我第一次看到 Claude Code v2.1.139 的 changelog，以为只是个普通版本更新——新功能扫了一眼，Agent 视图和 /goal 命令，感觉不就是「任务管理器」和「批量执行」嘛，有什么大惊小怪的。 结果真正用了两天，才发现自己浅了。 这次更新不是在 Claude Co ...

我有一点隐隐的不安：AI时代，知识会不会被少数人“圈养”起来？ 引言 在这个大模型发展日新月异的时代，国内外的模型层出不穷——国外有GPT、Claude、Gemini，国内有GLM、Qwen、Minimax等等。它们帮我们处理很多事情，让我们能更高效地应对生活。 但大模型越来越强大，人们也越来越依赖 ...

今天，是我来上海沪漂的第五年。 五年前刚来上海的时候，我心里更多是兴奋。那时候觉得，只要自己肯学、肯卷、肯熬夜，把 Vue、React、Node、小程序、工程化这些东西学明白，在大城市站稳脚跟应该不是一件特别难的事。 现在五年过去了，我从前端做到全栈，又开始往 AI 应用方向转。我做过 AI 查询、 ...

把低频 Skill 变成可检索冷存储，让 Agent 按需找回能力，省上下文也更稳。 原文链接：AI小老六 导语 Agent 的能力越来越像一个小型操作系统：它能读文件、调接口、写代码、查日历，也能按团队经验执行一套固定流程。Skill 就是把这些经验沉淀下来的常见方式。 问题也随之出现。Skill ...

MySQL-Seconds_behind_master的精度误差 前言 Seconds_behind_master是我们观察主从延迟的一个重要指标。但任何指标所能表示的精度都是有限的。例如用精度只能到秒的指标去衡量毫秒级的表现就会产生非常大的误差。如果再以此误差去分析问题，就会让思维走上弯路。例如用 ...