baek_hyang / Furina & Rafale
Cargo 会自动使用 Git 的 HTTP 代理
2025-10-01
Cargo( Rust 包管理器)采用了 Git 仓库 作为包注册索引。因此,在执行 Cargo 事务时,其会先尝试同步更新 Git 仓库。在这个过程中,Cargo 被实现为自动采用 Git 的 http.proxy 指定的 HTTP 代理。
206 words
|
1 minute
在 Maxima 中计算矩阵的简化行阶梯形式
2025-09-06
Maxima 中仅提供了 echelon 函数用于计算矩阵的行阶梯形式 (row echelon form), 默认并不能计算简化行阶梯形式 (reduced row echelon form).
162 words
|
1 minute