结合几个例子介绍最通用的图灵机模型
性能上限模型roofline
介绍一个简单但实用的性能上限估计模型roofline,它可以帮助我们估计给定程序优化的极限。
计算理论5
发表于
分类于
Computation Theory
简介下推自动机,其与上下文无关文法的关系,乔姆斯基范式,上下文无关文法的pumping lemma等内容。
CUDA程序——优化篇
介绍关于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