为何要在命令行（终端）设置网络代理 主要是方便 curl、wget、apt、pip、git、npm 等工具的使用。众所周知，代理工具的常规方法是无法代理到终端的流量。 需要用到命令行网络代理的场景： 当 pip 下包下不动或是屡屡报网络错误，那无非就两种情况：一是下载了过于冷门的包版本，二是包源仓库在国外，国外裸连下载不一定会成功，如果在手机流量和校园网流量之间尝试仍无法下载，则直接终端网络代理。 当需要 git 来克隆仓库，发现timeout 或者下载慢，那么请直接代理流量。 当链接是任何的国外链接时，裸连可能无法建立稳定的连接。比如 claudecode的两条下载命令（分别是powershell和cmd）： irm https://claude.ai/install.ps1 | iex 或 curl -fsSL https://claude.ai/install.cmd -o install.cmd && install.cmd && del install.cmd ，网络代理之后会很明显的顺利下下来。 四种实现方式 1. 网络代理工具开启虚拟网 ...

Note仅作个人笔记与备忘。 常用命令 Tip[] 表示可选，<> 表示必选。 ls 作用：列出目录内容。语法：ls [-a -l -h] [目录路径]参数：-a：即 all ，列出全部文件，包括隐藏文件。-l：即 list ，以列表展示内容，并展示更多信息。-h：即 human ，以人类可读的形式展示内容，列出文件的大小，必须搭配 -l 使用。备注：即来自 list 单词。可以两两组合使用，且不分先后顺序，如：ls -la、ls -al、ls -l -a 都等价。不加任何参数时，列出当前目录下非隐藏的文件和目录名。 cd 作用：切换目录。语法：cd [目录路径]备注：即来自 Change Directory 单词。切换目录。不带路径时等价于 cd ~ ，即回到家目录。（家目录：/home/<用户名>） touch ...

Note本文建立在 WSL 的基础之上。 为何如此 这几个实验的部分小任务无法在 Windows 环境下编译，有些头文件是 Linux 专属的，比如 <unistd.h>, <sys/types.h>, <sys/stat.h>, <sys/ipc.h>, <sys/shm.h> , mkfifo(), shmget(), shmat(), shmdt(), shmctl() … 若要按老师说要在 VMware 虚拟机里安装 vc++ 6.0 ？太麻烦了，既要重新认识/熟悉非主流软件，而且在 VM 里安装软件也很麻烦。 按照 AI 和论坛大佬们的说法，vscode + wsl 应该是最优解。 为什么要装编译器？我在 dev.6.7.5 或者 VS 里使用也没见需要安装？这是因为 dev.6.7.5 或者 VS 自带了编译器。dev 之所以轻量，可以理解为只是给 GCC/G++ 套了个可视化窗口。 vscode + wsl 方案的好处：一是提供了 Linux 环境，二是安装 c/c++ 编译器的过程极其简单 ...

一、形式化方法（Formal Methods） 形式化方法是用数学语言来描述、规范和验证系统（尤其是软件和硬件系统）的一套技术体系。它试图用 数学 而不是 经验 去证明一个系统是否正确。 普通开发： “程序看起来没问题，测试也过了，应该能用。” 形式化方法： “我能数学证明它一定不会出错（在给定模型下）。” 它广泛用于： 操作系统内核 编译器 芯片设计 航空航天 高铁信号系统 银行/密码学协议 区块链智能合约 因为这些领域： “出一次错可能就死人、炸火箭、损失几亿”。（试错成本很高） （一）为什么会有形式化方法？ 传统软件开发主要靠： 测试（test） 调试（debug） Code Review 经验 但测试有一个根本问题： 测试只能说明目前没发现 有 bug； 不能说明：绝对没有 bug。 测试集是人想出来的，测试永远不可能覆盖所有情况。 于是： Tip科学家们想到： “能不能像数学定理一样证明程序正确？” 所以： Important程序 = 数学对象 开始出现，这即为形式化方法的 核心思想。 （二）形式化方法的核心 形式化建模 先用数学语言描述系统。不是自 ...

定位 Jupyter Notebook 是一个开源的交互式计算环境，主要用于数据分析、机器学习、科学计算和教学。有两种版本，jupyter lab和jupyter notebook，以下均以jupyter notebook展开。 它最大的特点是： 可以把 代码、运行结果、公式、图表、Markdown 文本 放在同一个文档里，边写边运行，适合做实验、记录过程和展示结果。 Jupyter 支持多种编程语言，其中最常用的是 Python。 常见用途包括： 数据分析与可视化 机器学习实验 深度学习训练记录 数学推导与科研 教学演示 AI 与数据科学项目开发 .ipynb 是 Jupyter Notebook 的文件格式，本质上是一个包含代码与文本内容的交互式笔记本。 安装 就像各种下载依赖和包一样，都是通过 pip install 或 conda install 来下载。 但是如果你下载的是Anaconda，那么他是默认带Jupyter的，而Miniconda不自带Jupyter。 若果是Anaconda，则按 Win 右键进到目录把快捷键发送到桌面即可。 这里可以先在cmd里 ...

