Day 7. Getting ready for DT exam.
Getting ready for DT Exam. To add all the chapters to taskwarrior, I made a textfile with one todo point per line, and then
while read p; do
t add project:HS.dt.pr "$p"
done <dt_plan
(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:
" For anki-vim math equation latex
abbr nla [$][/$]<esc>hhhi
abbr nbr \overline{}<esc>i
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:
Semantically, don’t use either. Use \conj, or \mean, or \variant or whatever the overline is meant to mean. Then in your preamble, do:
\newcommand*\conj[1]{\bar{#1}}
\newcommand*\mean[1]{\bar{#1}}
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.