摘要： 过去一段时间里，我对“大模型能不能真正参与数据库工作”这件事一直比较谨慎。原因很简单：让模型直接生成 SQL 并不难，难的是让它理解当前库里到底有什么、字段语义是什么、查询结果是否可信，以及它提出的建议能不能被工程团队接受。很多演示看起来很流畅，但一落到真实业务，表一多、命名一乱、历史包袱一上来，模 阅读全文

摘要： 这段时间我在重新整理自己的本地资料库：有项目文档、实验笔记、若干脚本、零散的 Markdown，还有一些历史版本遗留的配置文件。以前我以为“大模型读本地文件”只是一个演示项，真正用起来会很笨重；但把 Filesystem MCP Tool 接进工作流之后，我才发现，问题不在于模型会不会读，而在于它有 阅读全文

摘要： 用DMXAPI把 Web Search MCP Tool 接进大模型工作流：一套更稳的检索增强实践 最近在做基于大模型的自动化流程时，我越来越明显地感受到一个问题：很多团队其实不是缺模型，而是缺“把模型接到真实世界”的那一步。模型会总结、会推理、会写代码，但一旦任务依赖最新网页信息，比如查文档更新、 阅读全文

摘要： 作为一个日常在开源海洋里扑腾的开发者，我最近彻底迷上了MCP（Model Context Protocol）。这玩意儿简直是为AI与外部世界交互而生的“万能插座”，尤其当我把目光投向GitHub时，一个念头就挥之不去：如果能让我手头的Claude或GPT直接像操作本地IDE一样，去检索Issue、分 阅读全文

摘要： 最近在学习Linux系统服务部署，需要一台长期运行的服务器来练习DHCP（动态主机配置协议）的配置与管理。由于经济条件有限，一直在寻找靠谱的免费云服务器资源。经过朋友推荐，我接触到了阿贝云提供的免费虚拟主机和免费云服务器。说实话，刚开始还担心免费产品的稳定性，但真正上手使用后，发现阿贝云的免费云服务 阅读全文

摘要： 哥德尔证明 Q: 不完全性表达为（）不能推出（）。 这里的$\models$是“朴素认为的真理”，并不是标准模型中的。直观确实直观，但是要说清楚要费工夫（这是直观模型，不是形式化的） 哥德尔证明需要构造出（）中为真的某个$\mathscr U$ A: \(\models \mathscr A\)，\ 阅读全文

摘要： 5 数学基础 5.4 一阶算术 Q: 如何理解“算术化”和$\mathbb H\Rightarrow \mathbb C\Rightarrow \mathbb R\Rightarrow \mathbb Q\Rightarrow \mathbb Z\Rightarrow \mathbb N$？ A: 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.28，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 本篇参考 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.27，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： 8GB以上空的U盘 准备重装系统的能联网的电脑 自己的邮箱或手机号 本篇参考： 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 本篇前置 阅读全文