nav2官方的bringup文件阅读笔记-命名空间,composition 最近开始学习nav2的源码,开始读了nav2自己提供的快速启动的bringup文件,本笔记用来记录从这个文件中学到了什么。 nav2的源码地址放在这里:GitHub链接 结构概述 nav2提供的bringup文件可以分为三个 ...
慈禧喝过可乐, 坐过汽车 阿基米德要翘起地球时, 秦始皇刚统一六国 孔子孟子和苏格拉底柏拉图亚里士多德一块讨论哲学 欧洲文艺复兴, 开始以人为本, 成吉思汗刚烧杀抢掠, 建立元朝 哥白尼的日心说发表时, 朱元璋的九子夺嫡刚有结果 伽利略牛顿在奠定物理基本规律时, 清朝入主中原 达尔文居里夫人马克思和 ...
定理 若 \(p\) 是质数,且整数 \(a\) 满足 \(\boldsymbol{a \not\equiv 0 \pmod p}\),则: \[a^{p-1} \equiv 1 \pmod p \]变形 \(a^{p-2} \equiv a^{-1} \pmod p\) \(a^b \equiv ...
客户频繁变更测试数据,是很多项目里绕不开的日常。每次拿到新的 .xlsx,如果还靠手工改 SQL,既慢又容易出错。 需要先说明一点:这里说的生成器并不是一个开箱即用的通用工具,而是针对具体项目文件需求、借助 AI 生成出来的脚本。它的定位是——把“根据客户文件生成 SQL”这件事,从每次都用 AI ...
两种电机都能接在同一路调速信号上,也都转得起来,看上去像是一回事。可写程序之前,为什么必须先弄清楚自己该给它力气,还是给它一个目标? ...
时间序列分析听起来有点学术,但其实干起来挺直接的。 你有一串按时间排列的数据,想知道里面有没有趋势、有没有周期性、噪声有多大,或者两个序列之间有没有延迟关系。 SciPy 这个库在信号处理、统计检验方面提供了不少现成的工具,配合 Matplotlib 画图,基本能覆盖日常分析的大部分需求。 本文不是 ...
如果只看一件事:微软这次解决的不是"AI 能不能做界面",而是"Agent 的界面该由谁说了算"。
答案是:协议层由 AG-UI 统一,呈现层由你的应用决定。这两篇博客分别从传输和呈现两端给出了官方答案,而且都不强制你上全栈——一个标准抽象(IChatClient)打通了所有环节。 ...
Polars是一款高性能的DataFrame库,在许多场景下,其运行速度和内存利用效率均优于Pandas,尤其适合中大型数据集处理。得益于以Rust语言构建的高性能底层实现,以及对多核并行计算的原生支持,Polars能够充分发挥现代硬件性能,因此在数据处理任务中通常比Pandas表现更优。本文将演示 ...
关键词:同态加密 | FHE | 已知边界 | 未完成清单 | 精度 | 安全强度 | 可复现性 | 机制验证级 | 大模型密文推理 导读:这是全系列的收尾清单。前面十五篇的"未解问题"在这里收拢并按严重程度排序。一句话概括:这套同态加密推理引擎能跑、能复现、能被第三方独立验证,但它不安全,而且有几 ...
在开发测试环境中,Oracle 启动和关闭往往要分别敲 lsnrctl 和 sqlplus 命令,步骤多、容易漏,对开发人员也不友好。因为开发测试环境比较简单,启停库通常不会遇到啥异常,所以可以直接把监听器和数据库实例的启停逻辑收进一个脚本,再用两个小包装脚本分别对应启动和停止,操作起来更省心。 0 ...
GameDev-MCP-Server 这个仓库最有意思的设计是:它一份代码同时服务三个引擎——Unity-MCP、Godot-MCP、Unreal-MCP 共用它。仓库里没有任何引擎特定的代码,真正干活的工具是由连上来的引擎插件动态提供的。 ...
腾讯云把一套支持多用户、多智能体的 AI 助手 Octop 以 MIT 协议开源了,数据全部留在你自己的机器上;现在它还上架了 1Panel 应用商店,装它只需要点几下鼠标,不用敲一行命令。 ...
人天生有一种能力——信息过滤。只要不是废物都具备这种能力,不需要算法和数据。生物许多行为是本能反应,深深刻进潜意识里。这就是人与机器的本质区别。机器在某些方面一旦没有相关的程序和算法支持,它就是废铁。 日志消息是给人看的,所以,过滤功能必不可少。即应用程序可以根据配置记录或不记录某些日志。 日志级别 ...
第二章:Details 重点数据细读 本章正式进入 Details 页,这可是全部指标的大合集,被切成 14 个 section,从上往下排开,信息量比 Summary 大一个量级,本章着重讲透其中最值得细读的三个重点 section,剩下的 section 留到下一章按页面顺序补齐。 每个 sec ...
ClawGod,把官方藏起来的功能全部打开 你有没有这种感觉:明明Claude Code是最强的AI编程工具,但总有些地方“差点意思”? 用最强的Opus模型,告诉你“订阅等级不够”。让多个AI同时协作,发现功能根本没开。想问个安全相关的问题,直接被拒绝回答。 这些限制不是技术上做不到的,是官方关掉 ...
关键词:同态加密 | FHE | 性能剖析 | 实测账本 | 自举 | 域变换 | CPU 推理 | 大模型密文推理 | 耗时分析 导读:一次同态加密推理的一跳(lay + boot)在 8 核 CPU 上约 1.8 小时,而这个时间绝大部分不在多项式乘法上——自举的两段域变换单独就占了约 80%。 ...
程序里有些值会在它看不见的地方自己变化,而一段用来拖时间的空循环,换个优化档位就会凭空消失。哪些读写编译器不能替我们省掉,这中间又该怎么分工? ...
同事写了一个 app,笔者用它作为例子,聊聊 Docker 部署方式下如何简化部署和版本升级。核心思路很简单:把配置和代码分开,升级时只换代码,配置从备份里拿回来。 01 | 升级前先停服务 升级的第一步不是拉代码,而是先停掉正在运行的容器,避免文件被占用或状态错乱。下面的容器名 ontoforge ...
前几天写了一篇《百万订单的架构演化》,有人留言「期待更多细节」。想了一下,确实踩了不少坑,写成系列应该对大家有帮助,所以就有了这个「百万订单」系列。 背景 我们是做花店 SaaS 的,业务是把各个外卖平台的订单聚合到一起。花店这个行业很特殊,节日单量特别大,像情人节、七夕、母亲节,都是高峰;平时单量 ...
只有高和低两档的数字引脚,凭什么让电机转出大中小不一样的转速?同一组波形接两种驱动板、同一个占空比跑两个轮子,速度又为什么不会一样? ...