项目里的 scripts/ 文件夹不想提交到 GitHub，但历史提交里已经有了。直接在 .gitignore 里写 scripts/ 并不能解决问题，因为这些文件已经被 Git 追踪过，忽略规则对它们不生效。正确的做法是先把它们从 Git 的追踪中移除，同时保留本地磁盘上的文件。 01 | 为什么 ...

C# .NET 周刊 ｜2026 年 9 月 1 期 2026-09-06 dotnet_week_26_9_1 国内文章 都是 AI 写代码，为什么 C# 比 Java 快半拍 https://www.cnblogs.com/shanyou/p/22817435 文章比较了 Java 与 C#/. ...

[Agent Memory / 强化学习] MemPO源码学习笔记 (5) GRPO 目录[Agent Memory / 强化学习] MemPO源码学习笔记 (5) GRPO0x00 概要0x01 原理1.1 现状1.2 GRPO1.3 PPO vs GRPO1.4 为什么MemPO选GRPO而不是 ...

注意注意，本笔记几乎所有的仿真都是基于我在下方github上上传的pakage。 sam_bot_description 当然有AI的辅助实现与编写。 Gazebo是一款机器人仿真器，旨在为机器人研究提供高保真度的仿真环境。它能够模拟复杂室内外环境中的机器人群体，提供动力学仿真、高质量的3D图形渲染 ...

去年底，我看到 GitHub 上一个叫 antigravity-awesome-skills 的仓库冲上了 Trending，37K stars，1400+ Skills，还有人在评论区喊"装完这个直接满级"。 我信了。 一口气装了三十多个 Skill，Superpowers 全家桶、各种 lark ...

程序在循环里转一圈要多久，谁也说不准；芯片里那只计数器却一直按自己的节奏往前走。定时器到底在数什么，又凭什么变成全程序共用的一把时间尺？ ...

整理一次日志平台选型的过程记录。候选是 Loki、ELK 和 Apache Doris，评估维度是：存储成本、检索能力、分析能力、运维复杂度、以及和现有数据栈的关系。 结论是三者各有明确的适用边界，没有通用最优解。下面是评估表和最终的选择依据。 一、先说结论 三种方案的能力边界可以先用一句话区分： ...

Redis 6.0 前为单线程模型，依赖 epoll + Reactor 架构实现高性能，核心优势在于避免锁与上下文切换，保障简洁与原子性。随着网络吞吐量提升，网络 I/O 成为瓶颈。为此，Redis 6.0 引入多线程，仅将网络读写与协议解析交由多个线程处理，命令执行仍由主线程完成，兼顾性能与一致... ...

你大概用过不少健康管理类的App——输入年龄、性别、BMI、血压，再填几项血液指标，它就能给出一个风险评分或健康提示。 这个评分背后，往往是一个训练好的机器学习模型在实时计算。 但模型在Jupyter Notebook里跑通，和让它变成成千上万用户都能调用的服务，中间隔着一条不小的鸿沟。 今天我们就 ...

题意简述 N 个格子，初始颜色全是a。 操作 1 X：格子 X胶带状态切换—— 有胶带就撕掉，没胶带就贴上。 操作 2 C：所有当前没有胶带的格子，全部改成颜色c。有胶带的格子不受这次染色影响。 我们维护\(2\)个数组，lst[]，用于时间戳，记录这个格子最近一次撕掉胶带是第几号查询；以及ok[] ...

原文：https://mp.weixin.qq.com/s/V_JQYnoNlZXHCjHVMvSLCw 标题: Self-Improvements in Modern Agentic Systems: A Survey 链接：https://arxiv.org/pdf/2607.13104 git ...

面对编码智能体日益增强的能力，用户最核心的疑问不是“它多聪明”，而是“我敢用吗”。本文提出一份“可信”清单：能否读源码、代码去向是否透明、是否被厂商绑定、能否控制其行为、能否撤销错误。以开源工具SolonCode为例，强调可信不靠承诺，而靠可核验、可本地运行、可自由切换模型、可控自治与可回滚。真正的... ...

DeepSeek Harness 的桌面安装包，已经在社区里传开了。 亲测可用！ 这里有个挺有意思的细节：我顺着社区流传的地址完成安装，版本号为v0.1.7-rc.1，刚打开没多久，客户端就提示有新版本。本次体验版本号：v0.1.7-rc.2 截至这次体验时，DeepSeek 还没有正式官宣。 社区 ...

他犯了两个错误：（1）不理解人脑是如何处理【意义】，在现在的神经科学面前，这个已经很透彻了。（2）认为超越人类的智能必须先模拟人类的思考习惯，这个可以从飞机和鸟的类比，潜艇和鱼的类比看出来。 一、人脑也用嵌入向量来处理概念和词汇 这一论点在计算神经科学领域已有相当坚实的实证基础，以下从多个层面梳理证 ...

给执行机集群把脉：Pulse 如何用两个 Go 单文件，替代重型监控栈 摘要：执行机集群裸跑，出了事只能等投诉。Pulse 用 Agent + Server 两个 Go 单文件撑起集群监控：全指标采集、10 秒上报、离线与阈值告警、可视化面板，零外部依赖，5 分钟接入。 一、问题：执行机集群的"可观 ...

拆解100亿订单号高并发去重实战方案！对比HashSet、MySQL、Redis Set等方案优劣，敲定分布式布隆过滤器+数据库兜底最优架构。通过分片优化解决Redis大key问题，搭配多线程批量加载、Redis管道提速，百亿数据4小时完成冷启动。支持10万+QPS、延迟＜10ms，精准控制0.01... ...

Elastic Stack, Elasticsearch, 搜索引擎, 全文检索, 倒排索引, 字段类型, 索引的操作, 文档的操作, 模糊查询, 分页, 排序, 运行状态, 数据的父子关系, SQL语句。 ...

项目仓库 Gitee 主仓：https://gitee.com/pei-xiaoguang/kestrel-llm GitHub 镜像：https://github.com/m13253246268-ship-it/kestrel-llm 相关文档 术语与数据口径 ｜ 性能与基准 ｜ 构建与复现 ｜ ...

最近一个月，这个局面被一个叫 Jev 的闭源模型和它的开源对手 Laya 彻底搅动了。更有意思的是，这股浪潮几乎立刻冲进了 .NET 生态：先是 Laya 的两个独立移植 NLaya 和 layar 前后脚出现，紧接着又出现了两条思路截然相反的 .NET 原生实现路线——用 26B 扩散大模型"单步... ...

前言 中秋在家无事, 正好前段时间周杰大佬发布了新的OCR推理库 SimdPaddleOCR 以前经常使用Snipaste这个小工具作为离线截图工具. 但是在OCR已经发展的如此迅猛的如今. 它却始终没有支持截图+OCR识别 正好手头有个qwen3.8 27b本地模型,可以无限用. 就打算让大模型来 ...