介绍关于Cuda程序优化的知识。
计算理论4
发表于
分类于
Computation Theory
简介上下文无关文法和上下文无关语言。
MPI并行计算——原理篇
发表于
分类于
High Performance Computing
从原理角度介绍MPI。
WSL报错0x80040326
发表于
分类于
Linux
今天打开WSL发现直接报错:
1 | >wsl |
随后迅速Google此错误代码,发现这和Windows10更新有关,在Windows10更新后需要手动更新WSL才能正常运行。因此执行wsl --update,不久会弹出:

随后即可正常启动WSL。
计算理论2
简要介绍正则表达式。
计算理论1
简要介绍两种有限自动机,并给出一些例子和有趣的性质。
Pushing to a non-bare Git repository
发表于
分类于
Git
Reference
https://www.gloomycorner.com/pushing-to-a-non-bare-git-repository/
当git push时遇到:
1 | ... |
则这是由于本地和远程都使用git init默认方式创建仓库,于是都会默认地设置成non-bare(具体含义参见第一则reference,即正常有提交记录的仓库),git默认禁止non-bare之间push(原因第一则reference也讲得很清楚了)。
简单解决方法:远程git config receive.denyCurrentBranch updateInstead(也可以设置成别的,参见第二则reference);
根本解决方法:git clone --bare
MPI并行计算——使用篇
发表于
分类于
High Performance Computing
从用户(使用者)的角度介绍消息传递模型代表——MPI。
注意换行
发表于
分类于
杂项
众所周知Linux和windows的换行不同,在使用wsl时若在windows下编写脚本,就会因换行问题出错:-bash: ./example:/bin/sh^M:解释器错误: 没有那个文件或目录
可以通过cat -A [file]查看换行符情况,然后在vim中使用set ff=unix即可。
现代第三章(2):结构分解、标准形、实现问题
简介能观能控分解、Kalman分解、能控/能观标准形、最小实现和结构不确定性等概念,是能控能观性的第二部分。