初识 Markdown 是一种轻量级标记语言，它允许人们使用易读易写的纯文本格式编写文档。常用于以下但不限于： 博客 README文档 Jupyter 笔记软件（Typora、Obsidian、Notion、语雀等） 首先在vscode安装插件（在侧边栏，或按 Ctrl + Shift + X）： Markdown All in One（必装） Markdown Preview Enhanced（必装，用于预览效果） markdownlint（可选，用于检查规范与否的问题，养成习惯） 创建一个md文件。 右上角打开预览 码字完成后按 Ctrl + S 即可显示预览状态。 常用语法 Markdown的语法极其简单，一个钟即可学完七七八八，对应的文件格式为 .md 。 1. 多级标题 md最多支持六级标题，每一个井号（#）代表一级，空格接一个标题。按照规范，一级标题只能出现一次，为文章的总标题，而其余的则可以出现多次。 1234567891011# 这是一级标题## 这是二级标题### 这是三级标题#### 这是四级标题##### 这是五级标题###### 这 ...

Caution请先通篇读完再操作！ 简介 WSL（Windows Subsystem for Linux，即Windows 下的 Linux 子系统）是微软开发的一个兼容层，让你可以在 Windows 上原生运行 Linux 环境（比如 Ubuntu、Debian 等），而不需要安装虚拟机（VMware）或双系统。 三种在Windows下实现Linux方式的优缺点：（由AI总结生成） 方式 优点 缺点 WSL 轻量、启动快、与Windows文件互通 不支持图形界面应用，部分底层功能受限 虚拟机 完整Linux环境，支持图形界面 资源占用大，启动慢 双系统 性能最高，完全控制硬件 切换需重启，不能同时使用两个系统 前置准备 确认开启CPU虚拟化 按 Ctrl + Shift + Esc 进入任务管理器，确保CPU虚拟化开启。 开启子系统和虚拟机平台 按 Win 搜索功能二字进入启用或关闭Windows功能。 勾选 适用于Linux 的Windows子系统 和 虚拟机平台，按照提示重启电脑。 安装 以管理员身份打开PowerShe ...

本文建立在默认读者手上有OpneWrt系统的家用路由或者有路由刷机相关的经验基础之上 前言 大一时还能通过接普通路由来共享上网，大二伊始，GUT就实行一号两设备的限制，故有了我折腾的经历。为什么折腾校园网？一是为了稳定的上网环境，二是平均网费（GUT的校园网是500兆，足矣一窝网老虎使用），三是我始终认为手机开热点给电脑连是一种很妥协的方式。 经过了解，得知国内各高校校园网含有多种的检测方式（不一定全有），如下： 针对 IP 数据包的 TTL 字段的检测 针对 HTTP User-Agent 字段的检测 针对 TCP 时间戳计算时钟偏移的检测 针对部分应用特征的 DPI 检测（例如微信） 从上到下的检测力度和防检测难度依次加大。从社区中了解到大部分高校最多是UA检测，顶多再加个TTL检测，能上到深度包检测的高校少之又少。 User‑Agent 是 HTTP 请求头里的一行字符串，用来告诉服务器 “我是谁、用的什么浏览器 / 系统”。例如： Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, ...

SSH是什么 SSH（Secure Shell）是一种加密的网络协议，用于在不安全的网络上安全地登录远程计算机并执行命令。默认端口 22。跟他同类的还有Telent，也是一种远程登录、设备管理的网络协议，但他是明文传输，现已逐渐淘汰。SSH就像是Telent的升级版，类似于以下关系： 两两对应升级： HTTP ↔ HTTPS FTP ↔ FTPS Telnet ↔ SSH 明文三兄弟：Telnet、FTP、HTTP 加密三兄弟：SSH、FTPS、HTTPS 常见的SSH工具 推荐FinalShell，界面简洁美观 PuTTY — 老牌工具，轻量，点这里下载 MobaXterm — 功能丰富，支持多标签、SFTP 文件管理，点这里下载 FinalShell — 国产，带服务器监控、实时网速显示，点这里下载 Xshell — 个人免费，功能强大，点这里下载 以及Windows终端自带的SSH，格式是 ssh 用户名@ip 推荐下载SSH工具链接VM的原因 VM操作不方便，特别是截图，在VM内按 Shift + Win + S 是没反应的，简直头大。 在VM装的Linux发行版的终端 ...