A better way to switch between vim buffers

国外数学课的一些体会：

数学老师知道你是要读计算机科学：

比如离散数学讲群论的时候也会讲加密算法， 线代讲矩阵特征值的时候会顺便讲讲Page Rank算法之类的。。

说实话国内本科的数学课基本就是只顾着把自己圈子里的那点东西讲了，你读计科，读电子，或者读汉语言文学，在数学老师眼里都没区别。

只是个吐槽：你TUD的老师对自动机真的是有执念

Formale System： 好的我们来讲讲最基础的自动机Automat
算法与数据结构： 编程? 我们先来看看自动机
计组： 好了我们讲完了状态电路，现在我们讲自动机

TGI : 高数这块啊，我推荐你们看3Blue1Brown
线代：线代这块啊，我推荐你们看3Blue1Brown

XXXXX非确定有限自动复读机XXXXX

虽然这个算法已经滥大街了，但我们离散数学课里讲的al-kachi算法与常见的二进制幂略有不同, 所以写篇笔记记录一下。伪代码通俗易懂，但具体实现比较让人不爽。

这里把两种算法的代码都写出来，另外附加一个脑袋被驴踢了的SB代码。

关于IEEE754 单精度浮点数的定义，转换与数值范围

Notizen - Lineare ALgebra
Vorlesung von Prof.Dr.Ulrike Baumann

A cheatsheet for GPG

This is a post on setting up nvidia drivers on laptop with hybrid graphic cards.

Grammatiken beschreiben Sprachen als Menge von Wörern, die sie erzeugen können.
Aufgabe: erkenne ob ein Wort in einer Sprache liegt.

Grammas describe languages as a set of words that the gramma could generate. The word problem is to determine, whether a given word belongs to the language.