Getting ready for DT Exam. To add all the chapters to taskwarrior, I made a textfile with one todo point per line, and then

(See this SO answer)

## Anki

Installed anki-vim. anki-vim DECKNAME, it created cards in ~/.anki-vim/decs/DECKNAME, that can be imported later from Anki.

I added to vim:

I needed the “allow HTML in fields” option during import. Also I learned that \cdot whatever needs a space, \cdotwhatever gets parsed as one control sequence. Was that always like this?

The multiplicative dot it latex is \cdot, for the math tilda \sim works. For the crossed out Antivalenz thingy, \not\sim.

\bar{a} and \overline{a} look very similar, which one to use is a philosophical question. I liked the answer here:


Then: Your document source becomes readable: you can determine the meaning right there and then. Your document becomes more flexible: if you decide to denote complex conjugation by a star instead you can simply redefine \conj without worrying about changing what \mean does. You can change from \bar to \overline on a whim and don’t have to make that crucial decision now.

I also liked:

“All problems in computer science can be solved by another level of indirection” – Mats Sep 11 ‘16 at 16:28

Lastly: overline seems semantically and mathematically more meaningful, bar works like “just another thing”, not for conjugation/whatever.

## Linux

cat /proc/cpuinfo for basic info about the specs of a computer. Also opening videos in Telegram is a bad idea, especially HD ones, opening them from VLC from the download folder works much better. also dmidecode -t 17 looks better.